> > 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 *.