1 // RUN: %clang_cc1 -triple x86_64-none-linux-gnu -emit-llvm -debug-info-kind=limited %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=BOTH 2 // RUN: %clang_cc1 -triple i686-pc-windows-msvc -emit-llvm -debug-info-kind=limited %s -o - | FileCheck %s --check-prefix=MSVC --check-prefix=BOTH 3 4 // CHECK: define void @_ZN7pr147634funcENS_3fooE 5 // CHECK: call void @llvm.dbg.declare({{.*}}, metadata ![[F:[0-9]+]], metadata ![[EXPR:[0-9]+]]) 6 7 // !llvm.dbg.cu pulls in globals and their types first. 8 // CHECK-NOT: !DIGlobalVariable(name: "c" 9 // CHECK: !DIGlobalVariable(name: "x", linkageName: "_ZN6pr96081xE" 10 // CHECK-SAME: type: [[INCARRAYPTR:![0-9]*]] 11 // CHECK-SAME: variable: [3 x i8]** @_ZN6pr96081xE 12 // CHECK: [[INCARRAYPTR]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: [[INCARRAY:![0-9]+]] 13 // CHECK: [[INCARRAY]] = !DICompositeType(tag: DW_TAG_array_type 14 // CHECK-NOT: line: 15 // CHECK-NOT: size: 16 // CHECK-NOT: align: 17 // CHECK-NOT: offset: 18 // CHECK-SAME: baseType: ![[INCTYPE:[0-9]+]] 19 20 // CHECK: ![[INCTYPE]] = !DICompositeType(tag: DW_TAG_structure_type, name: "incomplete" 21 // CHECK-SAME: DIFlagFwdDecl 22 23 template<typename T> struct Identity { 24 typedef T Type; 25 }; 26 27 void f(Identity<int>::Type a) {} 28 void f(Identity<int> a) {} 29 void f(int& a) { } 30 31 template<typename T> struct A { 32 A<T> *next; 33 }; 34 void f(A<int>) { } 35 36 struct B { }; 37 38 void f() { 39 int B::*a = 0; 40 void (B::*b)() = 0; 41 } 42 43 namespace EmptyNameCrash { 44 struct A { A(); }; 45 typedef struct { A x; } B; 46 B x; 47 } 48 49 // PR4890 50 namespace PR4890 { 51 struct X { 52 ~X(); 53 }; 54 55 X::~X() { } 56 } 57 58 namespace VirtualDtor { 59 struct Y { 60 virtual ~Y(); 61 }; 62 63 Y::~Y() { } 64 } 65 66 namespace VirtualBase { 67 struct A { int a; }; 68 struct B : virtual A { int b; }; 69 // BOTH: ![[VBASE_B:[0-9]+]] ={{.*}}!DICompositeType(tag: DW_TAG_structure_type, name: "B",{{.*}} line: [[@LINE-1]], 70 // MSVC-SAME: size: 96, align: 32 71 // CHECK-SAME: size: 128, align: 64, 72 // BOTH-NOT: offset: 73 // BOTH-NOT: DIFlagFwdDecl 74 // BOTH-SAME: elements: [[VBASE_B_DEF:![0-9]+]] 75 // BOTH: [[VBASE_B_DEF]] = !{[[VBASE_A_IN_B:![0-9]+]], 76 // 77 // Look for the vbtable offset of A, which should be 4 for MSVC, 24 otherwise. 78 // BOTH: [[VBASE_A_IN_B]] = !DIDerivedType(tag: DW_TAG_inheritance, scope: ![[VBASE_B]], 79 // BOTH-SAME: baseType: ![[VBASE_A:[0-9]+]], 80 // MSVC-SAME: offset: 4, 81 // CHECK-SAME: offset: 24, 82 // 83 // BOTH: ![[VBASE_A]] ={{.*}}!DICompositeType(tag: DW_TAG_structure_type, name: "A", 84 85 void f() { 86 B b; 87 } 88 } 89 90 namespace b5249287 { 91 template <typename T> class A { 92 struct B; 93 }; 94 95 class Cls { 96 template <typename T> friend class A<T>::B; 97 }; 98 99 Cls obj; 100 } 101 102 // CHECK: [[FUNC:[0-9]+]] = distinct !DISubprogram(name: "func", linkageName: "_ZN7pr147634funcENS_3fooE" 103 // CHECK-SAME: type: {{![0-9]+}} 104 // CHECK-SAME: isDefinition: true 105 106 // CHECK: [[PR14763:![0-9]+]] = !DINamespace(name: "pr14763" 107 namespace pr14763 { 108 struct foo { 109 // CHECK: ![[FOO:[0-9]+]] ={{.*}}!DICompositeType(tag: DW_TAG_structure_type, name: "foo" 110 // CHECK-SAME: scope: [[PR14763]] 111 // CHECK-SAME: identifier: 112 foo(const foo&); 113 }; 114 115 // For some reason function arguments ended up down here 116 // CHECK: ![[F]] = !DILocalVariable(name: "f", arg: 1, scope: ![[FUNC]] 117 // CHECK-SAME: type: ![[FOO]] 118 // CHECK: ![[EXPR]] = !DIExpression(DW_OP_deref) 119 foo func(foo f) { 120 return f; // reference 'f' for now because otherwise we hit another bug 121 } 122 123 } 124 125 void foo() { 126 // CHECK: !DILocalVariable(name: "c" 127 // CHECK-NOT: arg: 128 // CHECK-SAME: ) 129 const wchar_t c = L'x'; 130 wchar_t d = c; 131 } 132 133 namespace pr9608 { // also pr9600 134 struct incomplete; 135 incomplete (*x)[3]; 136 } 137 138 namespace pr16214 { 139 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "a" 140 // CHECK-SAME: elements: [[A_MEM:![0-9]+]] 141 // CHECK-SAME: identifier: "_ZTSN7pr162141aE" 142 // CHECK: [[A_MEM]] = !{[[A_I:![0-9]*]]} 143 struct a { 144 // CHECK: [[A_I]] = !DIDerivedType(tag: DW_TAG_member, name: "i" 145 int i; 146 }; 147 148 typedef a at; 149 150 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "b" 151 // CHECK-SAME: DIFlagFwdDecl 152 struct b { 153 }; 154 155 typedef b bt; 156 157 void func() { 158 at a_inst; 159 bt *b_ptr_inst; 160 const bt *b_cnst_ptr_inst; 161 } 162 163 } 164