> I am trying now to prototype a new approach along the lines of > returning true in component_uses_parent_alias_set for SFT's with > DECL_NONADDRESSABLE_P.
Yes, the key problem is indeed SFTs, which is why we disable structure aliasing in the Ada compiler. -- Eric Botcazou