173
|
1 // Test for DebugInfo for Defaulted parameters for C++ templates
|
|
2 // Supported: -O0, standalone DI
|
|
3
|
|
4 // RUN: %clang_cc1 -dwarf-version=5 -emit-llvm -triple x86_64-linux-gnu %s -o - \
|
|
5 // RUN: -O0 -disable-llvm-passes \
|
|
6 // RUN: -debug-info-kind=standalone \
|
|
7 // RUN: | FileCheck %s
|
|
8
|
|
9 // CHECK: DILocalVariable(name: "f1", {{.*}}, type: ![[TEMPLATE_TYPE:[0-9]+]]
|
|
10 // CHECK: [[TEMPLATE_TYPE]] = {{.*}}!DICompositeType({{.*}}, templateParams: ![[F1_TYPE:[0-9]+]]
|
|
11 // CHECK: [[F1_TYPE]] = !{![[FIRST:[0-9]+]], ![[SECOND:[0-9]+]], ![[THIRD:[0-9]+]], ![[FORTH:[0-9]+]]}
|
|
12 // CHECK: [[FIRST]] = !DITemplateTypeParameter(name: "T", type: !{{[0-9]*}})
|
|
13 // CHECK: [[SECOND]] = !DITemplateValueParameter(name: "i", type: !{{[0-9]*}}, value: i32 6)
|
|
14 // CHECK: [[THIRD]] = !DITemplateValueParameter(name: "b", type: !{{[0-9]*}}, value: i8 0)
|
|
15
|
|
16 // CHECK: DILocalVariable(name: "f2", {{.*}}, type: ![[TEMPLATE_TYPE:[0-9]+]]
|
|
17 // CHECK: [[TEMPLATE_TYPE]] = {{.*}}!DICompositeType({{.*}}, templateParams: ![[F2_TYPE:[0-9]+]]
|
|
18 // CHECK: [[F2_TYPE]] = !{![[FIRST:[0-9]+]], ![[SECOND:[0-9]+]], ![[THIRD:[0-9]+]], ![[FORTH:[0-9]+]]}
|
|
19 // CHECK: [[FIRST]] = !DITemplateTypeParameter(name: "T", type: !{{[0-9]*}}, defaulted: true)
|
|
20 // CHECK: [[SECOND]] = !DITemplateValueParameter(name: "i", type: !{{[0-9]*}}, defaulted: true, value: i32 3)
|
|
21 // CHECK: [[THIRD]] = !DITemplateValueParameter(name: "b", type: !{{[0-9]*}}, defaulted: true, value: i8 1)
|
|
22
|
|
23 template <typename T = char, int i = 3, bool b = true, int x = sizeof(T)>
|
|
24 class foo {
|
|
25 };
|
|
26
|
|
27 int main() {
|
|
28 foo<int, 6, false, 3> f1;
|
|
29 foo<> f2;
|
|
30 return 0;
|
|
31 }
|