From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Thu, 21 Mar 2019 12:05:32 +0000 (+0000)
Subject: re PR c++/78645 (ICE on invalid code (Segmentation fault, cxx_eval_call_expression))
X-Git-Tag: basepoints/gcc-10~527
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6f5df5fdf8bfc44c65c332d299d6bc345a74ede4;p=thirdparty%2Fgcc.git

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 12fdbd0bf90b..5a343b667f1a 100644
--- 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
index 000000000000..e2d4853a2843
--- /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" }