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