1 // RUN: %clang_cc1 -g -emit-llvm-only %s 2 // Check that we don't crash. 3 // PR12305, PR12315 4 5 # 1 "a.h" 3 6 template < typename T1 > struct Types1 7 { 8 typedef T1 Head; 9 }; 10 template < typename > struct Types; 11 template < template < typename > class Tmpl > struct TemplateSel 12 { 13 template < typename T > struct Bind 14 { 15 typedef Tmpl < T > type; 16 }; 17 }; 18 template < typename > struct NoneT; 19 template < template < typename > class T1, template < typename > class > struct Templates2 20 { 21 typedef TemplateSel < T1 > Head; 22 }; 23 template < template < typename > class, template < typename > class = 24 NoneT, template < typename > class = NoneT, template < typename > class = 25 NoneT > struct Templates; 26 template < template < typename > class T1, 27 template < typename > class T2 > struct Templates <T1, T2 > 28 { 29 typedef Templates2 < T1, T2 > type; 30 }; 31 template < typename T > struct TypeList 32 { 33 typedef Types1 < T > type; 34 }; 35 template < template < typename > class, class TestSel, 36 typename Types > class TypeParameterizedTest 37 { 38 public:static bool Register () 39 { 40 typedef typename Types::Head Type; 41 typename TestSel::template Bind < Type >::type TestClass; 42 }}; 43 44 template < template < typename > class Fixture, typename Tests, 45 typename Types > class TypeParameterizedTestCase 46 { 47 public:static bool Register (char *, char *, int *) 48 { 49 typedef typename Tests::Head Head; 50 TypeParameterizedTest < Fixture, Head, Types >::Register; 51 }}; 52 53 template < typename > class TypedTestP1 54 { 55 }; 56 57 namespace gtest_case_TypedTestP1_ 58 { 59 template < typename gtest_TypeParam_ > class A:TypedTestP1 < 60 gtest_TypeParam_ > 61 { 62 }; 63 template < typename gtest_TypeParam_ > class B:TypedTestP1 < 64 gtest_TypeParam_ > 65 { 66 }; 67 typedef Templates < A >::type gtest_AllTests_; 68 } 69 70 template < typename > class TypedTestP2 71 { 72 }; 73 74 namespace 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 83 bool gtest_Int_TypedTestP1 = 84 TypeParameterizedTestCase < TypedTestP1, 85 gtest_case_TypedTestP1_::gtest_AllTests_, 86 TypeList < int >::type >::Register ("Int", "TypedTestP1", 0); 87 bool gtest_Int_TypedTestP2 = 88 TypeParameterizedTestCase < TypedTestP2, 89 gtest_case_TypedTestP2_::gtest_AllTests_, 90 TypeList < Types < int > >::type >::Register ("Int", "TypedTestP2", 0); 91 92 template < typename _Tp > struct new_allocator 93 { 94 typedef _Tp *pointer; 95 template < typename > struct rebind { 96 typedef new_allocator other; 97 }; 98 }; 99 template < typename _Tp > struct allocator:new_allocator < _Tp > { 100 }; 101 template < 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 }; 112 template < typename _Tp, typename _Alloc = 113 allocator < _Tp > >struct vector:_Vector_base < _Tp, _Alloc > { }; 114 115 116 template < class T> struct HHH {}; 117 struct DDD { int x_;}; 118 struct Data; 119 struct X1; 120 struct CCC:DDD { virtual void xxx (HHH < X1 >); }; 121 template < class SSS > struct EEE:vector < HHH < SSS > > { }; 122 template < class SSS, class = EEE < SSS > >class FFF { }; 123 template < class SSS, class GGG = EEE < SSS > >class AAA:FFF <GGG> { }; 124 class BBB:virtual CCC { 125 void xxx (HHH < X1 >); 126 vector < HHH < X1 > >aaa; 127 }; 128 class ZZZ:AAA < Data >, BBB { virtual ZZZ *ppp () ; }; 129 ZZZ * ZZZ::ppp () { return new ZZZ; } 130 131 namespace std 132 { 133 template < class, class > struct pair; 134 } 135 namespace __gnu_cxx { 136 template < typename > class new_allocator; 137 } 138 namespace std { 139 template < typename _Tp > class allocator:__gnu_cxx::new_allocator < _Tp > { 140 }; 141 template < typename, typename > struct _Vector_base { 142 }; 143 template < typename _Tp, typename _Alloc = std::allocator < _Tp > >class vector:_Vector_base < _Tp, 144 _Alloc 145 > { 146 }; 147 } 148 149 namespace 150 std { 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 176 using 177 std::pair; 178 namespace 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; 195 typedef void key_type; 196 }; 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: 221 typedef typename _Ht::key_type key_type; 222 typedef typename 223 _Ht::key_equal 224 key_equal; 225 }; 226 } 227 using 228 __gnu_cxx::hash_map; 229 class 230 C2; 231 template < class > class scoped_ptr { 232 }; 233 namespace { 234 class 235 AAA { 236 virtual ~ 237 AAA () { 238 }}; 239 } 240 template < typename > class EEE; 241 template < typename CCC, typename = 242 typename CCC::key_equal, typename = 243 EEE < CCC > >class III { 244 }; 245 namespace 246 util { 247 class 248 EEE { 249 }; 250 } 251 namespace { 252 class 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 } 275 namespace 276 n1 { 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 } 314
