1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -emit-llvm -o - %s -fexceptions -std=c++11 -debug-info-kind=limited | FileCheck %s
2
__anon5fbcfc160102(int i) 3 auto var = [](int i) { return i+1; };
4 void *use = &var;
5
__anon5fbcfc160202null6 extern "C" auto cvar = []{};
7
a()8 int a() { return []{ return 1; }(); }
9
b(int x)10 int b(int x) { return [x]{return x;}(); }
11
c(int x)12 int c(int x) { return [&x]{return x;}(); }
13
14 struct D { D(); D(const D&); int x; };
__anon5fbcfc160602null15 int d(int x) { D y[10]; return [x,y] { return y[x].x; }(); }
16
17 // Randomness for file. -- 6
18
19 // VAR:
20 // CHECK: !DIGlobalVariable(name: "var"
21 // CHECK-SAME: line: [[VAR_LINE:[0-9]+]]
22 // CHECK-SAME: type: ![[VAR_T:[0-9]+]]
23
24 // CHECK: [[FILE:.*]] = !DIFile(filename: "{{.*}}debug-lambda-expressions.cpp",
25
26 // CVAR:
27 // CHECK: !DIGlobalVariable(name: "cvar"
28 // CHECK-SAME: line: [[CVAR_LINE:[0-9]+]]
29 // CHECK-SAME: type: ![[CVAR_T:[0-9]+]]
30 // CHECK: ![[CVAR_T]] = distinct !DICompositeType(tag: DW_TAG_class_type
31 // CHECK-SAME: line: [[CVAR_LINE]],
32 // CHECK-SAME: elements: ![[CVAR_ARGS:[0-9]+]]
33 // CHECK: ![[CVAR_ARGS]] = !{!{{[0-9]+}}}
34
35 // CHECK: ![[VAR_T]] = distinct !DICompositeType(tag: DW_TAG_class_type
36 // CHECK-SAME: line: [[VAR_LINE]],
37 // CHECK-SAME: elements: ![[VAR_ARGS:[0-9]+]]
38 // CHECK: ![[VAR_ARGS]] = !{!{{[0-9]+}}}
39
40 // CHECK: ![[INT:[0-9]+]] = !DIBasicType(name: "int"
41
42 // A: 10
43 // CHECK: ![[A_FUNC:.*]] = distinct !DISubprogram(name: "a"{{.*}}, line: [[A_LINE:[0-9]+]]{{.*}} DISPFlagDefinition
44
45 // Back to A. -- 78
46 // CHECK: ![[LAM_A:.*]] = distinct !DICompositeType(tag: DW_TAG_class_type{{.*}}, scope: ![[A_FUNC]]{{.*}}, line: [[A_LINE]],
47 // CHECK-SAME: elements: ![[LAM_A_ARGS:[0-9]+]]
48 // CHECK: ![[LAM_A_ARGS]] = !{![[CON_LAM_A:[0-9]+]]}
49 // CHECK: ![[CON_LAM_A]] = !DISubprogram(name: "operator()"
50 // CHECK-SAME: scope: ![[LAM_A]]
51 // CHECK-SAME: line: [[A_LINE]]
52 // CHECK-SAME: DIFlagPublic
53
54 // B: 14
55 // CHECK: ![[B_FUNC:.*]] = distinct !DISubprogram(name: "b"{{.*}}, line: [[B_LINE:[0-9]+]]{{.*}} DISPFlagDefinition
56
57 // Back to B. -- 67
58 // CHECK: ![[LAM_B:.*]] = distinct !DICompositeType(tag: DW_TAG_class_type{{.*}}, scope: ![[B_FUNC]]{{.*}}, line: [[B_LINE]],
59 // CHECK-SAME: elements: ![[LAM_B_ARGS:[0-9]+]]
60 // CHECK: ![[LAM_B_ARGS]] = !{![[CAP_B:[0-9]+]], ![[CON_LAM_B:[0-9]+]]}
61 // CHECK: ![[CAP_B]] = !DIDerivedType(tag: DW_TAG_member, name: "x"
62 // CHECK-SAME: scope: ![[LAM_B]]
63 // CHECK-SAME: line: [[B_LINE]],
64 // CHECK-SAME: baseType: ![[INT]]
65 // CHECK: ![[CON_LAM_B]] = !DISubprogram(name: "operator()"
66 // CHECK-SAME: scope: ![[LAM_B]]
67 // CHECK-SAME: line: [[B_LINE]]
68 // CHECK-SAME: DIFlagPublic
69
70 // C: 17
71 // CHECK: ![[C_FUNC:.*]] = distinct !DISubprogram(name: "c"{{.*}}, line: [[C_LINE:[0-9]+]]{{.*}} DISPFlagDefinition
72
73 // Back to C. -- 55
74 // CHECK: ![[LAM_C:.*]] = distinct !DICompositeType(tag: DW_TAG_class_type{{.*}}, scope: ![[C_FUNC]]{{.*}}, line: [[C_LINE]],
75 // CHECK-SAME: elements: ![[LAM_C_ARGS:[0-9]+]]
76 // CHECK: ![[LAM_C_ARGS]] = !{![[CAP_C:[0-9]+]], ![[CON_LAM_C:[0-9]+]]}
77 // CHECK: ![[CAP_C]] = !DIDerivedType(tag: DW_TAG_member, name: "x"
78 // CHECK-SAME: scope: ![[LAM_C]]
79 // CHECK-SAME: line: [[C_LINE]],
80 // CHECK-SAME: baseType: ![[TYPE_C_x:[0-9]+]]
81 // CHECK: ![[TYPE_C_x]] = !DIDerivedType(tag: DW_TAG_reference_type, baseType: ![[INT]]
82 // CHECK: ![[CON_LAM_C]] = !DISubprogram(name: "operator()"
83 // CHECK-SAME: scope: ![[LAM_C]]
84 // CHECK-SAME: line: [[C_LINE]]
85 // CHECK-SAME: DIFlagPublic
86
87 // D: 18
88 // CHECK: ![[D_FUNC:.*]] = distinct !DISubprogram(name: "d"{{.*}}, line: [[D_LINE:[0-9]+]]{{.*}} DISPFlagDefinition
89
90 // Back to D. -- 24
91 // CHECK: ![[LAM_D:.*]] = distinct !DICompositeType(tag: DW_TAG_class_type{{.*}}, scope: ![[D_FUNC]]{{.*}}, line: [[D_LINE]],
92 // CHECK-SAME: elements: ![[LAM_D_ARGS:[0-9]+]]
93 // CHECK: ![[LAM_D_ARGS]] = !{![[CAP_D_X:[0-9]+]], ![[CAP_D_Y:[0-9]+]], ![[CON_LAM_D:[0-9]+]]}
94 // CHECK: ![[CAP_D_X]] = !DIDerivedType(tag: DW_TAG_member, name: "x"
95 // CHECK-SAME: scope: ![[LAM_D]]
96 // CHECK-SAME: line: [[D_LINE]],
97 // CHECK: ![[CAP_D_Y]] = !DIDerivedType(tag: DW_TAG_member, name: "y"
98 // CHECK-SAME: scope: ![[LAM_D]]
99 // CHECK-SAME: line: [[D_LINE]],
100 // CHECK: ![[CON_LAM_D]] = !DISubprogram(name: "operator()"
101 // CHECK-SAME: scope: ![[LAM_D]]
102 // CHECK-SAME: line: [[D_LINE]]
103 // CHECK-SAME: DIFlagPublic
104