(j3.2006) (SC22WG5.4689) Addition to Vote on N1911

Robert Corbett robert.corbett
Tue Apr 24 03:37:03 EDT 2012


I wish to add the following item to the list of
reasons I gave for voting against promoting N1911.

Robert Corbett
representing Oracle America

------------------------------------------

5.  8.3.4

     The type CFI_index_t is not defined clearly.
     I think almost all readers will assume that
     the definition given in paragraph 3 of
     Clause 8.3.4 is meant to allow ptrdiff_t as
     a possible definition of CFI_index_t.
     Depending on the companion C processor, that
     might be possible or it might not.

     A clearer definition of the type CFI_index_t
     is

         CFI_index_t is a typedef name for a
         signed integer type capable of
         representing all integers in the
         range from -N to N, where N is the
         size (in bytes) of the largest object
         that can be produced by the companion
         C processor.

     This definition was not my first guess as to
     what was intended.  I had assumed that the
     definition of CFI_index_t should depend on
     the maximum size of objects that can be
     produced by the Fortran processor.  I was
     assured that that definition was not correct.



More information about the J3 mailing list