13459ce2eSDouglas Katzman // RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm -debug-info-kind=limited %s -o - | FileCheck %s
2d45ba252SAdrian Prantl
3d45ba252SAdrian Prantl struct A
4d45ba252SAdrian Prantl {
aA5d45ba252SAdrian Prantl void a(int c, ...) {}
6d45ba252SAdrian Prantl };
7d45ba252SAdrian Prantl
89dd4e4e6SDuncan P. N. Exon Smith // CHECK: !DISubprogram(name: "b", linkageName: "_Z1biz"
9f04be1fbSDuncan P. N. Exon Smith // CHECK-SAME: line: [[@LINE+2]]
10f04be1fbSDuncan P. N. Exon Smith // CHECK-SAME: type: ![[BTY:[0-9]+]]
b(int c,...)11d45ba252SAdrian Prantl void b(int c, ...) {
129dd4e4e6SDuncan P. N. Exon Smith // CHECK: ![[BTY]] = !DISubroutineType(types: ![[BARGS:[0-9]+]])
13b3a66691SDuncan P. N. Exon Smith // CHECK: ![[BARGS]] = !{null, !{{[0-9]+}}, null}
14d45ba252SAdrian Prantl
15*383f8413SDuncan P. N. Exon Smith // The subprogram "a" comes after "b" because the function comes later.
16*383f8413SDuncan P. N. Exon Smith // CHECK: !DISubprogram(name: "a", linkageName: "_ZN1A1aEiz"
17*383f8413SDuncan P. N. Exon Smith // CHECK-SAME: line: 5,
18*383f8413SDuncan P. N. Exon Smith // CHECK-SAME: type: ![[ATY:[0-9]+]]
19*383f8413SDuncan P. N. Exon Smith // CHECK: ![[ATY]] = !DISubroutineType(types: ![[AARGS:[0-9]+]])
20*383f8413SDuncan P. N. Exon Smith // We no longer use an explicit unspecified parameter. Instead we use a trailing null to mean the function is variadic.
21*383f8413SDuncan P. N. Exon Smith // CHECK: ![[AARGS]] = !{null, !{{[0-9]+}}, !{{[0-9]+}}, null}
22*383f8413SDuncan P. N. Exon Smith
23d45ba252SAdrian Prantl A a;
24d45ba252SAdrian Prantl
2538a7f11aSDuncan P. N. Exon Smith // CHECK: !DILocalVariable(name: "fptr"
26f04be1fbSDuncan P. N. Exon Smith // CHECK-SAME: line: [[@LINE+2]]
27f04be1fbSDuncan P. N. Exon Smith // CHECK-SAME: type: ![[PST:[0-9]+]]
28d45ba252SAdrian Prantl void (*fptr)(int, ...) = b;
299dd4e4e6SDuncan P. N. Exon Smith // CHECK: ![[PST]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: ![[BTY]],
30d45ba252SAdrian Prantl }
31