|
111
|
1 // PR middle-end/65554
|
|
|
2 // { dg-do compile { target c++11 } }
|
|
|
3 // { dg-options "-O" }
|
|
|
4
|
|
|
5 namespace std
|
|
|
6 {
|
|
|
7 struct B { enum { __value }; };
|
|
|
8 template <typename _Iterator> struct C
|
|
|
9 {
|
|
|
10 static _Iterator _S_base (_Iterator p1) { return p1; }
|
|
|
11 };
|
|
|
12 template <typename> using _RequireInputIter = int;
|
|
|
13 template <typename _Iterator> _Iterator __niter_base (_Iterator p1)
|
|
|
14 {
|
|
|
15 return std::C <_Iterator>::_S_base (p1);
|
|
|
16 }
|
|
|
17 template <typename _Iterator> _Iterator __miter_base (_Iterator p1)
|
|
|
18 {
|
|
|
19 return std::C <_Iterator>::_S_base (p1);
|
|
|
20 }
|
|
|
21 struct D
|
|
|
22 {
|
|
|
23 template <typename _Tp> static _Tp *__copy_m (_Tp * p1, _Tp * p2, _Tp *)
|
|
|
24 {
|
|
|
25 int _Num = p2 - p1;
|
|
|
26 __builtin_memmove (0, p1, sizeof (_Tp) * _Num);
|
|
131
|
27 return 0;
|
|
111
|
28 }
|
|
|
29 };
|
|
|
30 template <int, typename _II, typename _OI> void __copy_move_a (_II p1, _II p2, _OI p3)
|
|
|
31 {
|
|
|
32 D::__copy_m (p1, p2, p3);
|
|
|
33 }
|
|
|
34 template <int, typename _II, typename _OI> void __copy_move_a2 (_II p1, _II p2, _OI p3)
|
|
|
35 {
|
|
|
36 __copy_move_a <0> (std::__niter_base (p1), std::__niter_base (p2), std::__niter_base (p3));
|
|
|
37 }
|
|
|
38 template <typename _II, typename _OI> void copy (_II p1, _II p2, _OI p3)
|
|
|
39 {
|
|
|
40 __copy_move_a2 <B::__value> (std::__miter_base (p1), std::__miter_base (p2), p3);
|
|
|
41 }
|
|
|
42 }
|
|
|
43 template <typename _Tp> struct F { typedef _Tp *pointer; };
|
|
|
44 namespace std
|
|
|
45 {
|
|
|
46 template <typename _Tp> using __allocator_base = F <_Tp>;
|
|
|
47 template <typename _Tp> struct allocator:__allocator_base <_Tp> {};
|
|
|
48 template <class _E> struct initializer_list
|
|
|
49 {
|
|
|
50 typedef _E *const_iterator;
|
|
|
51 _E *_M_array;
|
|
|
52 __SIZE_TYPE__ _M_len;
|
|
|
53 const_iterator begin () { return _M_array; }
|
|
|
54 const_iterator end () { return begin () + 1; }
|
|
|
55 };
|
|
|
56 template <typename _Alloc> struct allocator_traits
|
|
|
57 {
|
|
|
58 template <typename _Tp> static typename _Tp::pointer _S_pointer_helper (_Tp *);
|
|
|
59 typedef decltype (_S_pointer_helper ((_Alloc *) 0)) __pointer;
|
|
|
60 typedef __pointer pointer;
|
|
|
61 };
|
|
|
62 }
|
|
|
63 template <typename> struct __alloc_traits:
|
|
|
64 std::allocator_traits <std::allocator <const char *>> {};
|
|
|
65 namespace std
|
|
|
66 {
|
|
|
67 struct G
|
|
|
68 {
|
|
|
69 template <typename _InputIterator, typename _ForwardIterator> static _ForwardIterator __uninit_copy (_InputIterator p1, _InputIterator p2, _ForwardIterator p3)
|
|
|
70 {
|
|
|
71 copy (p1, p2, p3);
|
|
131
|
72 return _ForwardIterator();
|
|
111
|
73 }
|
|
|
74 };
|
|
|
75 template <typename _InputIterator, typename _ForwardIterator> void
|
|
|
76 uninitialized_copy (_InputIterator p1, _InputIterator p2, _ForwardIterator p3)
|
|
|
77 {
|
|
|
78 G::__uninit_copy (p1, p2, p3);
|
|
|
79 }
|
|
|
80 template <typename _InputIterator, typename _ForwardIterator, typename _Tp> void __uninitialized_copy_a (_InputIterator p1, _InputIterator p2, _ForwardIterator p3, allocator <_Tp> &)
|
|
|
81 {
|
|
|
82 uninitialized_copy (p1, p2, p3);
|
|
|
83 }
|
|
|
84 struct H
|
|
|
85 {
|
|
|
86 typedef std::allocator <int *> _Tp_alloc_type;
|
|
|
87 typedef __alloc_traits <_Tp_alloc_type>::pointer pointer;
|
|
|
88 _Tp_alloc_type & _M_get_Tp_allocator ();
|
|
|
89 };
|
|
|
90 template <typename _Tp, typename = std::allocator <_Tp>> struct J: H
|
|
|
91 {
|
|
|
92 void operator= (initializer_list <_Tp> p1)
|
|
|
93 {
|
|
|
94 this->assign (p1.begin (), p1.end ());
|
|
|
95 }
|
|
|
96 template <typename _InputIterator, typename = std::_RequireInputIter <_InputIterator>> void assign (_InputIterator p1, _InputIterator p2)
|
|
|
97 {
|
|
|
98 _M_assign_dispatch (p1, p2, 0);
|
|
|
99 }
|
|
|
100 pointer _M_allocate_and_copy___result;
|
|
|
101 template <typename _ForwardIterator> void _M_allocate_and_copy (int, _ForwardIterator p2, _ForwardIterator p3)
|
|
|
102 {
|
|
|
103 __uninitialized_copy_a (p2, p3, _M_allocate_and_copy___result, _M_get_Tp_allocator ());
|
|
|
104 }
|
|
|
105 template <typename _InputIterator> void _M_assign_dispatch (_InputIterator p1, _InputIterator p2, int)
|
|
|
106 {
|
|
|
107 _M_assign_aux (p1, p2, 0);
|
|
|
108 }
|
|
|
109 template <typename _ForwardIterator> void _M_assign_aux (_ForwardIterator, _ForwardIterator, int);
|
|
|
110 };
|
|
|
111 template <typename _Tp, typename _Alloc>
|
|
|
112 template <typename _ForwardIterator> void J <_Tp, _Alloc>::_M_assign_aux (_ForwardIterator p1, _ForwardIterator p2, int)
|
|
|
113 {
|
|
|
114 _M_allocate_and_copy (0, p1, p2);
|
|
|
115 }
|
|
|
116 class I
|
|
|
117 {
|
|
|
118 void tabCompletion (std::J <int>&) const;
|
|
|
119 };
|
|
|
120 void
|
|
|
121 I::tabCompletion (J <int>&) const
|
|
|
122 {
|
|
|
123 J <const char *> extra;
|
|
|
124 extra = { "foo" };
|
|
|
125 }
|
|
|
126 }
|
