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

gcc/ChangeLog

+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

gcc/testsuite/ChangeLog

+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

gcc/testsuite/g++.dg/torture/pr65555.C

+// { 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; }

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;