Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/g++.dg/cpp1y/constexpr-empty4.C @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
111:04ced10e8804 | 131:84e7813d76e9 |
---|---|
1 // PR c++/81933 | |
2 // { dg-do compile { target c++14 } } | |
3 | |
4 namespace std { | |
5 template <typename _Tp> struct __decay_and_strip { typedef _Tp __type; }; | |
6 template <int> struct enable_if { typedef int type; }; | |
7 template <typename _Head> struct _Head_base { | |
8 constexpr _Head_base(_Head) {} | |
9 }; | |
10 template <unsigned long, typename...> struct _Tuple_impl; | |
11 template <unsigned long _Idx, typename _Head, typename... _Tail> | |
12 struct _Tuple_impl<_Idx, _Head, _Tail...> : _Tuple_impl<1, _Tail...>, // { dg-warning "direct base" } | |
13 _Head_base<_Head> { | |
14 typedef _Tuple_impl<1, _Tail...> _Inherited; | |
15 typedef _Head_base<_Head> _Base; | |
16 constexpr _Tuple_impl(_Head __head, _Tail... __tail) | |
17 : _Inherited(__tail...), _Base(__head) {} | |
18 _Tuple_impl(const _Tuple_impl &) = default; | |
19 _Tuple_impl(_Tuple_impl &&); | |
20 }; | |
21 template <unsigned long _Idx, typename _Head> | |
22 struct _Tuple_impl<_Idx, _Head> : _Head_base<_Head> { | |
23 typedef _Head_base<_Head> _Base; | |
24 constexpr _Tuple_impl(_Head __head) : _Base(__head) {} | |
25 }; | |
26 template <int> struct _TC { | |
27 static constexpr bool _NotSameTuple() { return true; } | |
28 }; | |
29 template <typename... _Elements> class tuple : _Tuple_impl<0, _Elements...> { | |
30 typedef _Tuple_impl<0, _Elements...> _Inherited; | |
31 | |
32 public: | |
33 template <typename... _UElements, | |
34 enable_if<_TC<1>::_NotSameTuple()>::type = false> | |
35 constexpr tuple(_UElements... __elements) : _Inherited(__elements...) {} | |
36 tuple(const tuple &) = default; | |
37 }; | |
38 template <typename... _Elements> | |
39 constexpr tuple<typename __decay_and_strip<_Elements>::__type...> | |
40 make_tuple(_Elements... __args) { | |
41 typedef tuple<typename __decay_and_strip<_Elements>::__type...> __result_type; | |
42 return __result_type(__args...); | |
43 } | |
44 } | |
45 struct any_udt {}; | |
46 template <typename... Tuples> constexpr auto flatten(Tuples... tuples) { | |
47 auto all = std::make_tuple(tuples...); | |
48 auto flat(all); | |
49 return flat; | |
50 } | |
51 constexpr auto fail = flatten(any_udt{}, any_udt{}); |