From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Tue, 20 Jan 2015 13:39:10 +0000 (+0000)
Subject: re PR c++/59937 ([constexpr] bogus diagnostic "used in its own initializer")
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=67ee3e618e0c30930bae1d21281ecfc7cc2c0fda;p=gcc.git

re PR c++/59937 ([constexpr] bogus diagnostic "used in its own initializer")

2015-01-20  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/59937
	* g++.dg/cpp0x/constexpr-59937-1.C: New.
	* g++.dg/cpp0x/constexpr-59937-2.C: Likewise.

From-SVN: r219894
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1049e672c0f..4d45666b0e0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2015-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/59937
+	* g++.dg/cpp0x/constexpr-59937-1.C: New.
+	* g++.dg/cpp0x/constexpr-59937-2.C: Likewise.
+
 2015-01-20  Richard Biener  <rguenther@suse.de>
 
 	PR ipa/64684
diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-59937-1.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-59937-1.C
new file mode 100644
index 00000000000..d9fbd33c94f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-59937-1.C
@@ -0,0 +1,5 @@
+// PR c++/59937
+// { dg-do compile { target c++11 } }
+
+constexpr const char * const &r = "";
+constexpr const char * const &s = r;
diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-59937-2.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-59937-2.C
new file mode 100644
index 00000000000..e67d9467a46
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-59937-2.C
@@ -0,0 +1,12 @@
+// PR c++/59937
+// { dg-do compile { target c++11 } }
+
+template<typename T> constexpr bool truth(const T&) { return true; }
+
+template<typename T>
+void test()
+{
+  int i[1];
+  constexpr bool untrue = !truth(i);
+  static_assert(!untrue, "");
+}