Incorrect bitfield aliasing with Tree SSA

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Mon Jun 18 16:08:00 GMT 2007


> > But throws away the entire DECL_NONADDRESSABLE_P mechanism!
> 
> No, an int* will still not conflict with int:31
> a short * will still not conflict with short:31

Using what mechanism?  That's what DECL_NONADDRESSABLE_P does!

> Tell me what TYPE_NONALIASED_COMPONENT does, and i'll tell you what
> will happen right now :)

Very similar.  If I have

	typedef xyz[100] foo;

and mark that type with that flag, it means that int * will not conflict
with it, just foo *.



More information about the Gcc mailing list