rtti-linkage.cpp revision 907c828b080332854826a87451e838930f4be788
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 7907c828b080332854826a87451e838930f4be788Anders Carlsson// CHECK-WITH-HIDDEN: @_ZTSPK2T4 = linkonce_odr hidden constant 8f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK-WITH-HIDDEN: @_ZTS2T4 = linkonce_odr hidden constant 9f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK-WITH-HIDDEN: @_ZTI2T4 = linkonce_odr hidden unnamed_addr constant 10f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK-WITH-HIDDEN: @_ZTIPK2T4 = linkonce_odr hidden unnamed_addr constant 116fb745bdf1ff1e32caf07e42093a7920726892c1Douglas Gregor 12fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSP1C = internal constant 13fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTS1C = internal constant 1457244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTI1C = internal unnamed_addr constant 1557244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIP1C = internal unnamed_addr constant 16fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSPP1C = internal constant 1757244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIPP1C = internal unnamed_addr constant 18fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1Ci = internal constant 1957244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIM1Ci = internal unnamed_addr constant 20fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSPM1Ci = internal constant 2157244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIPM1Ci = internal unnamed_addr constant 22fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1CS_ = internal constant 2357244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIM1CS_ = internal unnamed_addr constant 24fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1CPS_ = internal constant 2557244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIM1CPS_ = internal unnamed_addr constant 26fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1A1C = internal constant 27f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTS1A = linkonce_odr constant 28f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTI1A = linkonce_odr hidden unnamed_addr constant 2957244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIM1A1C = internal unnamed_addr constant 30fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSM1AP1C = internal constant 3157244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIM1AP1C = internal unnamed_addr constant 32fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSN12_GLOBAL__N_11DE = internal constant 3357244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIN12_GLOBAL__N_11DE = internal unnamed_addr constant 34fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTSPN12_GLOBAL__N_11DE = internal constant 3557244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIPN12_GLOBAL__N_11DE = internal unnamed_addr constant 3609b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson// CHECK: _ZTSFN12_GLOBAL__N_11DEvE = internal constant 3757244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIFN12_GLOBAL__N_11DEvE = internal unnamed_addr constant 3809b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson// CHECK: _ZTSFvN12_GLOBAL__N_11DEE = internal constant 3957244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIFvN12_GLOBAL__N_11DEE = internal unnamed_addr constant 40f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTSPFvvE = linkonce_odr constant 41f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTSFvvE = linkonce_odr constant 42f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTIFvvE = linkonce_odr hidden unnamed_addr constant 43f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTIPFvvE = linkonce_odr hidden unnamed_addr constant 449c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson// CHECK: _ZTSN12_GLOBAL__N_11EE = internal constant 4557244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTIN12_GLOBAL__N_11EE = internal unnamed_addr constant 46f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTSA10_i = linkonce_odr constant 47f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTIA10_i = linkonce_odr hidden unnamed_addr constant 48f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTI1TILj0EE = linkonce_odr unnamed_addr constant 4957244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTI1TILj1EE = weak_odr unnamed_addr constant 50fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTI1TILj2EE = external constant 51fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTS1B = constant 5257244f69e2e780bb5584a37a12e31be83b1eaadbRafael Espindola// CHECK: _ZTI1B = unnamed_addr constant 53f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// CHECK: _ZTS1F = linkonce_odr constant 54fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi 55fd4524b4452d5dcda9c7cb9b1b665fd0f4b6267eNAKAMURA Takumi// CHECK: _ZTIN12_GLOBAL__N_11DE to 569c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson 57f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// A has no key function, so its RTTI data should be linkonce_odr. 584e7135613a558020f003972b2a5ae5f8d5306508Anders Carlssonstruct A { }; 594e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson 604e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson// B has a key function defined in the translation unit, so the RTTI data should 614e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson// be emitted in this translation unit and have external linkage. 624e7135613a558020f003972b2a5ae5f8d5306508Anders Carlssonstruct B : A { 634e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson virtual void f(); 644e7135613a558020f003972b2a5ae5f8d5306508Anders Carlsson}; 654e7135613a558020f003972b2a5ae5f8d5306508Anders Carlssonvoid B::f() { } 668d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson 678d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson// C is an incomplete class type, so any direct or indirect pointer types should have 68f64531a17037faa9e0119e90961d2db77d06865dAnders Carlsson// internal linkage, as should the type info for C itself. 698d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlssonstruct C; 708d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson 71610b0d94d71810773378be4f39922a56b1202a83Anders Carlssonvoid t1() { 728d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson (void)typeid(C*); 738d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson (void)typeid(C**); 7417fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(int C::*); 7517fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(int C::**); 7617fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(C C::*); 7717fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(C *C::*); 7817fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(C A::*); 7917fa6f971c1912c77aa10bdac4b7991b5e1646e2Anders Carlsson (void)typeid(C* A::*); 808d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson} 818d1451535524cb21a6f8347bad9fed371b9d9ecbAnders Carlsson 82610b0d94d71810773378be4f39922a56b1202a83Anders Carlssonnamespace { 83610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson // D is inside an anonymous namespace, so all type information related to D should have 84610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson // internal linkage. 85610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson struct D { }; 869c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson 879c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson // E is also inside an anonymous namespace. 889c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson enum E { }; 899c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson 90610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson}; 91610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson 92e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson// F has a key function defined in the translation unit, but it is inline so the RTTI 93f502d93b0ea970bfbd897e657f8d940a20984de2Anders Carlsson// data should be emitted with linkonce_odr linkage. 94e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlssonstruct F { 95e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson virtual void f(); 96e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson}; 97e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlsson 98e8f90389c43efbbe820574f674a98ac701bf48a2Anders Carlssoninline void F::f() { } 99f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregorconst D getD(); 100f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregor 101f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregorconst std::type_info &t2() { 102f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregor (void)typeid(const D); 10309b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson (void)typeid(D *); 10409b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson (void)typeid(D (*)()); 10509b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson (void)typeid(void (*)(D)); 106031b37140d0864c741618960b5220245a2a086aeDouglas Gregor (void)typeid(void (*)(D&)); 10709b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson // The exception specification is not part of the RTTI descriptor, so it should not have 10809b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson // internal linkage. 10909b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson (void)typeid(void (*)() throw (D)); 11009b6e6e8854cc4a824060101a9633082e55d7a33Anders Carlsson 1119c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson (void)typeid(E); 1129c7b6bb952672b9d184a4426138579d55c370afcAnders Carlsson 113f57f207a0fcf5fb7883597b57dd03faf952318ddDouglas Gregor return typeid(getD()); 114610b0d94d71810773378be4f39922a56b1202a83Anders Carlsson} 115d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor 116d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregornamespace Arrays { 117d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor struct A { 118d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor static const int a[10]; 119d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor }; 120d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor const std::type_info &f() { 121d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor return typeid(A::a); 122d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor } 123d1c1d7bd14dce533e8755164ff59988f2ea5da94Douglas Gregor} 124cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall 125cbfe50224b19119e759802bd0c1463269dffd09eJohn McCalltemplate <unsigned N> class T { 126cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall virtual void anchor() {} 127cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall}; 128cbfe50224b19119e759802bd0c1463269dffd09eJohn McCalltemplate class T<1>; 129cbfe50224b19119e759802bd0c1463269dffd09eJohn McCalltemplate <> class T<2> { virtual void anchor(); }; 130cbfe50224b19119e759802bd0c1463269dffd09eJohn McCallvoid t3() { 131cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall (void) typeid(T<0>); 132cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall (void) typeid(T<1>); 133cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall (void) typeid(T<2>); 134cbfe50224b19119e759802bd0c1463269dffd09eJohn McCall} 1359c39acfda88268bcc7fb5521b55ce41942dcb3b0John McCall 1369c39acfda88268bcc7fb5521b55ce41942dcb3b0John McCall// rdar://problem/8778973 1379c39acfda88268bcc7fb5521b55ce41942dcb3b0John McCallstruct T4 {}; 1389c39acfda88268bcc7fb5521b55ce41942dcb3b0John McCallvoid t4(const T4 *ptr) { 1399c39acfda88268bcc7fb5521b55ce41942dcb3b0John McCall const void *value = &typeid(ptr); 1409c39acfda88268bcc7fb5521b55ce41942dcb3b0John McCall} 141