clang/test/CodeGenCXX/mangle.cpp

   1 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=x86_64-apple-darwin9 -fblocks -std=c++11 | FileCheck %s
   2 struct X { };
   3 struct Y { };
   4
   5 // CHECK: @unmangled_variable ={{.*}} global
   6 // CHECK: @_ZN1N1iE ={{.*}} global
   7 // CHECK: @_ZZN1N1fEiiE1b = internal global
   8 // CHECK: @_ZZN1N1gEvE1a = internal global
   9 // CHECK: @_ZGVZN1N1gEvE1a = internal global
  10
  11 //CHECK: @pr5966_i = external global
  12 //CHECK: @_ZL8pr5966_j = internal global
  13
  14 // CHECK-LABEL: define{{.*}} zeroext i1 @_ZplRK1YRA100_P1X
  15 bool operator+(const Y&, X* (&xs)[100]) { return false; }
  16
  17 // CHECK-LABEL: define{{.*}} void @_Z1f1s
  18 typedef struct { int a; } s;
  19 void f(s) { }
  20
  21 // CHECK-LABEL: define{{.*}} void @_Z1f1e
  22 typedef enum { foo } e;
  23 void f(e) { }
  24
  25 // CHECK-LABEL: define{{.*}} void @_Z1f1u
  26 typedef union { int a; } u;
  27 void f(u) { }
  28
  29 // CHECK-LABEL: define{{.*}} void @_Z1f1x
  30 typedef struct { int a; } x,y;
  31 void f(y) { }
  32
  33 // CHECK-LABEL: define{{.*}} void @_Z1fv
  34 void f() { }
  35
  36 // CHECK-LABEL: define{{.*}} void @_ZN1N1fEv
  37 namespace N { void f() { } }
  38
  39 // CHECK-LABEL: define{{.*}} void @_ZN1N1N1fEv
  40 namespace N { namespace N { void f() { } } }
  41
  42 // CHECK-LABEL: define{{.*}} void @unmangled_function
  43 extern "C" { namespace N { void unmangled_function() { } } }
  44
  45 extern "C" { namespace N { int unmangled_variable = 10; } }
  46
  47 namespace N { int i; }
  48
  49 namespace N { int f(int, int) { static int b; return b; } }
  50
  51 namespace N { int h(); void g() { static int a = h(); } }
  52
  53 // CHECK-LABEL: define{{.*}} void @_Z1fno
  54 void f(__int128_t, __uint128_t) {}
  55
  56 template <typename T> struct S1 {};
  57
  58 // CHECK-LABEL: define{{.*}} void @_Z1f2S1IiE
  59 void f(S1<int>) {}
  60
  61 // CHECK-LABEL: define{{.*}} void @_Z1f2S1IdE
  62 void f(S1<double>) {}
  63
  64 template <int N> struct S2 {};
  65 // CHECK-LABEL: define{{.*}} void @_Z1f2S2ILi100EE
  66 void f(S2<100>) {}
  67
  68 // CHECK-LABEL: define{{.*}} void @_Z1f2S2ILin100EE
  69 void f(S2<-100>) {}
  70
  71 template <bool B> struct S3 {};
  72
  73 // CHECK-LABEL: define{{.*}} void @_Z1f2S3ILb1EE
  74 void f(S3<true>) {}
  75
  76 // CHECK-LABEL: define{{.*}} void @_Z1f2S3ILb0EE
  77 void f(S3<false>) {}
  78
  79 struct S;
  80
  81 // CHECK-LABEL: define{{.*}} void @_Z1fM1SKFvvE
  82 void f(void (S::*)() const) {}
  83
  84 // CHECK-LABEL: define{{.*}} void @_Z1fM1SFvvE
  85 void f(void (S::*)()) {}
  86
  87 // CHECK-LABEL: define{{.*}} void @_Z1fi
  88 void f(const int) { }
  89
  90 template<typename T, typename U> void ft1(U u, T t) { }
  91
  92 template<typename T> void ft2(T t, void (*)(T), void (*)(T)) { }
  93
  94 template<typename T, typename U = S1<T> > struct S4 { };
  95 template<typename T> void ft3(S4<T>*) {  }
  96
  97 namespace NS {
  98   template<typename T> void ft1(T) { }
  99 }
 100
 101 void g1() {
 102   // CHECK: @_Z3ft1IidEvT0_T_
 103   ft1<int, double>(1, 0);
 104
 105   // CHECK: @_Z3ft2IcEvT_PFvS0_ES2_
 106   ft2<char>(1, 0, 0);
 107
 108   // CHECK: @_Z3ft3IiEvP2S4IT_2S1IS1_EE
 109   ft3<int>(0);
 110
 111   // CHECK: @_ZN2NS3ft1IiEEvT_
 112   NS::ft1<int>(1);
 113 }
 114
 115 // Expressions
 116 template<int I> struct S5 { };
 117
 118 template<int I> void ft4(S5<I>) { }
 119 void g2() {
 120   // CHECK: @_Z3ft4ILi10EEv2S5IXT_EE
 121   ft4(S5<10>());
 122
 123   // CHECK: @_Z3ft4ILi20EEv2S5IXT_EE
 124   ft4(S5<20>());
 125 }
 126
 127 extern "C++" {
 128   // CHECK: @_Z1hv
 129 void h() {}
 130 }
 131
 132 // PR5019
 133 extern "C" { struct a { int b; }; }
 134
 135 // CHECK: @_Z1fP1a
 136 int f(struct a *x) {
 137     return x->b;
 138 }
 139
 140 // PR5017
 141 extern "C" {
 142 struct Debug {
 143   const Debug& operator<< (unsigned a) const { return *this; }
 144 };
 145 Debug dbg;
 146 // CHECK: @_ZNK5DebuglsEj
 147 int main(void) {  dbg << 32 ;}
 148 }
 149
 150 template<typename T> struct S6 {
 151   typedef int B;
 152 };
 153
 154 template<typename T> void ft5(typename S6<T>::B) { }
 155 // CHECK: @_Z3ft5IiEvN2S6IT_E1BE
 156 template void ft5<int>(int);
 157
 158 template<typename T> class A {};
 159
 160 namespace NS {
 161 template<typename T> bool operator==(const A<T>&, const A<T>&) { return true; }
 162 }
 163
 164 // CHECK: @_ZN2NSeqIcEEbRK1AIT_ES5_
 165 template bool NS::operator==(const ::A<char>&, const ::A<char>&);
 166
 167 namespace std {
 168 template<typename T> bool operator==(const A<T>&, const A<T>&) { return true; }
 169 }
 170
 171 // CHECK: @_ZSteqIcEbRK1AIT_ES4_
 172 template bool std::operator==(const ::A<char>&, const ::A<char>&);
 173
 174 struct S {
 175   typedef int U;
 176 };
 177
 178 template <typename T> typename T::U ft6(const T&) { return 0; }
 179
 180 // CHECK: @_Z3ft6I1SENT_1UERKS1_
 181 template int ft6<S>(const S&);
 182
 183 template<typename> struct __is_scalar_type {
 184   enum { __value = 1 };
 185 };
 186
 187 template<bool, typename> struct __enable_if { };
 188
 189 template<typename T> struct __enable_if<true, T> {
 190   typedef T __type;
 191 };
 192
 193 // PR5063
 194 template<typename T> typename __enable_if<__is_scalar_type<T>::__value, void>::__type ft7() { }
 195
 196 // CHECK: @_Z3ft7IiEN11__enable_ifIXsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv
 197 template void ft7<int>();
 198 // CHECK: @_Z3ft7IPvEN11__enable_ifIXsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv
 199 template void ft7<void*>();
 200
 201 // PR5144
 202 extern "C" {
 203 void extern_f(void);
 204 };
 205
 206 // CHECK: @extern_f
 207 void extern_f(void) { }
 208
 209 struct S7 {
 210   S7();
 211
 212   struct S { S(); };
 213   struct {
 214     S s;
 215   } a;
 216 };
 217
 218 // PR5139
 219 // CHECK: @_ZN2S7C2Ev
 220 // CHECK: @_ZN2S7Ut_C1Ev
 221 // CHECK: @_ZN2S7C1Ev
 222 S7::S7() {}
 223
 224 // PR5063
 225 template<typename T> typename __enable_if<(__is_scalar_type<T>::__value), void>::__type ft8() { }
 226 // CHECK: @_Z3ft8IiEN11__enable_ifIXsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv
 227 template void ft8<int>();
 228 // CHECK: @_Z3ft8IPvEN11__enable_ifIXsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv
 229 template void ft8<void*>();
 230
 231 // PR5796
 232 namespace PR5796 {
 233 template<typename> struct __is_scalar_type {
 234   enum { __value = 0 };
 235 };
 236
 237 template<bool, typename> struct __enable_if {};
 238 template<typename T> struct __enable_if<true, T> { typedef T __type; };
 239 template<typename T>
 240
 241 // CHECK-LABEL: define linkonce_odr void @_ZN6PR57968__fill_aIiEENS_11__enable_ifIXntsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv
 242 typename __enable_if<!__is_scalar_type<T>::__value, void>::__type __fill_a() { };
 243
 244 void f() { __fill_a<int>(); }
 245 }
 246
 247 namespace Expressions {
 248 // Unary operators.
 249
 250 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f1ILi1EEEvPAplngT_Li2E_i
 251 template <int i> void f1(int (*)[(-i) + 2]) { };
 252 template void f1<1>(int (*)[1]);
 253
 254 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f2ILi1EEEvPApsT__i
 255 template <int i> void f2(int (*)[+i]) { };
 256 template void f2<1>(int (*)[1]);
 257
 258 // Binary operators.
 259
 260 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f3ILi1EEEvPAplT_T__i
 261 template <int i> void f3(int (*)[i+i]) { };
 262 template void f3<1>(int (*)[2]);
 263
 264 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f4ILi1EEEvPAplplLi2ET_T__i
 265 template <int i> void f4(int (*)[2 + i+i]) { };
 266 template void f4<1>(int (*)[4]);
 267
 268 // The ternary operator.
 269 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f4ILb1EEEvPAquT_Li1ELi2E_i
 270 template <bool b> void f4(int (*)[b ? 1 : 2]) { };
 271 template void f4<true>(int (*)[1]);
 272 }
 273
 274 struct Ops {
 275   Ops& operator+(const Ops&);
 276   Ops& operator-(const Ops&);
 277   Ops& operator&(const Ops&);
 278   Ops& operator*(const Ops&);
 279
 280   void *v;
 281 };
 282
 283 // CHECK-LABEL: define{{.*}} nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) ptr @_ZN3OpsplERKS_
 284 Ops& Ops::operator+(const Ops&) { return *this; }
 285 // CHECK-LABEL: define{{.*}} nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) ptr @_ZN3OpsmiERKS_
 286 Ops& Ops::operator-(const Ops&) { return *this; }
 287 // CHECK-LABEL: define{{.*}} nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) ptr @_ZN3OpsanERKS_
 288 Ops& Ops::operator&(const Ops&) { return *this; }
 289 // CHECK-LABEL: define{{.*}} nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) ptr @_ZN3OpsmlERKS_
 290 Ops& Ops::operator*(const Ops&) { return *this; }
 291
 292 // PR5861
 293 namespace PR5861 {
 294 template<bool> class P;
 295 template<> class P<true> {};
 296
 297 template<template <bool> class, bool>
 298 struct Policy { };
 299
 300 template<typename T, typename = Policy<P, true> > class Alloc
 301 {
 302   T *allocate(int, const void*) { return 0; }
 303 };
 304
 305 // CHECK-LABEL: define weak_odr noundef ptr @_ZN6PR58615AllocIcNS_6PolicyINS_1PELb1EEEE8allocateEiPKv
 306 template class Alloc<char>;
 307 }
 308
 309 // CHECK-LABEL: define{{.*}} void @_Z1fU13block_pointerFiiiE
 310 void f(int (^)(int, int)) { }
 311
 312 void pr5966_foo() {
 313   extern int pr5966_i;
 314   pr5966_i = 0;
 315 }
 316
 317 static int pr5966_j;
 318
 319 void pr5966_bar() {
 320   pr5966_j = 0;
 321 }
 322
 323 namespace test0 {
 324   int ovl(int x);
 325   char ovl(double x);
 326
 327   template <class T> void f(T, char (&buffer)[sizeof(ovl(T()))]) {}
 328
 329   void test0() {
 330     char buffer[1];
 331     f(0.0, buffer);
 332   }
 333   // CHECK-LABEL: define{{.*}} void @_ZN5test05test0Ev()
 334   // CHECK-LABEL: define linkonce_odr void @_ZN5test01fIdEEvT_RAszcl3ovlcvS1__EE_c(
 335
 336   void test1() {
 337     char buffer[sizeof(int)];
 338     f(1, buffer);
 339   }
 340   // CHECK-LABEL: define{{.*}} void @_ZN5test05test1Ev()
 341   // CHECK-LABEL: define linkonce_odr void @_ZN5test01fIiEEvT_RAszcl3ovlcvS1__EE_c(
 342
 343   template <class T> void g(char (&buffer)[sizeof(T() + 5.0f)]) {}
 344   void test2() {
 345     char buffer[sizeof(float)];
 346     g<float>(buffer);
 347   }
 348   // CHECK-LABEL: define linkonce_odr void @_ZN5test01gIfEEvRAszplcvT__ELf40a00000E_c(
 349
 350   template <class T> void h(char (&buffer)[sizeof(T() + 5.0)]) {}
 351   void test3() {
 352     char buffer[sizeof(double)];
 353     h<float>(buffer);
 354   }
 355   // CHECK-LABEL: define linkonce_odr void @_ZN5test01hIfEEvRAszplcvT__ELd4014000000000000E_c(
 356
 357   template <class T> void j(char (&buffer)[sizeof(T().buffer)]) {}
 358   struct A { double buffer[128]; };
 359   void test4() {
 360     char buffer[1024];
 361     j<A>(buffer);
 362   }
 363   // CHECK-LABEL: define linkonce_odr void @_ZN5test01jINS_1AEEEvRAszdtcvT__E6buffer_c(
 364
 365   template <class T> void k(char (&buffer)[sizeof(T() + 0.0f)]) {}
 366   void test5() {
 367     char buffer[sizeof(float)];
 368     k<float>(buffer);
 369   }
 370   // CHECK-LABEL: define linkonce_odr void @_ZN5test01kIfEEvRAszplcvT__ELf00000000E_c(
 371
 372 }
 373
 374 namespace test1 {
 375   template<typename T> struct X { };
 376   template<template<class> class Y, typename T> void f(Y<T>) { }
 377   // CHECK-LABEL: define weak_odr void @_ZN5test11fINS_1XEiEEvT_IT0_E
 378   template void f(X<int>);
 379 }
 380
 381 // CHECK-LABEL: define internal void @_ZL27functionWithInternalLinkagev()
 382 static void functionWithInternalLinkage() {  }
 383 void g() { functionWithInternalLinkage(); }
 384
 385 namespace test2 {
 386   template <class T> decltype(((T*) 0)->member) read_member(T& obj) {
 387     return obj.member;
 388   }
 389
 390   struct A { int member; } obj;
 391   int test() {
 392     return read_member(obj);
 393   }
 394
 395   // CHECK-LABEL: define linkonce_odr noundef i32 @_ZN5test211read_memberINS_1AEEEDtptcvPT_Li0E6memberERS2_(
 396 }
 397
 398 // rdar://problem/9280586
 399 namespace test3 {
 400   struct AmbiguousBase { int ab; };
 401   struct Path1 : AmbiguousBase { float p; };
 402   struct Path2 : AmbiguousBase { double p; };
 403   struct Derived : Path1, Path2 { };
 404
 405   // CHECK-LABEL: define linkonce_odr noundef i32 @_ZN5test38get_ab_1INS_7DerivedEEEDtptcvPT_Li0Esr5Path1E2abERS2_(
 406   template <class T> decltype(((T*) 0)->Path1::ab) get_ab_1(T &ref) { return ref.Path1::ab; }
 407
 408   // CHECK-LABEL: define linkonce_odr noundef i32 @_ZN5test38get_ab_2INS_7DerivedEEEDtptcvPT_Li0Esr5Path2E2abERS2_(
 409   template <class T> decltype(((T*) 0)->Path2::ab) get_ab_2(T &ref) { return ref.Path2::ab; }
 410
 411   // CHECK-LABEL: define linkonce_odr noundef float @_ZN5test37get_p_1INS_7DerivedEEEDtptcvPT_Li0Esr5Path1E1pERS2_(
 412   template <class T> decltype(((T*) 0)->Path1::p) get_p_1(T &ref) { return ref.Path1::p; }
 413
 414   // CHECK-LABEL: define linkonce_odr noundef double @_ZN5test37get_p_2INS_7DerivedEEEDtptcvPT_Li0Esr5Path2E1pERS2_(
 415   template <class T> decltype(((T*) 0)->Path2::p) get_p_2(T &ref) { return ref.Path2::p; }
 416
 417   Derived obj;
 418   void test() {
 419     get_ab_1(obj);
 420     get_ab_2(obj);
 421     get_p_1(obj);
 422     get_p_2(obj);
 423   }
 424 }
 425
 426 // CHECK-LABEL: define{{.*}} void @_ZN5test41gEPNS_3zedIXadL_ZNS_3foo3barEEEEE
 427 namespace test4 {
 428   struct foo { int bar; };
 429   template <int (foo::*)>
 430   struct zed {};
 431   void g(zed<&foo::bar>*)
 432   {}
 433 }
 434 // CHECK-LABEL: define{{.*}} void @_ZN5test51gEPNS_3zedIXadL_ZNS_3foo3barEEEEE
 435 namespace test5 {
 436   struct foo { static int bar; };
 437   template <int *>
 438   struct zed {};
 439   void g(zed<&foo::bar>*)
 440   {}
 441 }
 442 // CHECK-LABEL: define{{.*}} void @_ZN5test61gEPNS_3zedIXadL_ZNS_3foo3barEvEEEE
 443 namespace test6 {
 444   struct foo { int bar(); };
 445   template <int (foo::*)()>
 446   struct zed {};
 447   void g(zed<&foo::bar>*)
 448   {}
 449 }
 450 // CHECK-LABEL: define{{.*}} void @_ZN5test71gEPNS_3zedIXadL_ZNS_3foo3barEvEEEE
 451 namespace test7 {
 452   struct foo { static int bar(); };
 453   template <int (*f)()>
 454   struct zed {};
 455   void g(zed<&foo::bar>*)
 456   {}
 457 }
 458 // CHECK-LABEL: define weak_odr void @_ZN5test81AIL_ZNS_1B5valueEEE3incEv
 459 namespace test8 {
 460   template <int &counter> class A { void inc() { counter++; } };
 461   class B { public: static int value; };
 462   template class A<B::value>;
 463 }
 464 // CHECK: declare void @_ZN5test91fIiNS_3barEEEvRKNT0_3baz1XE
 465 namespace test9 {
 466   template<class T>
 467   struct foo {
 468     typedef T X;
 469   };
 470   struct bar {
 471     typedef foo<int> baz;
 472   };
 473   template <class zaz, class zed>
 474   void f(const typename zed::baz::X&);
 475   void g() {
 476     f<int, bar>( 0);
 477   }
 478 }
 479
 480 // <rdar://problem/7825453>
 481 namespace test10 {
 482   template <char P1> struct S {};
 483   template <char P2> void f(struct S<false ? 'a' : P2> ) {}
 484
 485   // CHECK-LABEL: define weak_odr void @_ZN6test101fILc3EEEvNS_1SIXquLb0ELc97ET_EEE(
 486   template void f<(char) 3>(struct S<3>);
 487 }
 488
 489 namespace test11 {
 490   // CHECK: @_ZN6test111fEz
 491   void f(...) { }
 492
 493   struct A {
 494     void f(...);
 495   };
 496
 497   // CHECK: @_ZN6test111A1fEz
 498   void A::f(...) { }
 499 }
 500
 501 namespace test12 {
 502
 503   // CHECK: _ZN6test121fENS_1AILt33000EEE
 504   template <unsigned short> struct A { };
 505   void f(A<33000>) { }
 506 }
 507
 508 // PR7446
 509 namespace test13 {
 510   template <template <class> class T> class A {};
 511   template <class U> class B {};
 512
 513   template <template<class> class T> void foo(const A<T> &a) {}
 514
 515   // CHECK-LABEL: define weak_odr void @_ZN6test133fooINS_1BEEEvRKNS_1AIT_EE(
 516   template void foo(const A<B> &a);
 517 }
 518
 519 namespace test14 {
 520   extern "C" {
 521     struct S {
 522       static int a(), x;
 523     };
 524     // CHECK-LABEL: define{{.*}} i32 @_ZN6test141S1aEv
 525     // CHECK: load i32, ptr @_ZN6test141S1xE
 526     int S::a() { return S::x; }
 527   }
 528 }
 529
 530 // rdar://problem/8204122
 531 namespace test15 {
 532   enum E { e = 3 };
 533   template <int I> struct S {};
 534
 535   template <int I> void f(S<I + e>) {}
 536
 537   // CHECK-LABEL: define weak_odr void @_ZN6test151fILi7EEEvNS_1SIXplT_LNS_1EE3EEEE(
 538   template void f<7>(S<7 + e>);
 539 }
 540
 541 // rdar://problem/8302148
 542 namespace test17 {
 543   template <int N> struct A {};
 544
 545   struct B {
 546     static int foo(void);
 547   };
 548
 549   template <class T> A<sizeof(T::foo())> func(void);
 550
 551   // CHECK-LABEL: define{{.*}} void @_ZN6test174testEv()
 552   // CHECK: call {{.*}} @_ZN6test174funcINS_1BEEENS_1AIXszclsrT_3fooEEEEv()
 553   void test() {
 554     func<B>();
 555   }
 556 }
 557
 558 // PR7891
 559 namespace test18 {
 560   struct A {
 561     int operator+();
 562     int operator-();
 563     int operator*();
 564     int operator&();
 565   };
 566   template <int (A::*)()> struct S {};
 567
 568   template <typename T> void f(S<&T::operator+>) {}
 569   template void f<A>(S<&A::operator+>);
 570
 571   template <typename T> void f(S<&T::operator- >) {}
 572   template void f<A>(S<&A::operator- >);
 573
 574   template <typename T> void f(S<&T::operator*>) {}
 575   template void f<A>(S<&A::operator*>);
 576
 577   template <typename T> void f(S<&T::operator&>) {}
 578   template void f<A>(S<&A::operator&>);
 579
 580   // CHECK-LABEL: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_onplEEE
 581   // CHECK-LABEL: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_onmiEEE
 582   // CHECK-LABEL: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_onmlEEE
 583   // CHECK-LABEL: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_onanEEE
 584 }
 585
 586 // rdar://problem/8332117
 587 namespace test19 {
 588   struct A {
 589     template <typename T> int f();
 590     int operator+();
 591     operator int();
 592     template <typename T> int operator-();
 593   };
 594
 595   template <int (A::*)()> struct S {};
 596
 597   template <typename T> void g (S<&T::template f<int> >) {}
 598   template <typename T> void g (S<&T::operator+ >) {}
 599   template <typename T> void g (S<&T::operator int>) {}
 600   template <typename T> void g (S<&T::template operator- <double> >) {}
 601
 602   // CHECK-LABEL: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_1fIiEEEE(
 603   template void g<A>(S<&A::f<int> >);
 604   // CHECK-LABEL: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_onplEEE(
 605   template void g<A>(S<&A::operator+>);
 606   // CHECK-LABEL: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_oncviEEE(
 607   template void g<A>(S<&A::operator int>);
 608   // CHECK-LABEL: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_onmiIdEEEE(
 609   template void g<A>(S<&A::operator-<double> >);
 610 }
 611
 612 namespace test20 {
 613   template <class T> T *f(const T&);
 614   template <class T> T *f(T*);
 615
 616   // CHECK-LABEL: define weak_odr void @_ZN6test205test0IiEEvDTcl1fIPT_ELi0EEE(
 617   template <class T> void test0(decltype(f<T*>(0))) {}
 618   template void test0<int>(decltype(f<int*>(0)));
 619
 620   // CHECK-LABEL: define weak_odr void @_ZN6test205test1IiEEvDTcl1fIEcvT__EEE(
 621   template <class T> void test1(decltype(f<>(T()))) {}
 622   template void test1<int>(decltype(f<>(int())));
 623 }
 624
 625 // rdar:// 8620510
 626 namespace test21 {
 627   // CHECK-LABEL: define{{.*}} void @_ZN6test2112vla_arg_funcEiPA_i(
 628   void vla_arg_func(int X, int a[X][X]) {}
 629 }
 630
 631 namespace test22 {
 632   // CHECK-LABEL: define{{.*}} void @_ZN6test221fEDn(
 633   void f(decltype(nullptr)) { }
 634 }
 635
 636 // rdar://problem/8913416
 637 namespace test23 {
 638   typedef void * const vpc;
 639
 640   // CHECK-LABEL: define{{.*}} void @_ZN6test231fERA10_KPv(
 641   void f(vpc (&)[10]) {}
 642
 643   typedef vpc vpca5[5];
 644   void f(vpca5 volatile (&)[10]) {}
 645   // CHECK-LABEL: define{{.*}} void @_ZN6test231fERA10_A5_VKPv(
 646 }
 647
 648 namespace test24 {
 649   void test0() {
 650     extern int foo();
 651     // CHECK: call noundef i32 @_ZN6test243fooEv()
 652     foo();
 653   }
 654
 655   static char bar() {}
 656   void test1() {
 657     // CHECK: call noundef signext i8 @_ZN6test24L3barEv()
 658     bar();
 659   }
 660 }
 661
 662 // rdar://problem/8806641
 663 namespace test25 {
 664   template <void (*fn)()> struct A {
 665     static void call() { fn(); }
 666   };
 667   void foo();
 668   void test() {
 669     // CHECK: call void @_ZN6test251AIXadL_ZNS_3fooEvEEE4callEv()
 670     A<foo>::call();
 671   }
 672 }
 673
 674 namespace test26 {
 675   template <template <class> class T> void foo(decltype(T<float>::object) &object) {}
 676
 677   template <class T> struct holder { static T object; };
 678
 679   void test() {
 680     float f;
 681
 682     // CHECK: call void @_ZN6test263fooINS_6holderEEEvRDtsrT_IfE6objectE(
 683     foo<holder>(f);
 684   }
 685 }
 686
 687 namespace test27 {
 688   struct A {
 689     struct inner {
 690       float object;
 691     };
 692
 693     float meth();
 694   };
 695   typedef A Alias;
 696
 697   template <class T> void a(decltype(T::inner::object) &object) {}
 698   template <class T> void b(decltype(T().Alias::meth()) &object) {}
 699
 700   void test() {
 701     float f;
 702     // CHECK: call void @_ZN6test271aINS_1AEEEvRDtsrNT_5innerE6objectE(
 703     a<A>(f);
 704     // CHECK: call void @_ZN6test271bINS_1AEEEvRDTcldtcvT__Esr5AliasE4methEE(
 705     b<A>(f);
 706   }
 707 }
 708
 709 // An injected class name type in a unresolved-name.
 710 namespace test28 {
 711   template <class T> struct A {
 712     enum { bit };
 713   };
 714
 715   template <class T> void foo(decltype(A<T>::A::bit) x);
 716
 717   void test() {
 718     foo<char>(A<char>::bit);
 719     // CHECK: call void @_ZN6test283fooIcEEvDtsr1AIT_E1AE3bitE(
 720   }
 721 }
 722
 723 // An enclosing template type parameter in an unresolved-name.
 724 namespace test29 {
 725   template <class T> struct A {
 726     template <class U> static void foo(decltype(T::fn(U())) x);
 727   };
 728   struct B { static int fn(int); static long fn(long); };
 729
 730   void test() {
 731     A<B>::foo<int>(0);
 732     // CHECK: call void @_ZN6test291AINS_1BEE3fooIiEEvDTclsrS1_2fncvT__EEE(
 733   }
 734 }
 735
 736 // An enclosing template template parameter in an unresolved-name.
 737 namespace test30 {
 738   template <template <class> class T> struct A {
 739     template <class U> static void foo(decltype(T<U>::fn()) x);
 740   };
 741   template <class T> struct B { static T fn(); };
 742
 743   void test() {
 744     A<B>::foo<int>(0);
 745     // CHECK: call void @_ZN6test301AINS_1BEE3fooIiEEvDTclsrS1_IT_EE2fnEE(
 746   }
 747 }
 748
 749 namespace test31 { // instantiation-dependent mangling of decltype
 750   int x;
 751   template<class T> auto f1(T p)->decltype(x) { return 0; }
 752   // The return type in the mangling of the template signature
 753   // is encoded as "i".
 754   template<class T> auto f2(T p)->decltype(p) { return 0; }
 755   // The return type in the mangling of the template signature
 756   // is encoded as "Dtfp_E".
 757   void g(int);
 758   template<class T> auto f3(T p)->decltype(g(p)) {}
 759
 760   // CHECK-LABEL: define weak_odr noundef i32 @_ZN6test312f1IiEEiT_(
 761   template int f1(int);
 762   // CHECK-LABEL: define weak_odr noundef i32 @_ZN6test312f2IiEEDtfp_ET_
 763   template int f2(int);
 764   // CHECK-LABEL: define weak_odr void @_ZN6test312f3IiEEDTcl1gfp_EET_
 765   template void f3(int);
 766 }
 767
 768 // PR10205
 769 namespace test32 {
 770   template<typename T, int=T::value> struct A {
 771     typedef int type;
 772   };
 773   struct B { enum { value = 4 }; };
 774
 775   template <class T> typename A<T>::type foo() { return 0; }
 776   void test() {
 777     foo<B>();
 778     // CHECK: call noundef i32 @_ZN6test323fooINS_1BEEENS_1AIT_XsrS3_5valueEE4typeEv()
 779   }
 780 }
 781
 782 namespace test33 {
 783   template <class T> struct X {
 784     enum { value = T::value };
 785   };
 786
 787   template<typename T, int=X<T>::value> struct A {
 788     typedef int type;
 789   };
 790   struct B { enum { value = 4 }; };
 791
 792   template <class T> typename A<T>::type foo() { return 0; }
 793
 794   void test() {
 795     foo<B>();
 796     // CHECK: call noundef i32 @_ZN6test333fooINS_1BEEENS_1AIT_Xsr1XIS3_EE5valueEE4typeEv()
 797   }
 798 }
 799
 800 namespace test34 {
 801   // Mangling for instantiation-dependent decltype expressions.
 802   template<typename T>
 803   void f(decltype(sizeof(decltype(T() + T())))) {}
 804
 805   // CHECK-LABEL: define weak_odr void @_ZN6test341fIiEEvDTstDTplcvT__EcvS1__EEE
 806   template void f<int>(decltype(sizeof(1)));
 807
 808   // Mangling for non-instantiation-dependent sizeof expressions.
 809   template<unsigned N>
 810   void f2(int (&)[N + sizeof(int*)]) {}
 811
 812   // CHECK-LABEL: define weak_odr void @_ZN6test342f2ILj4EEEvRAplT_Lm8E_i
 813   template void f2<4>(int (&)[4 + sizeof(int*)]);
 814
 815   // Mangling for non-instantiation-dependent sizeof expressions
 816   // involving an implicit conversion of the result of the sizeof.
 817   template<unsigned long long N>
 818   void f3(int (&)[N + sizeof(int*)]) {}
 819
 820   // CHECK-LABEL: define weak_odr void @_ZN6test342f3ILy4EEEvRAplT_Ly8E_i
 821   template void f3<4>(int (&)[4 + sizeof(int*)]);
 822
 823   // Mangling for instantiation-dependent sizeof() expressions as
 824   // template arguments.
 825   template<unsigned> struct A { };
 826
 827   template<typename T> void f4(::test34::A<sizeof(sizeof(decltype(T() + T())))>) { }
 828
 829   // CHECK-LABEL: define weak_odr void @_ZN6test342f4IiEEvNS_1AIXszstDTplcvT__EcvS2__EEEEE
 830   template void f4<int>(A<sizeof(sizeof(int))>);
 831 }
 832
 833 namespace test35 {
 834   // Dependent operator names of unknown arity.
 835 struct A {
 836   template <typename U> A operator+(U) const;
 837 };
 838
 839   template<typename T>
 840   void f1(decltype(sizeof(&T::template operator+<int>))) {}
 841
 842   // CHECK-LABEL: define weak_odr void @_ZN6test352f1INS_1AEEEvDTszadsrT_onplIiEE
 843   template void f1<A>(__SIZE_TYPE__);
 844 }
 845
 846 namespace test36 {
 847   template<unsigned> struct A { };
 848
 849   template<typename ...Types>
 850   auto f1(Types... values) -> A<sizeof...(values)> { }
 851
 852   // CHECK: define weak_odr {{.*}} @_ZN6test362f1IJifEEENS_1AIXsZfp_EEEDpT_
 853   template A<2> f1(int, float);
 854 }
 855
 856 namespace test37 {
 857   struct foo {
 858     struct {
 859     } a;
 860     typedef struct { } b;
 861     typedef struct { } *c;
 862     struct {
 863     } d;
 864   };
 865   template<typename T> void func(T) { }
 866   void test() {
 867     // CHECK-LABEL: define linkonce_odr void @_ZN6test374funcINS_3fooUt_EEEvT_
 868     func(foo().a);
 869     // CHECK-LABEL: define linkonce_odr void @_ZN6test374funcINS_3fooUt0_EEEvT_
 870     func(*foo::c());
 871     // CHECK-LABEL: define linkonce_odr void @_ZN6test374funcINS_3fooUt1_EEEvT_
 872     func(foo().d);
 873   }
 874 }
 875
 876 // CHECK-LABEL: define{{.*}} void @_Z6ASfuncPU3AS3i
 877 void ASfunc(__attribute__((address_space(3))) int* x) {}
 878
 879 namespace test38 {
 880   // CHECK-LABEL: define linkonce_odr void @_ZN6test384funcINS_3fooUt_EEEvT_
 881   typedef struct {
 882     struct {
 883     } a;
 884   } foo;
 885
 886   template <typename T> void func(T) {}
 887   void test() { func(foo().a); }
 888 }
 889
 890 namespace test39 {
 891   // CHECK-LABEL: define internal void @"_ZN6test394funcINS_3$_03$_1EEEvT_"
 892   typedef struct {
 893     struct {} a;
 894   } *foo;
 895   template<typename T> void func(T) {}
 896   void test() {
 897     foo x;
 898     func(x->a);
 899   }
 900 }
 901
 902 namespace test40 {
 903   // CHECK: ptr {{.*}} @_ZZN6test401fEvE1a_0
 904   void h(int&);
 905   inline void f() {
 906     if (0) {
 907       static int a;
 908     }
 909     static int a;
 910     h(a);
 911   };
 912   void g() { f(); }
 913 }
 914
 915 namespace test41 {
 916   // CHECK: define linkonce_odr void @_ZN6test414funcINS_1XEEEvNS_3fooILi20ES1_EE
 917   template <int i, class T> struct foo {
 918     template <class T2 = T> friend void func(foo x) {}
 919   };
 920
 921   struct X {};
 922
 923   void g() { func(foo<20, X>()); }
 924 }
 925
 926 namespace test42 {
 927   // CHECK: define linkonce_odr void @_ZN6test424funcINS_1XEEEvNS_3fooILi20ES1_EE
 928   template <int i, template <class> class T> struct foo {
 929     template <template <class> class T2 = T> friend void func(foo x) {}
 930   };
 931
 932   template <class V> struct X {
 933   };
 934
 935   void g() { func(foo<20, X>()); }
 936 }
 937
 938 namespace test43 {
 939   // CHECK-LABEL: define{{.*}} void @_ZN6test431gEPNS_3zedIXadL_ZNS_3fooUt_3barEEEEE
 940   struct foo { union { int bar; }; };
 941   template <int (foo::*)>
 942   struct zed {};
 943   void g(zed<&foo::bar>*)
 944   {}
 945 }
 946
 947 namespace test44 {
 948   struct foo { void bar() __restrict { }; } obj;
 949
 950   void f() {
 951     obj.bar();
 952   }
 953   // CHECK-LABEL: define linkonce_odr void @_ZN6test443foo3barEv(ptr {{[^,]*}} %this)
 954 }
 955
 956 namespace test45 {
 957   struct S {
 958     enum e {};
 959   };
 960   template <typename T>
 961   void f(enum T::e *) {}
 962   template void f<S>(S::e *);
 963   // CHECK-LABEL: define weak_odr void @_ZN6test451fINS_1SEEEvPTeNT_1eE(ptr noundef %0)
 964 }
 965
 966 namespace test46 {
 967   struct S {
 968     struct s {};
 969   };
 970   template <typename T>
 971   void f(struct T::s *) {}
 972   template void f<S>(S::s *);
 973   // CHECK-LABEL: define weak_odr void @_ZN6test461fINS_1SEEEvPTsNT_1sE(ptr noundef %0)
 974 }
 975
 976 namespace test47 {
 977   struct S {
 978     class c {};
 979   };
 980   template <typename T>
 981   void f(class T::c *) {}
 982   template void f<S>(S::c *);
 983   // CHECK-LABEL: define weak_odr void @_ZN6test471fINS_1SEEEvPTsNT_1cE(ptr noundef %0)
 984 }
 985
 986 namespace test48 {
 987   struct S {
 988     union u {};
 989   };
 990   template <typename T>
 991   void f(union T::u *) {}
 992   template void f<S>(S::u *);
 993   // CHECK-LABEL: define weak_odr void @_ZN6test481fINS_1SEEEvPTuNT_1uE(ptr noundef %0)
 994 }
 995
 996 namespace test49 {
 997   template <int>
 998   struct S {};
 999
1000   template <template <int> class T>
1001   T<3> fin(T<3>);
1002
1003   auto v = fin<S>;
1004   // CHECK-LABEL: declare void @_ZN6test493finINS_1SEEET_ILi3EES3_()
1005 }
1006
1007 namespace test50 {
1008   template <int>
1009   struct S {};
1010
1011   template <template <int> class T>
1012   T<3> fin(T<4>);
1013
1014   auto v = fin<S>;
1015   // CHECK-LABEL: declare void @_ZN6test503finINS_1SEEET_ILi3EES2_ILi4EE()
1016 }
1017
1018 namespace test51 {
1019   template <typename T>
1020   decltype(T().~T()) fun() {}
1021   template void fun<int>();
1022   // CHECK-LABEL: @_ZN6test513funIiEEDTcldtcvT__EdnS1_EEv
1023   template void fun<X>();
1024   // CHECK-LABEL: @_ZN6test513funI1XEEDTcldtcvT__EdnS2_EEv
1025   template void fun<S1<int> >();
1026   // CHECK-LABEL: @_ZN6test513funI2S1IiEEEDTcldtcvT__EdnS3_EEv
1027
1028   enum E {};
1029   template <typename T>
1030   struct X {
1031     struct Y {};
1032   };
1033
1034   template <typename T>
1035   decltype(S1<T>().~S1<T>()) fun1() {};
1036   template <typename U, typename T>
1037   decltype(U().~S1<T>()) fun2() {}
1038   template <typename U, typename T>
1039   decltype(S1<T>().~U()) fun3() {}
1040   template <typename T>
1041   decltype(S1<T>().~S1<T>(), S1<T>().~S1<T>()) fun4() {};
1042   template <typename T>
1043   decltype(S1<int>().~S1<T>()) fun5(){};
1044   template <template <typename T> class U>
1045   decltype(S1<int>().~U<int>()) fun6(){};
1046   template <typename T>
1047   decltype(E().E::~T()) fun7() {}
1048   template <template <typename> class U>
1049   decltype(X<int>::Y().U<int>::Y::~Y()) fun8() {}
1050   template void fun1<int>();
1051   // CHECK-LABEL: @_ZN6test514fun1IiEEDTcldtcv2S1IT_E_Edn2S1IS2_EEEv
1052   template void fun2<S1<int>, int>();
1053   // CHECK-LABEL: @_ZN6test514fun2I2S1IiEiEEDTcldtcvT__Edn2S1IT0_EEEv
1054   template void fun3<S1<int>, int>();
1055   // CHECK-LABEL: @_ZN6test514fun3I2S1IiEiEEDTcldtcvS1_IT0_E_EdnT_EEv
1056   template void fun4<int>();
1057   // CHECK-LABEL: @_ZN6test514fun4IiEEDTcmcldtcv2S1IT_E_Edn2S1IS2_EEcldtcvS3__Edn2S1IS2_EEEv
1058   template void fun5<int>();
1059   // CHECK-LABEL: @_ZN6test514fun5IiEEDTcldtcv2S1IiE_Edn2S1IT_EEEv
1060   template void fun6<S1>();
1061   // CHECK-LABEL: @_ZN6test514fun6I2S1EEDTcldtcvS1_IiE_EdnT_IiEEEv
1062   template void fun7<E>();
1063   // CHECK-LABEL: @_ZN6test514fun7INS_1EEEEDTcldtcvS1__Esr1EEdnT_EEv
1064   template void fun8<X>();
1065 }
1066
1067 namespace test52 {
1068 struct X {};
1069 void operator+(X);
1070 template <typename... T>
1071 auto f4(T... x) -> decltype(operator+(x...));
1072 // CHECK-LABEL: @_ZN6test522f4IJNS_1XEEEEDTclonplspfp_EEDpT_
1073 void use() { f4(X{}); }
1074 }
1075
1076 namespace test53 {
1077 struct c {
1078   using t1 = struct { int z; };
1079   using t2 = struct { double z; };
1080   using t3 = struct { float z; };
1081   using t4 = struct { float z; };
1082
1083   __attribute__((used)) c(t1) {}
1084   __attribute__((used)) c(t2) {}
1085   __attribute__((used)) c(t3) {}
1086   __attribute__((used)) c(t4) {}
1087   // CHECK-LABEL: @_ZN6test531cC2ENS0_2t1E
1088   // CHECK-LABEL: @_ZN6test531cC2ENS0_2t2E
1089   // CHECK-LABEL: @_ZN6test531cC2ENS0_2t3E
1090   // CHECK-LABEL: @_ZN6test531cC2ENS0_2t4E
1091 };
1092 }
1093
1094 namespace test54 {
1095 struct c {
1096   using t1 = struct { int z; } *;
1097   using t2 = struct { double z; } *;
1098
1099   __attribute__((used)) c(t1) {}
1100   __attribute__((used)) c(t2) {}
1101   // CHECK-LABEL: @_ZN6test541cC2EPNS0_Ut_E
1102   // CHECK-LABEL: @_ZN6test541cC2EPNS0_Ut0_E
1103 };
1104 }
1105
1106 namespace test55 {
1107 enum E { R };
1108
1109 template <typename T>
1110 void f1(T, __underlying_type(T)) {}
1111 template void f1<E>(E, __underlying_type(E));
1112 // CHECK-LABEL: @_ZN6test552f1INS_1EEEEvT_u17__underlying_typeIS2_E
1113
1114 template <typename T> void f2(T, __add_lvalue_reference(T)) {}
1115 template void f2<int>(int, __add_lvalue_reference(int));
1116 // CHECK-LABEL: @_ZN6test552f2IiEEvT_u22__add_lvalue_referenceIS1_E
1117
1118 template <typename T> void f3(T, __add_pointer(T)) {}
1119 template void f3<int>(int, __add_pointer(int));
1120 // CHECK-LABEL: @_ZN6test552f3IiEEvT_u13__add_pointerIS1_E
1121
1122 template <typename T> void f4(T, __add_rvalue_reference(T)) {}
1123 template void f4<int>(int, __add_rvalue_reference(int));
1124 // CHECK-LABEL: @_ZN6test552f4IiEEvT_u22__add_rvalue_referenceIS1_E
1125
1126 template <typename T> void f5(T, __decay(T)) {}
1127 template void f5<int>(int, __decay(int));
1128 // CHECK-LABEL: @_ZN6test552f5IiEEvT_u7__decayIS1_E
1129
1130 template <typename T> void f6(T, __make_signed(T)) {}
1131 template void f6<int>(int, __make_signed(int));
1132 // CHECK-LABEL: @_ZN6test552f6IiEEvT_u13__make_signedIS1_E
1133
1134 template <typename T> void f7(T, __make_unsigned(T)) {}
1135 template void f7<int>(int, __make_unsigned(int));
1136 // CHECK-LABEL: @_ZN6test552f7IiEEvT_u15__make_unsignedIS1_E
1137
1138 template <typename T> void f8(T, __remove_const(T)) {}
1139 template void f8<int>(int, __remove_const(int));
1140 // CHECK-LABEL: @_ZN6test552f8IiEEvT_u14__remove_constIS1_E
1141
1142 template <typename T> void f9(T, __remove_cv(T)) {}
1143 template void f9<int>(int, __remove_cv(int));
1144 // CHECK-LABEL: @_ZN6test552f9IiEEvT_u11__remove_cvIS1_E
1145
1146 template <typename T> void f10(T, __remove_cvref(T)) {}
1147 template void f10<int>(int, __remove_cvref(int));
1148 // CHECK-LABEL: @_ZN6test553f10IiEEvT_u14__remove_cvrefIS1_E
1149
1150 template <typename T> void f11(T, __remove_volatile(T)) {}
1151 template void f11<int>(int, __remove_volatile(int));
1152 // CHECK-LABEL: @_ZN6test553f11IiEEvT_u17__remove_volatileIS1_E
1153
1154 template <typename T> void f12(T, __remove_extent(T)) {}
1155 template void f12<int>(int, __remove_extent(int));
1156 // CHECK-LABEL: @_ZN6test553f12IiEEvT_u15__remove_extentIS1_E
1157
1158 template <typename T> void f13(T, __remove_all_extents(T)) {}
1159 template void f13<int>(int, __remove_all_extents(int));
1160 // CHECK-LABEL: @_ZN6test553f13IiEEvT_u20__remove_all_extentsIS1_E
1161
1162 template <typename T> void f14(T, __remove_pointer(T)) {}
1163 template void f14<int>(int, __remove_pointer(int));
1164 // CHECK-LABEL: @_ZN6test553f14IiEEvT_u16__remove_pointerIS1_E
1165
1166 template <typename T> void f15(T, __remove_reference_t(T)) {}
1167 template void f15<int>(int, __remove_reference_t(int));
1168 // CHECK-LABEL: @_ZN6test553f15IiEEvT_u20__remove_reference_tIS1_E
1169
1170 template <typename T> void f16(T, __remove_volatile(T)) {}
1171 template void f16<int>(int, __remove_volatile(int));
1172 // CHECK-LABEL: @_ZN6test553f16IiEEvT_u17__remove_volatileIS1_E
1173
1174 template <typename T> void f17(T, __remove_restrict(T)) {}
1175 template void f17<int>(int, __remove_restrict(int));
1176 // CHECK-LABEL: @_ZN6test553f17IiEEvT_u17__remove_restrictIS1_E
1177 } // namespace test55
1178
1179 namespace test56 {
1180   struct A { A *operator->(); int n; } a;
1181   template<int N> void f(decltype(a->n + N)) {}
1182   // CHECK-LABEL: @_ZN6test561fILi0EEEvDTplptL_ZNS_1aEE1nT_E
1183   template void f<0>(int);
1184 }
1185
1186 namespace test57 {
1187   struct X { template <int N> int f(); } x;
1188   template<int N> void f(decltype(x.f<0>() + N)) {}
1189   // CHECK-LABEL: @_ZN6test571fILi0EEEvDTplcldtL_ZNS_1xEE1fILi0EEET_E
1190   template void f<0>(int);
1191 }
1192
1193 namespace test58 {
1194   struct State {
1195    bool m_fn1();
1196   } a;
1197   template <class T> struct identity { typedef T type; };
1198   struct A {
1199    template <typename T> A(T, bool (identity<T>::type::*)());
1200   };
1201   // CHECK-LABEL: @_ZN6test581AC1INS_5StateEEET_MNS_8identityIS3_E4typeEFbvE
1202   void fn1() { A(a, &State::m_fn1); }
1203 }
1204
1205 namespace test59 {
1206   // verify no crash.
1207   template<typename T>
1208   void f(T g) {
1209     auto [e] = g;
1210     [](decltype(e)) {};
1211   }
1212 }
1213
1214 namespace test60 {
1215   struct X { int i, j; };
1216   auto [a,b] = X{1,2};
1217   template<typename T> void f(decltype(a + T())) {}
1218   // CHECK-LABEL: @_ZN6test601fIiEEvDTplL_ZNS_1aEEcvT__EE
1219   template void f<int>(int);
1220 }
1221
1222 namespace test61 {
1223   struct X {
1224     struct Y {
1225       using a = int;
1226       using b = int;
1227     };
1228   };
1229   template <typename T> void f(typename T::Y::a, typename T::Y::b) {}
1230   // CHECK-LABEL: @_ZN6test611fINS_1XEEEvNT_1Y1aENS3_1bE
1231   template void f<X>(int, int);
1232 }