re PR c++/80739 (Accessing value of X through a Y glvalue in a constant expression)

2017-10-27  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/80739
	* g++.dg/cpp1y/constexpr-80739.C: New.

From-SVN: r254138

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bafe8fda1ef26f8708c97af00f2d8a0a71420aa9..57a8f44f4cfca6b94b340ee2889a2965e350d5df 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-10-27  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/80739
+       * g++.dg/cpp1y/constexpr-80739.C: New.
+
 2017-10-27  Richard Biener  <rguenther@suse.de>
 
        PR middle-end/81659

diff --git a/gcc/testsuite/g++.dg/cpp1y/constexpr-80739.C b/gcc/testsuite/g++.dg/cpp1y/constexpr-80739.C
new file mode 100644 (file)
index 0000000..5bfa082
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/constexpr-80739.C
@@ -0,0 +1,20 @@
+// PR c++/80739
+// { dg-do compile { target c++14 } }
+
+using size_t = decltype(sizeof(0));
+template <class T> struct element {
+    constexpr element() noexcept: x0(0), x1(0), x2(0), x3(0) {}
+    T x0; int x1, x2, x3;
+};
+template <class T> struct container {
+    constexpr container() noexcept: data() {data = element<T>();}
+    element<T> data;
+};
+template <class T> constexpr bool test() {
+    return (container<T>(), true);
+}
+int main() {
+    constexpr bool tmp0 = test<int>();
+    constexpr bool tmp1 = test<size_t>();
+    return tmp0 && tmp1;
+}