169 lines · cpp
1// RUN: %clangxx -target x86_64-unknown-unknown -g -gdwarf-4 %s -emit-llvm -S -o - | FileCheck --check-prefixes=CHECK,DWARF4,NOT-MS %s2// RUN: %clangxx -target x86_64-unknown-unknown -g -gdwarf-4 -std=c++98 %s -emit-llvm -S -o - | FileCheck --check-prefixes=CHECK,DWARF4,NOT-MS %s3// RUN: %clangxx -target x86_64-unknown-unknown -g -gdwarf-4 -std=c++11 %s -emit-llvm -S -o - | FileCheck --check-prefixes=CHECK,DWARF4,NOT-MS %s4// RUN: %clangxx -target x86_64-unknown-unknown -g -gdwarf-5 -std=c++11 %s -emit-llvm -S -o - | FileCheck --check-prefixes=CHECK,DWARF5 %s5// RUN: %clangxx -target x86_64-windows-msvc -g -gdwarf-4 %s -emit-llvm -S -o - | FileCheck --check-prefixes=CHECK,DWARF4 %s6// PR144717 8// CHECK: @{{.*}}a{{.*}} = dso_local global i32 4, align 4, !dbg [[A:![0-9]+]]9// CHECK: @{{.*}}b{{.*}} = dso_local global i32 2, align 4, !dbg [[B:![0-9]+]]10// CHECK: @{{.*}}c{{.*}} = dso_local global i32 1, align 4, !dbg [[C:![0-9]+]]11 12enum X {13 Y14};15class C16{17 static int a;18 const static bool const_a = true;19protected:20 static int b;21#if __cplusplus >= 201103L22 constexpr static float const_b = 3.14;23#else24 const static float const_b = 3.14;25#endif26public:27 static int c;28 const static int const_c = 18;29 int d;30 static X x_a;31};32 33// The definition of C::a drives the emission of class C, which is34// why the definition of "a" comes before the declarations while35// "b" and "c" come after.36 37// CHECK: [[A]] = !DIGlobalVariableExpression(var: [[AV:.*]], expr: !DIExpression())38// CHECK: [[AV]] = distinct !DIGlobalVariable(name: "a",39// CHECK-SAME: declaration: ![[DECL_A:[0-9]+]])40//41// CHECK: !DICompositeType(tag: DW_TAG_enumeration_type, name: "X"{{.*}})42// CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "anon_static_decl_struct"43// DWARF4: !DIDerivedType(tag: DW_TAG_member, name: "anon_static_decl_var"44// DWARF5: !DIDerivedType(tag: DW_TAG_variable, name: "anon_static_decl_var"45// CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "static_decl_templ<int>"46// CHECK-NOT: DIFlagFwdDecl47// CHECK-SAME: ){{$}}48// DWARF4: !DIDerivedType(tag: DW_TAG_member, name: "static_decl_templ_var"49// DWARF5: !DIDerivedType(tag: DW_TAG_variable, name: "static_decl_templ_var"50 51int C::a = 4;52// CHECK: [[B]] = !DIGlobalVariableExpression(var: [[BV:.*]], expr: !DIExpression())53// CHECK: [[BV]] = distinct !DIGlobalVariable(name: "b",54// CHECK-SAME: declaration: ![[DECL_B:[0-9]+]])55// DWARF4: ![[DECL_B]] = !DIDerivedType(tag: DW_TAG_member, name: "b"56// DWARF5: ![[DECL_B]] = !DIDerivedType(tag: DW_TAG_variable, name: "b"57// CHECK-NOT: size:58// CHECK-NOT: align:59// CHECK-NOT: offset:60// CHECK-SAME: flags: DIFlagProtected | DIFlagStaticMember)61//62// CHECK: !DICompositeType(tag: DW_TAG_class_type, name: "C"{{.*}})63//64// DWARF4: ![[DECL_A]] = !DIDerivedType(tag: DW_TAG_member, name: "a"65// DWARF5: ![[DECL_A]] = !DIDerivedType(tag: DW_TAG_variable, name: "a"66// CHECK-NOT: size:67// CHECK-NOT: align:68// CHECK-NOT: offset:69// CHECK-SAME: flags: DIFlagStaticMember)70//71// DWARF4: ![[CONST_A_DECL:[0-9]+]] = !DIDerivedType(tag: DW_TAG_member, name: "const_a"72// DWARF5: ![[CONST_A_DECL:[0-9]+]] = !DIDerivedType(tag: DW_TAG_variable, name: "const_a"73// CHECK-NOT: size:74// CHECK-NOT: align:75// CHECK-NOT: offset:76// CHECK-SAME: flags: DIFlagStaticMember77// CHECK-SAME: extraData: i1 true78 79// DWARF4: ![[CONST_B_DECL:[0-9]+]] = !DIDerivedType(tag: DW_TAG_member, name: "const_b"80// DWARF5: ![[CONST_B_DECL:[0-9]+]] = !DIDerivedType(tag: DW_TAG_variable, name: "const_b"81// CHECK-NOT: size:82// CHECK-NOT: align:83// CHECK-NOT: offset:84// CHECK-SAME: flags: DIFlagProtected | DIFlagStaticMember85// CHECK-SAME: extraData: float86 87// DWARF4: ![[DECL_C:[0-9]+]] = !DIDerivedType(tag: DW_TAG_member, name: "c"88// DWARF5: ![[DECL_C:[0-9]+]] = !DIDerivedType(tag: DW_TAG_variable, name: "c"89// CHECK-NOT: size:90// CHECK-NOT: align:91// CHECK-NOT: offset:92// CHECK-SAME: flags: DIFlagPublic | DIFlagStaticMember)93//94// DWARF4: ![[CONST_C_DECL:[0-9]+]] = !DIDerivedType(tag: DW_TAG_member, name: "const_c"95// DWARF5: ![[CONST_C_DECL:[0-9]+]] = !DIDerivedType(tag: DW_TAG_variable, name: "const_c"96// CHECK-NOT: size:97// CHECK-NOT: align:98// CHECK-NOT: offset:99// CHECK-SAME: flags: DIFlagPublic | DIFlagStaticMember100// CHECK-SAME: extraData: i32 18101//102// DWARF4: !DIDerivedType(tag: DW_TAG_member, name: "x_a"103// DWARF5: !DIDerivedType(tag: DW_TAG_variable, name: "x_a"104// CHECK-SAME: flags: DIFlagPublic | DIFlagStaticMember)105 106int C::b = 2;107// CHECK: [[C]] = !DIGlobalVariableExpression(var: [[CV:.*]], expr: !DIExpression())108// CHECK: [[CV]] = distinct !DIGlobalVariable(name: "c", {{.*}} declaration: ![[DECL_C]])109int C::c = 1;110 111int main()112{113 C instance_C;114 instance_C.d = 8;115 return C::c;116}117 118// CHECK-NOT: !DIGlobalVariable(name: "anon_static_decl_var"119 120// Test this in an anonymous namespace to ensure the type is retained even when121// it doesn't get automatically retained by the string type reference machinery.122namespace {123struct anon_static_decl_struct {124 static const int anon_static_decl_var = 117;125};126}127 128int ref() {129 return anon_static_decl_struct::anon_static_decl_var;130}131 132template<typename T>133struct static_decl_templ {134 static const int static_decl_templ_var = 7;135};136 137template<typename T>138const int static_decl_templ<T>::static_decl_templ_var;139 140int static_decl_templ_ref() {141 return static_decl_templ<int>::static_decl_templ_var;142}143 144// Verify that even when a static member declaration is created lazily when145// creating the definition, the declaration line is that of the canonical146// declaration, not the definition. Also, since we look at the canonical147// definition, we should also correctly emit the constant value (42) into the148// debug info.149struct V {150 virtual ~V(); // cause the definition of 'V' to be omitted by no-standalone-debug optimization151 static const int const_va = 42;152};153 154// const_va is not emitted for MS targets.155// NOT-MS: !DIDerivedType(tag: DW_TAG_member, name: "const_va",156// NOT-MS-SAME: line: [[@LINE-5]]157// NOT-MS-SAME: extraData: i32 42158const int V::const_va;159 160namespace x {161struct y {162// CHECK: !DIGlobalVariable(name: "z",163// CHECK-SAME: scope: [[NS_X:![0-9]+]]164// CHECK: [[NS_X]] = !DINamespace(name: "x"165 static int z;166};167int y::z;168}169