diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2015-11-25 10:00:02 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2015-11-25 10:00:02 +0000 |
| commit | 136108a1586bd329721f8b7b4f996c0267a29272 (patch) | |
| tree | c8a2a249c87f67907ab3886e7d26c870fbab463d /gcc | |
| parent | 9b71b2ab84caafd7f32429772745f9b07d85321f (diff) | |
| download | gcc-136108a1586bd329721f8b7b4f996c0267a29272.zip gcc-136108a1586bd329721f8b7b4f996c0267a29272.tar.gz gcc-136108a1586bd329721f8b7b4f996c0267a29272.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/constexpr-tuple2.C | 20 |
2 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a1bbe87..789058a 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 0000000..10b09b6 --- /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 ); +} |