https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99101
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amker at gcc dot gnu.org
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
And the heuristic in post-dom compute for infinite loops does not trigger
because we do have an exit from the loop via EH which is noreturn and the
processing
of those CFG dead-ends first makes the loop reverse reachable but makes
post-dominance "wrong".
Bin, you poked into this code recently as well, just in case you have any
thoughts.
It might be that control dependence calculation should not use post dominators.
