This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/39689] IPA should compute if a function may recurse
- From: "hubicka at ucw dot cz" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 8 Apr 2009 16:53:17 -0000
- Subject: [Bug tree-optimization/39689] IPA should compute if a function may recurse
- References: <bug-39689-10053@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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 some general predicate telling if function call
might lead to calling back into current unit and mark quite few BUILTINS
that they can not.
I want to add MAY edges to cgraph too in foreseeable future and then we
can use this info too.
Honza
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39689