On June 23, 2014 6:15:10 PM CEST, Jan Hubicka <hubi...@ucw.cz> wrote:
>> I don't like this very much.  It's fragile and it will be very hard
>to
>> detect bugs caused by it.
>> 
>> Please don't spread uses of the DECL_NONALIASED "hack".
>> 
>> If we are only concerned about LTO I'd rather have a in_lto_p check
>> in may_be_aliased and trust TREE_ADDRESSABLE there.
>
>I do not like it ether, but I tought it was outcome of the discussion
>to use
>it.
>
>I do not see how in_lto_p helps here, but we probably want to go for
>the

If we are sure it is correctly set in lto1 it helps.

>altnerative where ipa-visibility sets TREE_ADDRESSABLE for all external
>variables and then we trust it unconditonally?

That works for me, too.  But at least add a checking assert that may-be-aliased 
is not invoked before that.

Richard.


>
>Honza


Reply via email to