re PR c++/78645 (ICE on invalid code (Segmentation fault, cxx_eval_call_expression))

2019-03-21  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/78645
	* g++.dg/cpp0x/constexpr-ice20.C: New.

From-SVN: r269834

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 12fdbd0bf90b0d4a9bda550624bad73c7670d6f1..5a343b667f1a4ffce7943cf8b80e02686fa29677 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-03-21  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/78645
+       * g++.dg/cpp0x/constexpr-ice20.C: New.
+
 2019-03-21  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/89571

diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-ice20.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-ice20.C
new file mode 100644 (file)
index 0000000..e2d4853
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-ice20.C
@@ -0,0 +1,7 @@
+// PR c++/78645
+// { dg-do compile { target c++11 } }
+
+typedef bool (*Function)(int);
+constexpr bool check(int x, Function p) { return p(x); }  // { dg-message "in .constexpr. expansion of" }
+
+static_assert(check(2, check), "");  // { dg-error "conversion|constant|in .constexpr. expansion of" }