[PATCH] Trust TREE_ADDRESSABLE

[Richard Biener]

On June 7, 2014 2:06:47 PM CEST, Eric Botcazou <ebotcazou@adacore.com> wrote:
>> An external variable is a VAR_DECL that cannot be in a register. It
>> can be loaded into a register (or stored into), and for that its
>> address is needed. So I would expect an external variable to be
>marked
>> addressable by default.
>
>"address of this is needed" historically means ADDR_EXPR of this is
>taken.

... In this particular translation unit you mean?  That would be worthless information for decls also reachable from elsewhere.

So - let's say history is something of the past?

Richard.