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