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
This commit is contained in:
Paolo Carlini 2015-11-25 10:00:02 +00:00 committed by Paolo Carlini
parent 9b71b2ab84
commit 136108a158
2 changed files with 25 additions and 0 deletions

View File

@ -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

View File

@ -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 );
}