diff options
| author | Richard Guenther <rguenther@suse.de> | 2007-06-21 12:00:47 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2007-06-21 12:00:47 +0000 |
| commit | d9eb5318b600dc6aec71b231f38fbb16b100359d (patch) | |
| tree | 973e458af9c6ab27a8175b9f1f57fd432983f886 /gcc/tree-ssa-threadupdate.c | |
| parent | a8257e58ac6213ce066a19950dcd4eda75f41e2a (diff) | |
| download | gcc-d9eb5318b600dc6aec71b231f38fbb16b100359d.zip gcc-d9eb5318b600dc6aec71b231f38fbb16b100359d.tar.gz gcc-d9eb5318b600dc6aec71b231f38fbb16b100359d.tar.bz2 | |
re PR tree-optimization/32451 (ICE in verify_flow_info after DOM2)
2007-06-21 Richard Guenther <rguenther@suse.de>
PR tree-optimization/32451
* tree-ssa-threadupdate.c (thread_single_edge): Fixup edge flags.
* g++.dg/torture/20070621-1.C: New testcase.
From-SVN: r125916
Diffstat (limited to 'gcc/tree-ssa-threadupdate.c')
| -rw-r--r-- | gcc/tree-ssa-threadupdate.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c index f5a524a..40a5437 100644 --- a/gcc/tree-ssa-threadupdate.c +++ b/gcc/tree-ssa-threadupdate.c @@ -636,6 +636,11 @@ thread_single_edge (edge e) /* If BB has just a single predecessor, we should only remove the control statements at its end, and successors except for ETO. */ remove_ctrl_stmt_and_useless_edges (bb, eto->dest); + + /* And fixup the flags on the single remaining edge. */ + eto->flags &= ~(EDGE_TRUE_VALUE | EDGE_FALSE_VALUE | EDGE_ABNORMAL); + eto->flags |= EDGE_FALLTHRU; + return bb; } |