> Btw, may_be_aliased already does that. Indeed, and we could make use of that in Ada, at least in some cases.
> Of course one issue is that it's impossible to write a verifier that > checks whether DECL_NONALIASED and TREE_ADDRESSABLE are "out-of-sync" > (because by design they can be). So it's a bit more fragile > (we could make the operand scanner that "updates" TREE_ADDRESSABLE > also unset DECL_NONALIASED of course). IMO it's also more robust because the default (no DECL_NONALIASED) is safe. -- Eric Botcazou
