Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Mon Feb 20 21:52:00 GMT 2006


     Indeed.  Ada should in this case generate

       R = (T)( (basetype)100 + (basetype)X - (basetype)X )

     i.e. carry out all arithmetic explicitly in the basetype and only for
     stores and loads use the subtype.

That is indeed required by the language and what is normally generated.
It would be valuable to see exactly who generated the bogus operation.



More information about the Gcc mailing list