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