aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGenCXX/debug-info-varargs.cpp
blob: edcb0e5a53d4ddc374bbe0d0613cd72b0679dbac (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
// RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm -g %s -o - | FileCheck %s

struct A
{
  // CHECK: !DISubprogram(name: "a", linkageName: "_ZN1A1aEiz"
  // CHECK-SAME:          line: [[@LINE+2]]
  // CHECK-SAME:          type: ![[ATY:[0-9]+]]
  void a(int c, ...) {}
  // CHECK: ![[ATY]] = !DISubroutineType(types: ![[AARGS:[0-9]+]])
  // We no longer use an explicit unspecified parameter. Instead we use a trailing null to mean the function is variadic.
  // CHECK: ![[AARGS]] = !{null, !{{[0-9]+}}, !{{[0-9]+}}, null}
};

  // CHECK: !DISubprogram(name: "b", linkageName: "_Z1biz"
  // CHECK-SAME:          line: [[@LINE+2]]
  // CHECK-SAME:          type: ![[BTY:[0-9]+]]
void b(int c, ...) {
  // CHECK: ![[BTY]] = !DISubroutineType(types: ![[BARGS:[0-9]+]])
  // CHECK: ![[BARGS]] = !{null, !{{[0-9]+}}, null}

  A a;

  // CHECK: !DILocalVariable(tag: DW_TAG_auto_variable, name: "fptr"
  // CHECK-SAME:             line: [[@LINE+2]]
  // CHECK-SAME:             type: ![[PST:[0-9]+]]
  void (*fptr)(int, ...) = b;
  // CHECK: ![[PST]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: ![[BTY]],
}