re PR c++/70265 (ICE on code with constexpr on x86_64-linux-gnu in tree check:…

re PR c++/70265 (ICE on code with constexpr on x86_64-linux-gnu in tree check: expected statement_list, have nop_expr in tsi_start, at tree-iterator.h:42)

2017-05-21  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/70265
	* g++.dg/cpp1y/constexpr-70265-1.C: New.
	* g++.dg/cpp1y/constexpr-70265-2.C: Likewise.

From-SVN: r248313

gcc/testsuite/ChangeLog

+2017-05-21  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/70265
+	* g++.dg/cpp1y/constexpr-70265-1.C: New.
+	* g++.dg/cpp1y/constexpr-70265-2.C: Likewise.
+
 2017-05-19  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 
 	PR libgfortran/80333

gcc/testsuite/g++.dg/cpp1y/constexpr-70265-1.C

+// PR c++/70265
+// { dg-do compile { target c++14 } }
+
+constexpr int
+foo (int p)
+{
+  int t = 0;
+  while (1)  // { dg-error "count exceeds" }
+    ;
+  return t;
+}
+
+static_assert (foo (1) == 0, "");  // { dg-error "non-constant" }

gcc/testsuite/g++.dg/cpp1y/constexpr-70265-2.C

+// PR c++/70265
+// { dg-do compile { target c++14 } }
+
+constexpr int
+foo (int p)
+{
+  int t = 0;
+  while (1)
+    t = 0;  // { dg-error "count exceeds" }
+  return t;
+}
+
+static_assert (foo (1) == 0, "");  // { dg-error "non-constant" }