clang/test/CodeGenCXX/debug-info.cpp

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