http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39689
Richard Guenther rguenth at gcc dot gnu.org changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39689
Matt Hargett matt at use dot net changed:
What|Removed |Added
CC||matt at use dot net
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39689
--- Comment #7 from Jan Hubicka hubicka at gcc dot gnu.org 2010-11-10
17:34:05 UTC ---
We now have leaf attribute that makes it possible to analyze many of cases.
--- Comment #1 from hubicka at ucw dot cz 2009-04-08 16:10 ---
Subject: Re: New: IPA should compute if a function may recurse
While testing for possible recurssion can definitly be added (and it
will return true on everything that might lead to call outsie of visible
unit), there is
--- Comment #2 from rguenther at suse dot de 2009-04-08 16:21 ---
Subject: Re: IPA should compute if a function
may recurse
On Wed, 8 Apr 2009, hubicka at ucw dot cz wrote:
--- Comment #1 from hubicka at ucw dot cz 2009-04-08 16:10 ---
Subject: Re: New: IPA should
--- 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
--- Comment #4 from rguenther at suse dot de 2009-04-08 16:44 ---
Subject: Re: IPA should compute if a function
may recurse
On Wed, 8 Apr 2009, hubicka at ucw dot cz wrote:
Subject: Re: IPA should compute if a function may recurse
Hmm, but will the inlined function not still
--- Comment #5 from hubicka at ucw dot cz 2009-04-08 16:53 ---
Subject: Re: IPA should compute if a function may recurse
Hmm. Probably only that it doesn't work for non-local calls as in
this case malloc/free. The oracle already queries the IPA reference
We probably should have
--- Comment #6 from hubicka at ucw dot cz 2009-04-08 17:15 ---
Subject: Re: IPA should compute if a function may recurse
/* Check if base is a global static variable that is not written
by the function. */
Does it also make use of fact that var is not read?
This is another
