[Bug tree-optimization/39689] IPA should compute if a function may recurse

["hubicka at ucw dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

------- 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