> 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 altnerative where ipa-visibility sets TREE_ADDRESSABLE for all external variables and then we trust it unconditonally? Honza