* g++.dg/cpp2a/is-constant-evaluated8.C: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@271538 138bc75d-0d04-0410-961f-82ee72b054a4
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 56808cf..5717f1a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2019-05-23 Jakub Jelinek <jakub@redhat.com>
+
+ * g++.dg/cpp2a/is-constant-evaluated8.C: New test.
+
2019-05-23 Hans-Peter Nilsson <hp@axis.com>
* gfortran.dg/dec_io_1.f90, gfortran.dg/dtio_1.f90,
diff --git a/gcc/testsuite/g++.dg/cpp2a/is-constant-evaluated8.C b/gcc/testsuite/g++.dg/cpp2a/is-constant-evaluated8.C
new file mode 100644
index 0000000..040252c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/is-constant-evaluated8.C
@@ -0,0 +1,19 @@
+// { dg-do compile { target c++11 } }
+// { dg-options "" }
+
+namespace std {
+ constexpr inline bool
+ is_constant_evaluated () noexcept
+ {
+ return __builtin_is_constant_evaluated ();
+ }
+}
+
+struct A { explicit (!__builtin_is_constant_evaluated ()) A (int); }; // { dg-warning "'explicit\\(bool\\)' only available with" "" { target c++17_down } }
+struct B { explicit (!std::is_constant_evaluated ()) B (int); }; // { dg-warning "'explicit\\(bool\\)' only available with" "" { target c++17_down } }
+struct C { explicit (__builtin_is_constant_evaluated ()) C (int); }; // { dg-warning "'explicit\\(bool\\)' only available with" "" { target c++17_down } }
+struct D { explicit (std::is_constant_evaluated ()) D (int); }; // { dg-warning "'explicit\\(bool\\)' only available with" "" { target c++17_down } }
+A a = 1;
+B b = 2;
+C c = 3; // { dg-error "conversion from 'int' to non-scalar type 'C' requested" }
+D d = 4; // { dg-error "conversion from 'int' to non-scalar type 'D' requested" }
