From 136108a1586bd329721f8b7b4f996c0267a29272 Mon Sep 17 00:00:00 2001
From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Wed, 25 Nov 2015 10:00:02 +0000
Subject: [PATCH] re PR c++/58910 (std::Tuple_impl is non constexpr when using
 identical userdefined structs as template-args)

2015-11-25  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/58910
	* g++.dg/cpp0x/constexpr-tuple2.C: New.

From-SVN: r230860
---
 gcc/testsuite/ChangeLog                       |  5 +++++
 gcc/testsuite/g++.dg/cpp0x/constexpr-tuple2.C | 20 +++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp0x/constexpr-tuple2.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a1bbe87e3d7..789058a6f73 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-11-25  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/58910
+	* g++.dg/cpp0x/constexpr-tuple2.C: New.
+
 2015-11-25  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
 
 	PR rtl-optimization/68435
diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-tuple2.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-tuple2.C
new file mode 100644
index 00000000000..10b09b690bc
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-tuple2.C
@@ -0,0 +1,20 @@
+// PR c++/58910
+// { dg-do compile { target c++11 } }
+
+#include <tuple>
+
+using namespace std;
+struct t1{ constexpr t1(){} };
+struct t2{ constexpr t2(){} };
+
+int main()
+{
+  constexpr t1 T1;
+  constexpr t2 T2;
+  constexpr tuple<t1,t2> Tup1(T1,T2);
+  constexpr tuple<t1,t1> Tup2(T1,T1);
+  constexpr auto a=get<0>(Tup1 ); //works fine
+  constexpr auto b=get<0>(Tup2 ); // error: 
+  //'(const std::_Head_base<0ul, t1, true>*)(& Tup2)' 
+  //is not a constant expression constexpr auto b=get<0>(Tup2 );
+}
-- 
2.30.2