> Because that's not the point and because it feels like a hack ;) Well, if we keep the current semantics of TREE_ADDRESSABLE and decide that the predicate for aliasing is may_be_aliased, the implementation for the latter becomes a detail. And it would seem better/simpler to have the knowledge localized in this single predicate than spread over multiple files and FEs.
-- Eric Botcazou