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