From: Jakub Jelinek <jakub@redhat.com>
Date: Thu, 23 May 2019 07:21:34 +0000 (+0200)
Subject: * g++.dg/cpp2a/is-constant-evaluated8.C: New test.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=07bcb2b427569cc7900ec92ce27c40d36c26bb43;p=gcc.git

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

From-SVN: r271538
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 56808cf5c0c..5717f1a7162 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 00000000000..040252c3dcb
--- /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" }