On Mon, Jun 02, 2014 at 08:59:35PM +0200, Jan Hubicka wrote: > > > > Yeah, I discussed this with martin today on irc. For aliasing we'd like to > > know whether a decl possibly has its address taken. Currently we only trust > > TREE_ADDRESSABLE for statics - and lto might change those to hidden > > visibility public :( > > > > So we want deck_referred_to_by_single_function > > OK, I will implement this one in IPA mini-pass. It is easy. > This property changes by clonning and inlining. What Martin wants to use it > for? > (I.e. my plan would be to compute it as last IPA pass making it useless for > IPA analysis&propagation)
That is a misunderstanding, I don't plan to use it for anything. It was just a part of a discussion about this thread where I simply proposed exactly the same thing as you did now. Martin > > > and deck_may_have_address_taken. > > We currently clear TREE_ADDRESSABLE for statics that have no address taken at > WPA time and that ought to keep the flag cleared at ltrans (I think I even > made > testcase for this) > > What I think we could improve is to not consider string functions as ADDR > operations > for this analysis, i.e. it is common to only memset to 0. > > How may_have_address_taken would differ here? > > Honza
