https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88936

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Jan Hubicka from comment #7)
> Hi,
> there is ipa_reduced_postorder that will compute SCCs and store scc
> index.

OK, from looking at examples it seems that I can access node->aux
as ipa_dfs_info * after ipa_reduced_postorder and before I call
ipa_free_postorder_info.  To check whether a call is possibly
recursing to the caller I'd then check whether the callers and the
callees DFS number match.  That works as far as direct calls are
considered - but what about indirect calls?

Not that I'm sure what to do when hitting a possibly recursive call - dropping
all the way to pt_anything for arguments would be a bit harsh.  But whether
ensuring that we do not end up with a singleton composed of caller automatic
vars is enough I'm not sure...

Reply via email to