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