------- 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 problem with using it on local statics. Inlining of function can distribute use of local static pretty much everywhere, so value of origin of local static for optimization is quite zero. Of course one can track what functions reffers to the given variable and then one needs to track if function A referring to it might call to any of the others referring to it direclty or indirectly. Isn't this however exactly same as asking ipa-pureconst bit? Honza -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39689