diff options
| author | Steven Bosscher <steven@gcc.gnu.org> | 2012-07-07 12:35:44 +0000 |
|---|---|---|
| committer | Steven Bosscher <steven@gcc.gnu.org> | 2012-07-07 12:35:44 +0000 |
| commit | 8166ff4df037abbada1ca6e4c417d10fee5fe36f (patch) | |
| tree | 420e095cc8a34ead3cff2466554c1692c35856fe | |
| parent | f99391fe45e4e83291764234d491d31eb8bc3bf3 (diff) | |
| download | gcc-8166ff4df037abbada1ca6e4c417d10fee5fe36f.zip gcc-8166ff4df037abbada1ca6e4c417d10fee5fe36f.tar.gz gcc-8166ff4df037abbada1ca6e4c417d10fee5fe36f.tar.bz2 | |
re PR tree-optimization/53881 (ICE in hoist_edge_and_branch_if_true)
gcc/
PR tree-optimization/53881
* tree-switch-conversion.c (emit_case_bit_tests): Do not rely on
comparing labels to establish uniqueness of a switch case target,
use the CFG instead.
testsuite/
PR tree-optimization/53881
* gcc.dg/pr53881.c: New test.
From-SVN: r189349
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr53881.c | 22 | ||||
| -rw-r--r-- | gcc/tree-switch-conversion.c | 5 |
4 files changed, 36 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1e1f7dc..908a679 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2012-07-07 Steven Bosscher <steven@gcc.gnu.org> + + PR tree-optimization/53881 + * tree-switch-conversion.c (emit_case_bit_tests): Do not rely on + comparing labels to establish uniqueness of a switch case target, + use the CFG instead. + 2012-07-07 Ulrich Weigand <ulrich.weigand@linaro.org> * combine.c (force_to_mode) [LSHIFTRT]: Avoid undefined behaviour diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0e79dc3..b7b0a5c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-07-07 Steven Bosscher <steven@gcc.gnu.org> + + PR tree-optimization/53881 + * gcc.dg/pr53881.c: New test. + 2012-07-06 Jason Merrill <jason@redhat.com> PR c++/53862 diff --git a/gcc/testsuite/gcc.dg/pr53881.c b/gcc/testsuite/gcc.dg/pr53881.c new file mode 100644 index 0000000..435d938 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr53881.c @@ -0,0 +1,22 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +int a, b; +void +fn1 () +{ + int c; + switch (a) + { + case 8: + c = 0; + goto Label; + case 0: + case 1: +Label: + break; + default: + b = 0; + } +} + diff --git a/gcc/tree-switch-conversion.c b/gcc/tree-switch-conversion.c index de8c9e8..94fbf1d 100644 --- a/gcc/tree-switch-conversion.c +++ b/gcc/tree-switch-conversion.c @@ -329,14 +329,13 @@ emit_case_bit_tests (gimple swtch, tree index_expr, unsigned int lo, hi; tree cs = gimple_switch_label (swtch, i); tree label = CASE_LABEL (cs); + edge e = find_edge (switch_bb, label_to_block (label)); for (k = 0; k < count; k++) - if (label == test[k].label) + if (e == test[k].target_edge) break; if (k == count) { - edge e = find_edge (switch_bb, label_to_block (label)); - gcc_assert (e); gcc_checking_assert (count < MAX_CASE_BIT_TESTS); test[k].hi = 0; test[k].lo = 0; |