On Mon, 8 Jun 2015, Joseph Myers wrote:
> On Mon, 8 Jun 2015, Richard Biener wrote:
>
> > I'm not sure the C standard mandates compatibility between
> >
> > struct { int i; } and struct { unsigned i; } for purposes of TBAA.
> > Joseph?
>
> I don't think they are necessarily compatible for TBAA.
Ok, but as int and unsigned are reading either structs element
via a pointer to int or a pointer to unsigned must be supported?
(The C FE ensures this via alias-subsets and the get_alias_set
langhook returning the same alias sets for int and unsigned)
Richard.
--
Richard Biener <rguent...@suse.de>
SUSE LINUX GmbH, GF: Felix Imendoerffer, Jane Smithard, Dilip Upmanyu, Graham
Norton, HRB 21284 (AG Nuernberg)
