diff options
| author | Richard Biener <rguenther@suse.de> | 2015-03-26 14:22:57 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-03-26 14:22:57 +0000 |
| commit | fd0c2f00f6b8adde3706d210d6de7a6e4b8f0ccc (patch) | |
| tree | 6e74ed7d51be067c301cab1a32ed1e0144bfe1f3 /gcc | |
| parent | 672ff0b6fd7f43aa5415bff60ab212b893b9f474 (diff) | |
| download | gcc-fd0c2f00f6b8adde3706d210d6de7a6e4b8f0ccc.zip gcc-fd0c2f00f6b8adde3706d210d6de7a6e4b8f0ccc.tar.gz gcc-fd0c2f00f6b8adde3706d210d6de7a6e4b8f0ccc.tar.bz2 | |
re PR middle-end/65555 (ICE: verify_gimple failed (LHS in noreturn call))
2015-03-26 Richard Biener <rguenther@suse.de>
PR middle-end/65555
* tree-cfg.c (verify_gimple_call): Do not require a call to
have no LHS if it wasn't recognized as control altering yet.
* g++.dg/torture/pr65555.C: New testcase.
From-SVN: r221697
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/torture/pr65555.C | 11 | ||||
| -rw-r--r-- | gcc/tree-cfg.c | 4 |
4 files changed, 25 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6a1a43f..f9ea6a0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-03-26 Richard Biener <rguenther@suse.de> + + PR middle-end/65555 + * tree-cfg.c (verify_gimple_call): Do not require a call to + have no LHS if it wasn't recognized as control altering yet. + 2015-03-26 Jakub Jelinek <jakub@redhat.com> PR tree-optimization/64715 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a0fb763..226ac2a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-03-26 Richard Biener <rguenther@suse.de> + + PR middle-end/65555 + * g++.dg/torture/pr65555.C: New testcase. + 2015-03-26 Jakub Jelinek <jakub@redhat.com> PR tree-optimization/64715 diff --git a/gcc/testsuite/g++.dg/torture/pr65555.C b/gcc/testsuite/g++.dg/torture/pr65555.C new file mode 100644 index 0000000..9027c69 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr65555.C @@ -0,0 +1,11 @@ +// { dg-do compile } + +class basic_ostream { +public: + basic_ostream &operator<<(basic_ostream &p1(basic_ostream &)) { + return p1(*this); + } +} a; +void fn1() __attribute__((__noreturn__)); +basic_ostream &fn2(basic_ostream &) { fn1(); } +void fn3() { a << fn2; } diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 98d6ba4..64bdc92 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3335,7 +3335,9 @@ verify_gimple_call (gcall *stmt) return true; } - if (gimple_call_lhs (stmt) && gimple_call_noreturn_p (stmt)) + if (gimple_call_ctrl_altering_p (stmt) + && gimple_call_lhs (stmt) + && gimple_call_noreturn_p (stmt)) { error ("LHS in noreturn call"); return true; |