aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaolo Carlini <paolo.carlini@oracle.com>2019-03-21 12:05:32 +0000
committerPaolo Carlini <paolo@gcc.gnu.org>2019-03-21 12:05:32 +0000
commit6f5df5fdf8bfc44c65c332d299d6bc345a74ede4 (patch)
tree2874a363d87e6ff0a5cbbd843b1febcf295388a1
parentc6ecc13a07cae1131fdbb91e465269402e4b0323 (diff)
downloadgcc-6f5df5fdf8bfc44c65c332d299d6bc345a74ede4.zip
gcc-6f5df5fdf8bfc44c65c332d299d6bc345a74ede4.tar.gz
gcc-6f5df5fdf8bfc44c65c332d299d6bc345a74ede4.tar.bz2
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
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/cpp0x/constexpr-ice20.C7
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 12fdbd0..5a343b6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
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
* g++.dg/cpp0x/noexcept37.C: New.
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 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" }