diff options
| author | Mark Mitchell <mark@codesourcery.com> | 2002-05-16 17:04:55 +0000 |
|---|---|---|
| committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2002-05-16 17:04:55 +0000 |
| commit | 5a566bed2b7e0133247fa9fb3282116a8405dd3f (patch) | |
| tree | 824f1fd2ba2be6b766d13a1d7de9d099554c905d /gcc/cfgrtl.c | |
| parent | 48f6efae63cc3e9a8c8ab48bcbe2677256ac55d5 (diff) | |
| download | gcc-5a566bed2b7e0133247fa9fb3282116a8405dd3f.zip gcc-5a566bed2b7e0133247fa9fb3282116a8405dd3f.tar.gz gcc-5a566bed2b7e0133247fa9fb3282116a8405dd3f.tar.bz2 | |
* cfgrtl.c (purge_dead_edges): Correct handling of EDGE_EH.
From-SVN: r53521
Diffstat (limited to 'gcc/cfgrtl.c')
| -rw-r--r-- | gcc/cfgrtl.c | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index 9a6661d..844f5df 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -2186,17 +2186,26 @@ purge_dead_edges (bb) e->flags &= ~EDGE_ABNORMAL; - /* Check purposes we can have edge. */ - if ((e->flags & EDGE_FALLTHRU) - && any_condjump_p (insn)) + /* See if this edge is one we should keep. */ + if ((e->flags & EDGE_FALLTHRU) && any_condjump_p (insn)) + /* A conditional jump can fall through into the next + block, so we should keep the edge. */ continue; else if (e->dest != EXIT_BLOCK_PTR && e->dest->head == JUMP_LABEL (insn)) + /* If the destination block is the target of the jump, + keep the edge. */ + continue; + else if (e->dest == EXIT_BLOCK_PTR && returnjump_p (insn)) + /* If the destination block is the exit block, and this + instruction is a return, then keep the edge. */ continue; - else if (e->dest == EXIT_BLOCK_PTR - && returnjump_p (insn)) + else if ((e->flags & EDGE_EH) && can_throw_internal (insn)) + /* Keep the edges that correspond to exceptions thrown by + this instruction. */ continue; + /* We do not need this edge. */ bb->flags |= BB_DIRTY; purged = true; remove_edge (e); |