> > Honza, do you have any suggestions here for the issue of detecting possible > recursion as opposted to just direct recursion?
Well, you can look for strongly connected components but you must assume that every call out of the current unit that is not leaf may call any function that is externally visible or has address taken. So basically every function that may lead to external call is possibly recursive because you can assume that every function is reachable (with exception of main). This will rule out many nothrow candidates but I do not see how that can be strenghtened. Honza > > Richard. > > > -- > > Eric Botcazou