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/tree-cfg.c | |
| 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/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 4 |
1 files changed, 3 insertions, 1 deletions
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; |