------- Comment #3 from hubicka at ucw dot cz 2009-04-08 16:31 ------- Subject: Re: IPA should compute if a function may recurse
> Hmm, but will the inlined function not still be visible as such in > the cycle? So what I want to know is whether the local static is You have function A with static var used in many places in the program. Early inliner inlines A always, so you don't see it anymore and the static var essentially behave as non-function-local. > referred to in any function the function calls (thus, a more > complete analysis would be performed by IPA mod-ref anyway). > > > Isn't this however exactly same as asking ipa-pureconst bit? well, it is slip here. I meant ipa-reference. That one collects all direct writes and reads of the static variable in every function and propagates it across call making conservative assumption that nonlocal calls uses everything. This seem as far as one can go in this respect (except obvious improvements like working per structure fields). What am I missing here? Honza -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39689
