rtti-linkage.cpp revision fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267e
1fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// RUN: %clang_cc1 %s -I%S -triple=x86_64-apple-darwin10 -fhidden-weak-vtables -emit-llvm -o - | FileCheck %s 26d576051b9ca56fe962077fb194ed2917539989aArgyrios Kyrtzidis// RUN: %clang_cc1 %s -I%S -triple=x86_64-apple-darwin10 -fvisibility hidden -fhidden-weak-vtables -emit-llvm -o - | FileCheck -check-prefix=CHECK-WITH-HIDDEN %s 3ecb2df2408639e554def61080ce3afdb41e2f705Daniel Dunbar 48d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson#include <typeinfo> 54e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson 66d576051b9ca56fe962077fb194ed2917539989aArgyrios Kyrtzidis// CHECK-WITH-HIDDEN: _ZTSFN12_GLOBAL__N_11DEvE = internal constant 76fb745bdf1ff1e32caf07e42093a7920726892c1Douglas Gregor 8fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSP1C = internal constant 9fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTS1C = internal constant 10625c1ae781e3b8973bc9ec520268fe3301e4caf5Anders Carlsson// CHECK: _ZTI1C = internal constant 11fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIP1C = internal constant 12fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSPP1C = internal constant 13fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIPP1C = internal constant 14fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1Ci = internal constant 15fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIM1Ci = internal constant 16fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSPM1Ci = internal constant 17fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIPM1Ci = internal constant 18fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1CS_ = internal constant 19fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIM1CS_ = internal constant 20fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1CPS_ = internal constant 21fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIM1CPS_ = internal constant 22fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1A1C = internal constant 23fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTS1A = weak_odr constant 24fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTI1A = weak_odr hidden constant 2517fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson// CHECK: _ZTIM1A1C = internal constant 26fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1AP1C = internal constant 2717fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson// CHECK: _ZTIM1AP1C = internal constant 28fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSN12_GLOBAL__N_11DE = internal constant 29610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson// CHECK: _ZTIN12_GLOBAL__N_11DE = internal constant 30fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSPN12_GLOBAL__N_11DE = internal constant 31610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson// CHECK: _ZTIPN12_GLOBAL__N_11DE = internal constant 3209b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson// CHECK: _ZTSFN12_GLOBAL__N_11DEvE = internal constant 33fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIFN12_GLOBAL__N_11DEvE = internal constant 3409b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson// CHECK: _ZTSFvN12_GLOBAL__N_11DEE = internal constant 35fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIFvN12_GLOBAL__N_11DEE = internal constant 36fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSPFvvE = weak_odr constant 3709b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson// CHECK: _ZTSFvvE = weak_odr constant 38fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIFvvE = weak_odr hidden constant 39fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIPFvvE = weak_odr hidden constant 409c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson// CHECK: _ZTSN12_GLOBAL__N_11EE = internal constant 41fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIN12_GLOBAL__N_11EE = internal constant 42fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSA10_i = weak_odr constant 43fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIA10_i = weak_odr hidden constant 44fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTI1TILj0EE = weak_odr constant 45fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTI1TILj1EE = weak_odr constant 46fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTI1TILj2EE = external constant 47fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTS1B = constant 48fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTI1B = constant 49fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTS1F = weak_odr constant 50fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi 51fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIN12_GLOBAL__N_11DE to 529c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson 534e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson// A has no key function, so its RTTI data should be weak_odr. 544e7135613a558020f003972b2a5ae5f8d5306508Anders Carlssonstruct A { }; 554e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson 564e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson// B has a key function defined in the translation unit, so the RTTI data should 574e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson// be emitted in this translation unit and have external linkage. 584e7135613a558020f003972b2a5ae5f8d5306508Anders Carlssonstruct B : A { 594e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson virtual void f(); 604e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson}; 614e7135613a558020f003972b2a5ae5f8d5306508Anders Carlssonvoid B::f() { } 628d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson 638d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson// C is an incomplete class type, so any direct or indirect pointer types should have 64f64531a17037faa9e0119e90961d2db77d06865dAnders Carlsson// internal linkage, as should the type info for C itself. 658d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlssonstruct C; 668d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson 67610b0d94d71810773378be4f39922a56b1202a83Anders Carlssonvoid t1() { 688d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson (void)typeid(C*); 698d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson (void)typeid(C**); 7017fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(int C::*); 7117fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(int C::**); 7217fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(C C::*); 7317fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(C *C::*); 7417fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(C A::*); 7517fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(C* A::*); 768d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson} 778d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson 78610b0d94d71810773378be4f39922a56b1202a83Anders Carlssonnamespace { 79610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson // D is inside an anonymous namespace, so all type information related to D should have 80610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson // internal linkage. 81610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson struct D { }; 829c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson 839c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson // E is also inside an anonymous namespace. 849c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson enum E { }; 859c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson 86610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson}; 87610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson 88e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson// F has a key function defined in the translation unit, but it is inline so the RTTI 89e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson// data should be emitted with weak_odr linkage. 90e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlssonstruct F { 91e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson virtual void f(); 92e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson}; 93e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson 94e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlssoninline void F::f() { } 95f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregorconst D getD(); 96f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregor 97f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregorconst std::type_info &t2() { 98f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregor (void)typeid(const D); 9909b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson (void)typeid(D *); 10009b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson (void)typeid(D (*)()); 10109b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson (void)typeid(void (*)(D)); 102031b37140d0864c741618960b5220245a2a086aeDouglas Gregor (void)typeid(void (*)(D&)); 10309b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson // The exception specification is not part of the RTTI descriptor, so it should not have 10409b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson // internal linkage. 10509b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson (void)typeid(void (*)() throw (D)); 10609b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson 1079c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson (void)typeid(E); 1089c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson 109f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregor return typeid(getD()); 110610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson} 111d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor 112d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregornamespace Arrays { 113d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor struct A { 114d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor static const int a[10]; 115d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor }; 116d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor const std::type_info &f() { 117d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor return typeid(A::a); 118d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor } 119d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor} 120cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall 121cbfe50224b19119e759802bd0c1463269dffd09eJohn McCalltemplate <unsigned N> class T { 122cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall virtual void anchor() {} 123cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall}; 124cbfe50224b19119e759802bd0c1463269dffd09eJohn McCalltemplate class T<1>; 125cbfe50224b19119e759802bd0c1463269dffd09eJohn McCalltemplate <> class T<2> { virtual void anchor(); }; 126cbfe50224b19119e759802bd0c1463269dffd09eJohn McCallvoid t3() { 127cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall (void) typeid(T<0>); 128cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall (void) typeid(T<1>); 129cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall (void) typeid(T<2>); 130cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall} 131