https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Ugh, this is nasty. We add the ABNORMAL_DISPATCHER etc. because vfork returns
twice, but because the call is in unreachable code, we remove the block that
defines the SSA_NAME but nothing finds out that because the vfork was
originally unreachable, it can't be reached abnormally either.
So perhaps improve the unreachable block analysis that edges from
ABNORMAL_DISPATCHER are only valid if a block is reachable through some other
edges too?
