blob: 852e14895618b865d2a0cd21e405fbba755c7c9f [file] [log] [blame]
Benjamin Kramer6181e562012-03-20 19:49:14 +00001// RUN: %clang_cc1 -g -emit-llvm-only %s
2// Check that we don't crash.
3// PR12305, PR12315
4
5# 1 "a.h" 3
6template < typename T1 > struct Types1
7{
8 typedef T1 Head;
9};
10template < typename > struct Types;
11template < template < typename > class Tmpl > struct TemplateSel
12{
13 template < typename T > struct Bind
14 {
15 typedef Tmpl < T > type;
16 };
17};
18template < typename > struct NoneT;
19template < template < typename > class T1, template < typename > class > struct Templates2
20{
21 typedef TemplateSel < T1 > Head;
22};
23template < template < typename > class, template < typename > class =
24 NoneT, template < typename > class = NoneT, template < typename > class =
25 NoneT > struct Templates;
26template < template < typename > class T1,
27 template < typename > class T2 > struct Templates <T1, T2 >
28{
29 typedef Templates2 < T1, T2 > type;
30};
31template < typename T > struct TypeList
32{
33 typedef Types1 < T > type;
34};
35template < template < typename > class, class TestSel,
36 typename Types > class TypeParameterizedTest
37{
38public:static bool Register ()
39 {
40 typedef typename Types::Head Type;
41 typename TestSel::template Bind < Type >::type TestClass;
42}};
43
44template < template < typename > class Fixture, typename Tests,
45 typename Types > class TypeParameterizedTestCase
46{
47public:static bool Register (char *, char *, int *)
48 {
49 typedef typename Tests::Head Head;
50 TypeParameterizedTest < Fixture, Head, Types >::Register;
51}};
52
53template < typename > class TypedTestP1
54{
55};
56
57namespace gtest_case_TypedTestP1_
58{
59 template < typename gtest_TypeParam_ > class A:TypedTestP1 <
60 gtest_TypeParam_ >
61 {
62 };
63template < typename gtest_TypeParam_ > class B:TypedTestP1 <
64 gtest_TypeParam_ >
65 {
66 };
67 typedef Templates < A >::type gtest_AllTests_;
68}
69
70template < typename > class TypedTestP2
71{
72};
73
74namespace gtest_case_TypedTestP2_
75{
76 template < typename gtest_TypeParam_ > class A:TypedTestP2 <
77 gtest_TypeParam_ >
78 {
79 };
80 typedef Templates < A >::type gtest_AllTests_;
81}
82
83bool gtest_Int_TypedTestP1 =
84 TypeParameterizedTestCase < TypedTestP1,
85 gtest_case_TypedTestP1_::gtest_AllTests_,
86 TypeList < int >::type >::Register ("Int", "TypedTestP1", 0);
87bool gtest_Int_TypedTestP2 =
88 TypeParameterizedTestCase < TypedTestP2,
89 gtest_case_TypedTestP2_::gtest_AllTests_,
90 TypeList < Types < int > >::type >::Register ("Int", "TypedTestP2", 0);
91
92template < typename _Tp > struct new_allocator
93{
94 typedef _Tp *pointer;
95 template < typename > struct rebind {
96 typedef new_allocator other;
97 };
98};
99template < typename _Tp > struct allocator:new_allocator < _Tp > {
100};
101template < typename _Tp, typename _Alloc > struct _Vector_base {
102 typedef typename _Alloc::template rebind < _Tp >::other _Tp_alloc_type;
103 struct _Vector_impl {
104 typename _Tp_alloc_type::pointer _M_end_of_storage;
105 };
106 _Vector_base () {
107 foo((int *) this->_M_impl._M_end_of_storage);
108 }
109 void foo(int *);
110 _Vector_impl _M_impl;
111};
112template < typename _Tp, typename _Alloc =
113allocator < _Tp > >struct vector:_Vector_base < _Tp, _Alloc > { };
114
115
116template < class T> struct HHH {};
117struct DDD { int x_;};
118struct Data;
119struct X1;
120struct CCC:DDD { virtual void xxx (HHH < X1 >); };
121template < class SSS > struct EEE:vector < HHH < SSS > > { };
122template < class SSS, class = EEE < SSS > >class FFF { };
123template < class SSS, class GGG = EEE < SSS > >class AAA:FFF <GGG> { };
124class BBB:virtual CCC {
125 void xxx (HHH < X1 >);
126 vector < HHH < X1 > >aaa;
127};
128class ZZZ:AAA < Data >, BBB { virtual ZZZ *ppp () ; };
129ZZZ * ZZZ::ppp () { return new ZZZ; }
130
131namespace std
132{
133 template < class, class > struct pair;
134}
135namespace __gnu_cxx {
136template < typename > class new_allocator;
137}
138namespace std {
139template < typename _Tp > class allocator:__gnu_cxx::new_allocator < _Tp > {
140};
141template < typename, typename > struct _Vector_base {
142};
143template < typename _Tp, typename _Alloc = std::allocator < _Tp > >class vector:_Vector_base < _Tp,
144 _Alloc
145 > {
146 };
147}
148
149namespace
150std {
151 template <
152 typename,
153 typename > struct unary_function;
154 template <
155 typename,
156 typename,
157 typename > struct binary_function;
158 template <
159 typename
160 _Tp > struct equal_to:
161 binary_function <
162 _Tp,
163 _Tp,
164 bool > {
165 };
166 template <
167 typename
168 _Pair > struct _Select1st:
169 unary_function <
170 _Pair,
171 typename
172 _Pair::first_type > {
173 };
174}
175# 1 "f.h" 3
176using
177std::pair;
178namespace
179__gnu_cxx {
180 template <
181 class > struct hash;
182 template <
183 class,
184 class,
185 class,
186 class,
187 class
188 _EqualKey,
189 class >
190 class
191 hashtable {
192 public:
193 typedef _EqualKey
194 key_equal;
Richard Smithc7f81162013-03-18 22:52:47 +0000195 typedef void key_type;
Benjamin Kramer6181e562012-03-20 19:49:14 +0000196 };
197 using
198 std::equal_to;
199 using
200 std::allocator;
201 using
202 std::_Select1st;
203 template < class _Key, class _Tp, class _HashFn =
204 hash < _Key >, class _EqualKey = equal_to < _Key >, class _Alloc =
205 allocator < _Tp > >class hash_map {
206 typedef
207 hashtable <
208 pair <
209 _Key,
210 _Tp >,
211 _Key,
212 _HashFn,
213 _Select1st <
214 pair <
215 _Key,
216 _Tp > >,
217 _EqualKey,
218 _Alloc >
219 _Ht;
220 public:
Richard Smithc7f81162013-03-18 22:52:47 +0000221 typedef typename _Ht::key_type key_type;
Benjamin Kramer6181e562012-03-20 19:49:14 +0000222 typedef typename
223 _Ht::key_equal
224 key_equal;
225 };
226}
227using
228__gnu_cxx::hash_map;
229class
230C2;
231template < class > class scoped_ptr {
232};
233namespace {
234class
235 AAA {
236 virtual ~
237 AAA () {
238 }};
239}
240template < typename > class EEE;
241template < typename CCC, typename =
242typename CCC::key_equal, typename =
243EEE < CCC > >class III {
244};
245namespace
246util {
247 class
248 EEE {
249 };
250}
251namespace {
252class
253 C1:
254 util::EEE {
255 public:
256 class
257 C3:
258 AAA {
259 struct FFF;
260 typedef
261 III <
262 hash_map <
263 C2,
264 FFF > >
265 GGG;
266 GGG
267 aaa;
268 friend
269 C1;
270 };
271 void
272 HHH (C3::GGG &);
273 };
274}
275namespace
276n1 {
277 class
278 Test {
279 };
280 template <
281 typename >
282 class
283 C7 {
284 };
285 class
286 C4:
287 n1::Test {
288 vector <
289 C1::C3 * >
290 a1;
291 };
292 enum C5 { };
293 class
294 C6:
295 C4,
296 n1::C7 <
297 C5 > {
298 };
299 class
300 C8:
301 C6 {
302 };
303 class
304 C9:
305 C8 {
306 void
307 TestBody ();
308 };
309 void
310 C9::TestBody () {
311 scoped_ptr < C1::C3 > context;
312 }
313}