On Mon, 8 Jun 2015, Richard Biener wrote:
> 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?
Yes. The questionable case would be taking an object of one of those
structure types, casting a pointer to it to point to the other structure
type and then dereferencing.
--
Joseph S. Myers
jos...@codesourcery.com
