diff options
| author | Richard Biener <rguenther@suse.de> | 2019-04-29 17:53:36 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-04-29 17:53:36 +0000 |
| commit | 1978e62d47c8808f0535e7d69f3de64186e80e0e (patch) | |
| tree | d4942419da0b1277286bb719c741c0e4bda7fd25 | |
| parent | d407e7f53b4a9c3f607b692d89b4ad7d87df5933 (diff) | |
| download | gcc-1978e62d47c8808f0535e7d69f3de64186e80e0e.zip gcc-1978e62d47c8808f0535e7d69f3de64186e80e0e.tar.gz gcc-1978e62d47c8808f0535e7d69f3de64186e80e0e.tar.bz2 | |
re PR tree-optimization/90278 (ICE: verify_gimple failed (error: statement marked for throw, but doesn't))
2019-04-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/90278
* tree-ssa-forwprop.c (pass_forwprop::execute): Transfer/clean
EH on comparison simplification.
* gcc.dg/torture/pr90278.c: New testcase.
From-SVN: r270657
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr90278.c | 13 | ||||
| -rw-r--r-- | gcc/tree-ssa-forwprop.c | 2 |
4 files changed, 26 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b4554f6..d6adeda 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2019-04-29 Richard Biener <rguenther@suse.de> + + PR tree-optimization/90278 + * tree-ssa-forwprop.c (pass_forwprop::execute): Transfer/clean + EH on comparison simplification. + 2019-04-29 Jason Merrill <jason@redhat.com> PR c++/82081 - tail call optimization breaks noexcept diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6ceb81c..4089feb 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-04-29 Richard Biener <rguenther@suse.de> + + PR tree-optimization/90278 + * gcc.dg/torture/pr90278.c: New testcase. + 2019-04-27 Jakub Jelinek <jakub@redhat.com> PR c++/90173 diff --git a/gcc/testsuite/gcc.dg/torture/pr90278.c b/gcc/testsuite/gcc.dg/torture/pr90278.c new file mode 100644 index 0000000..617246a --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr90278.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-fexceptions -fnon-call-exceptions" } */ + +double +hc (void) +{ + double dp = 0.0; + double ek[1]; + + ek[0] = 1.0 / dp < 0.0; + + return ek[0]; +} diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index eeb6281..bbfa1bc 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -2496,6 +2496,8 @@ pass_forwprop::execute (function *fun) { int did_something; did_something = forward_propagate_into_comparison (&gsi); + if (maybe_clean_or_replace_eh_stmt (stmt, gsi_stmt (gsi))) + bitmap_set_bit (to_purge, bb->index); if (did_something == 2) cfg_changed = true; changed = did_something != 0; |