1 // PR c++/71092
2 // { dg-do compile { target c++11 } }
3
4 template <typename _Default> struct A { using type = _Default; };
5 template <typename _Default, template <typename> class>
6 using __detected_or = A<_Default>;
7 template <typename _Default, template <typename> class _Op>
8 using __detected_or_t = typename __detected_or<_Default, _Op>::type;
9 template <typename _Tp> struct B { typedef _Tp value_type; };
10 struct C {
11 template <typename _Tp> using __pointer = typename _Tp::pointer;
12 };
13 template <typename _Alloc> struct J : C {
14 using pointer = __detected_or_t<typename _Alloc::value_type *, __pointer>;
15 };
_Construct(_T1 *)16 template <typename _T1> void _Construct(_T1 *) { new _T1; }
17 struct D {
18 template <typename _ForwardIterator, typename _Size>
__uninit_default_nD19 static _ForwardIterator __uninit_default_n(_ForwardIterator p1, _Size) {
20 _Construct(p1);
21 return _ForwardIterator();
22 }
23 };
24 template <typename _ForwardIterator, typename _Size>
__uninitialized_default_n(_ForwardIterator p1,_Size)25 void __uninitialized_default_n(_ForwardIterator p1, _Size) {
26 D::__uninit_default_n(p1, 0);
27 }
28 template <typename _ForwardIterator, typename _Size, typename _Tp>
__uninitialized_default_n_a(_ForwardIterator p1,_Size,_Tp)29 void __uninitialized_default_n_a(_ForwardIterator p1, _Size, _Tp) {
30 __uninitialized_default_n(p1, 0);
31 }
32 template <typename> struct __shared_ptr {
__shared_ptr__shared_ptr33 constexpr __shared_ptr() : _M_ptr(), _M_refcount() {}
34 int _M_ptr;
35 int _M_refcount;
36 };
37 template <typename _Alloc> struct F {
38 typedef _Alloc _Tp_alloc_type;
39 struct G {
40 typename J<_Tp_alloc_type>::pointer _M_start;
41 G(_Tp_alloc_type);
42 };
FF43 F(int, _Alloc p2) : _M_impl(p2) {}
44 G _M_impl;
45 };
46 template <typename _Tp, typename _Alloc = B<_Tp>> struct K : F<_Alloc> {
47 typedef _Alloc allocator_type;
48 K(int, allocator_type p2 = allocator_type()) : F<_Alloc>(0, p2) {
49 __uninitialized_default_n_a(this->_M_impl._M_start, 0, 0);
50 }
51 };
52 struct H {
53 H();
54 struct I {
55 __shared_ptr<int> trigger[1];
56 };
57 __shared_ptr<int> resetTrigger_;
58 K<I> states_;
59 __shared_ptr<int> triggerManager_;
60 };
61 __shared_ptr<int> a;
H()62 H::H() : states_(0), triggerManager_(a) {}
63