diff options
| author | Richard Biener <rguenther@suse.de> | 2018-09-17 10:21:21 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-09-17 10:21:21 +0000 |
| commit | ecfb64f692c561ef16bca0ff17b3d7e9ee14b418 (patch) | |
| tree | 4dea08a33e31624b173fce6f88262bcff5da2738 | |
| parent | dda107dfb419d4272fdd10ccec93948d9fc7b6ba (diff) | |
| download | gcc-ecfb64f692c561ef16bca0ff17b3d7e9ee14b418.zip gcc-ecfb64f692c561ef16bca0ff17b3d7e9ee14b418.tar.gz gcc-ecfb64f692c561ef16bca0ff17b3d7e9ee14b418.tar.bz2 | |
re PR tree-optimization/87301 (ICE: verify_gimple failed (error: statement marked for throw, but doesn't))
2018-09-17 Richard Biener <rguenther@suse.de>
PR tree-optimization/87301
* tree-ssa-sccvn.c (eliminate_dom_walker::eliminate_cleanup): Properly
clean EH info from leftover copy assignments.
* gcc.dg/torture/pr87301.c: New testcase.
From-SVN: r264364
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr87301.c | 34 | ||||
| -rw-r--r-- | gcc/tree-ssa-sccvn.c | 5 |
4 files changed, 49 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3b6af9e..738f0c3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-09-17 Richard Biener <rguenther@suse.de> + + PR tree-optimization/87301 + * tree-ssa-sccvn.c (eliminate_dom_walker::eliminate_cleanup): Properly + clean EH info from leftover copy assignments. + 2018-09-17 Martin Liska <mliska@suse.cz> PR gcov-profile/85871 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c40fc5f..bcb851a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-09-17 Richard Biener <rguenther@suse.de> + + PR tree-optimization/87301 + * gcc.dg/torture/pr87301.c: New testcase. + 2018-09-17 Paul Thomas <pault@gcc.gnu.org> PR fortran/85954 diff --git a/gcc/testsuite/gcc.dg/torture/pr87301.c b/gcc/testsuite/gcc.dg/torture/pr87301.c new file mode 100644 index 0000000..67d914f --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr87301.c @@ -0,0 +1,34 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-Wno-div-by-zero" } */ + +void +bl (int *be) +{ + int lo; + { + int **ny; + + if (*be == 0) + { + int ***k8 = &ny; + int uj = (__INTPTR_TYPE__)&lo; + + for (;;) + if (***k8 == 0) + { + uj = !!(1 / 0) ? !(lo = 0) : 0; + (void) uj; + + if (*ny == 0) + for (;;) + if (***k8 == 0) + { + } + + for (lo = 0; lo < 2; ++lo) + { + } + } + } + } +} diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index 1c95306..a9e4d34 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -5461,7 +5461,10 @@ eliminate_dom_walker::eliminate_cleanup (bool region_p) if (is_gimple_assign (stmt)) { gimple_assign_set_rhs_from_tree (&gsi, sprime); - update_stmt (gsi_stmt (gsi)); + stmt = gsi_stmt (gsi); + update_stmt (stmt); + if (maybe_clean_or_replace_eh_stmt (stmt, stmt)) + bitmap_set_bit (need_eh_cleanup, gimple_bb (stmt)->index); continue; } else |