Jakub Jelinek <jakub at gcc dot> changed:

           What    |Removed                     |Added
                 CC|                            |jakub at gcc dot

--- Comment #2 from Jakub Jelinek <jakub at gcc dot> ---
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?

Reply via email to