* g++.dg/cpp2a/is-constant-evaluated8.C: New test.

From-SVN: r271538

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 56808cf5c0cafdd32e64e3ac335f3930526c8844..5717f1a7162d9581f1c8071d3016560088db366d 100644 (file)
--- 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 (file)
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" }