diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 12fdbd0bf90..5a343b667f1 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 00000000000..e2d4853a284
--- /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" }