293 lines · cpp
1// Test without serialization:2// RUN: %clang_cc1 -std=c++23 -triple x86_64-linux-gnu -fcxx-exceptions -ast-dump %s \3// RUN: | FileCheck -strict-whitespace %s4//5// Test with serialization:6// RUN: %clang_cc1 -std=c++23 -triple x86_64-linux-gnu -fcxx-exceptions -emit-pch -o %t %s7// RUN: %clang_cc1 -x c++ -std=c++23 -triple x86_64-linux-gnu -fcxx-exceptions -include-pch %t -ast-dump-all /dev/null \8// RUN: | sed -e "s/ <undeserialized declarations>//" -e "s/ imported//" \9// RUN: | FileCheck -strict-whitespace %s10 11namespace n {12void function() {}13int Variable;14}15using n::function;16using n::Variable;17void TestFunction() {18 void (*f)() = &function;19// CHECK: DeclRefExpr{{.*}} (UsingShadow{{.*}}function20 Variable = 4;21// CHECK: DeclRefExpr{{.*}} (UsingShadow{{.*}}Variable22}23 24// CHECK: FunctionDecl {{.*}} TestCatch125void TestCatch1() {26// CHECK: CXXTryStmt27// CHECK-NEXT: CompoundStmt28 try {29 }30// CHECK-NEXT: CXXCatchStmt31// CHECK-NEXT: VarDecl {{.*}} x32// CHECK-NEXT: CompoundStmt33 catch (int x) {34 }35}36 37// CHECK: FunctionDecl {{.*}} TestCatch238void TestCatch2() {39// CHECK: CXXTryStmt40// CHECK-NEXT: CompoundStmt41 try {42 }43// CHECK-NEXT: CXXCatchStmt44// CHECK-NEXT: NULL45// CHECK-NEXT: CompoundStmt46 catch (...) {47 }48}49 50void TestAllocationExprs() {51 int *p;52 p = new int;53 delete p;54 p = new int[2];55 delete[] p;56 p = ::new int;57 ::delete p;58}59// CHECK: FunctionDecl {{.*}} TestAllocationExprs60// CHECK: CXXNewExpr {{.*}} 'int *' Function {{.*}} 'operator new'61// CHECK: CXXDeleteExpr {{.*}} 'void' Function {{.*}} 'operator delete'62// CHECK: CXXNewExpr {{.*}} 'int *' array Function {{.*}} 'operator new[]'63// CHECK: CXXDeleteExpr {{.*}} 'void' array Function {{.*}} 'operator delete[]'64// CHECK: CXXNewExpr {{.*}} 'int *' global Function {{.*}} 'operator new'65// CHECK: CXXDeleteExpr {{.*}} 'void' global Function {{.*}} 'operator delete'66 67// Don't crash on dependent exprs that haven't been resolved yet.68template <typename T>69void TestDependentAllocationExpr() {70 T *p = new T;71 delete p;72}73// CHECK: FunctionTemplateDecl {{.*}} TestDependentAllocationExpr74// CHECK: CXXNewExpr {{.*'T \*'$}}75// CHECK: CXXDeleteExpr {{.*'void'$}}76 77template <typename T>78class DependentScopeMemberExprWrapper {79 T member;80};81 82template <typename T>83void TestDependentScopeMemberExpr() {84 DependentScopeMemberExprWrapper<T> obj;85 obj.member = T();86 (&obj)->member = T();87}88// CHECK: FunctionTemplateDecl {{.*}} TestDependentScopeMemberExpr89// CHECK: CXXDependentScopeMemberExpr {{.*}} lvalue .member90// CHECK: CXXDependentScopeMemberExpr {{.*}} lvalue ->member91 92union U {93 int i;94 long l;95};96 97void TestUnionInitList()98{99 U us[3] = {1};100// CHECK: VarDecl {{.+}} <col:3, col:15> col:5 us 'U[3]' cinit101// CHECK-NEXT: `-InitListExpr {{.+}} <col:13, col:15> 'U[3]'102// CHECK-NEXT: |-array_filler: InitListExpr {{.+}} <col:15> 'U' field Field {{.+}} 'i' 'int'103// CHECK-NEXT: `-InitListExpr {{.+}} <col:14> 'U' field Field {{.+}} 'i' 'int'104// CHECK-NEXT: `-IntegerLiteral {{.+}} <col:14> 'int' 1105}106 107void TestSwitch(int i) {108 switch (int a; i)109 ;110 // CHECK: SwitchStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5> has_init111 // CHECK-NEXT: DeclStmt112 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:11, col:15> col:15 a 'int'113 // CHECK-NEXT: ImplicitCastExpr114 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:18> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'115 // CHECK-NEXT: NullStmt116}117 118void TestIf(bool b) {119 if (int i = 12; b)120 ;121 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5> has_init122 // CHECK-NEXT: DeclStmt123 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:7, col:15> col:11 i 'int' cinit124 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:15> 'int' 12125 // CHECK-NEXT: ImplicitCastExpr126 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:19> 'bool' lvalue ParmVar 0x{{[^ ]*}} 'b' 'bool'127 // CHECK-NEXT: NullStmt128 129 if constexpr (sizeof(b) == 1)130 ;131 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>132 // CHECK-NEXT: ConstantExpr 0x{{[^ ]*}} <line:[[@LINE-3]]:17, col:30> 'bool'133 // CHECK-NEXT: value: Int 1134 // CHECK-NEXT: BinaryOperator135 // CHECK-NEXT: UnaryExprOrTypeTraitExpr136 // CHECK-NEXT: ParenExpr137 // CHECK-NEXT: DeclRefExpr138 // CHECK-NEXT: ImplicitCastExpr139 // CHECK-NEXT: IntegerLiteral140 // CHECK-NEXT: NullStmt141 142 if constexpr (sizeof(b) == 1)143 ;144 else145 ;146 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-4]]:3, line:[[@LINE-1]]:5> has_else147 // CHECK-NEXT: ConstantExpr 0x{{[^ ]*}} <line:[[@LINE-5]]:17, col:30> 'bool'148 // CHECK-NEXT: value: Int 1149 // CHECK-NEXT: BinaryOperator150 // CHECK-NEXT: UnaryExprOrTypeTraitExpr151 // CHECK-NEXT: ParenExpr152 // CHECK-NEXT: DeclRefExpr153 // CHECK-NEXT: ImplicitCastExpr154 // CHECK-NEXT: IntegerLiteral155 // CHECK-NEXT: NullStmt156 // CHECK-NEXT: NullStmt157 158 if consteval {}159 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:17> consteval160 // CHECK-NEXT: CompoundStmt161 162 if ! consteval {}163 else {}164 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:9> has_else !consteval165 // CHECK-NEXT: CompoundStmt166 // CHECK-NEXT: CompoundStmt167}168 169struct Container {170 int *begin() const;171 int *end() const;172};173 174void TestIteration() {175 for (int i = 0; int j = i; ++i)176 ;177 // CHECK: ForStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>178 // CHECK-NEXT: DeclStmt179 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:16> col:12 used i 'int' cinit180 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:16> 'int' 0181 // CHECK-NEXT: DeclStmt182 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:19, col:27> col:23 used j 'int' cinit183 // CHECK-NEXT: ImplicitCastExpr184 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:27> 'int' lvalue Var 0x{{[^ ]*}} 'i' 'int'185 // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}} <col:23> 'bool' <IntegralToBoolean>186 // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}} <col:23> 'int' <LValueToRValue>187 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:23> 'int' lvalue Var 0x{{[^ ]*}} 'j' 'int'188 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:30, col:32> 'int' lvalue prefix '++'189 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:32> 'int' lvalue Var 0x{{[^ ]*}} 'i' 'int'190 // CHECK-NEXT: NullStmt191 192 int vals[10];193 for (int v : vals)194 ;195 // CHECK: CXXForRangeStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>196 // CHECK-NEXT: <<<NULL>>>197 // CHECK-NEXT: DeclStmt198 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:16> col:16 implicit used __range1 'int (&)[10]' cinit199 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:16> 'int[10]' lvalue Var 0x{{[^ ]*}} 'vals' 'int[10]'200 // CHECK-NEXT: DeclStmt201 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:14> col:14 implicit used __begin1 'int *' cinit202 // CHECK-NEXT: ImplicitCastExpr203 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int[10]' lvalue Var 0x{{[^ ]*}} '__range1' 'int (&)[10]'204 // CHECK-NEXT: DeclStmt205 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:14, col:16> col:14 implicit used __end1 'int *' cinit206 // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:14, col:16> 'int *' '+'207 // CHECK-NEXT: ImplicitCastExpr208 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int[10]' lvalue Var 0x{{[^ ]*}} '__range1' 'int (&)[10]'209 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:16> '__ptrdiff_t':'long' 10210 // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:14> 'bool' '!='211 // CHECK-NEXT: ImplicitCastExpr212 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'213 // CHECK-NEXT: ImplicitCastExpr214 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *' lvalue Var 0x{{[^ ]*}} '__end1' 'int *'215 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:14> 'int *' lvalue prefix '++'216 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'217 // CHECK-NEXT: DeclStmt218 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:14> col:12 v 'int' cinit219 // CHECK-NEXT: ImplicitCastExpr220 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:14> 'int' lvalue prefix '*' cannot overflow221 // CHECK-NEXT: ImplicitCastExpr222 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'223 // CHECK-NEXT: NullStmt224 225 Container C;226 for (int v : C)227 ;228 // CHECK: CXXForRangeStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>229 // CHECK-NEXT: <<<NULL>>>230 // CHECK-NEXT: DeclStmt231 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:16> col:16 implicit used __range1 'Container &' cinit232 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:16> 'Container' lvalue Var 0x{{[^ ]*}} 'C' 'Container'233 // CHECK-NEXT: DeclStmt234 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:14> col:14 implicit used __begin1 'int *' cinit235 // CHECK-NEXT: CXXMemberCallExpr 0x{{[^ ]*}} <col:14> 'int *'236 // CHECK-NEXT: MemberExpr 0x{{[^ ]*}} <col:14> '<bound member function type>' .begin 0x{{[^ ]*}}237 // CHECK-NEXT: ImplicitCastExpr238 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'Container' lvalue Var 0x{{[^ ]*}} '__range1' 'Container &'239 // CHECK-NEXT: DeclStmt240 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:14> col:14 implicit used __end1 'int *' cinit241 // CHECK-NEXT: CXXMemberCallExpr 0x{{[^ ]*}} <col:14> 'int *'242 // CHECK-NEXT: MemberExpr 0x{{[^ ]*}} <col:14> '<bound member function type>' .end 0x{{[^ ]*}}243 // CHECK-NEXT: ImplicitCastExpr244 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'Container' lvalue Var 0x{{[^ ]*}} '__range1' 'Container &'245 // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:14> 'bool' '!='246 // CHECK-NEXT: ImplicitCastExpr247 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'248 // CHECK-NEXT: ImplicitCastExpr249 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *' lvalue Var 0x{{[^ ]*}} '__end1' 'int *'250 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:14> 'int *' lvalue prefix '++'251 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'252 // CHECK-NEXT: DeclStmt253 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:14> col:12 v 'int' cinit254 // CHECK-NEXT: ImplicitCastExpr255 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:14> 'int' lvalue prefix '*' cannot overflow256 // CHECK-NEXT: ImplicitCastExpr257 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'258 // CHECK-NEXT: NullStmt259 260 for (int a; int v : vals)261 ;262 // CHECK: CXXForRangeStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>263 // CHECK-NEXT: DeclStmt264 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:12> col:12 a 'int'265 // CHECK-NEXT: DeclStmt266 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:23> col:23 implicit used __range1 'int (&)[10]' cinit267 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:23> 'int[10]' lvalue Var 0x{{[^ ]*}} 'vals' 'int[10]'268 // CHECK-NEXT: DeclStmt269 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:21> col:21 implicit used __begin1 'int *' cinit270 // CHECK-NEXT: ImplicitCastExpr271 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int[10]' lvalue Var 0x{{[^ ]*}} '__range1' 'int (&)[10]'272 // CHECK-NEXT: DeclStmt273 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:21, col:23> col:21 implicit used __end1 'int *' cinit274 // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:21, col:23> 'int *' '+'275 // CHECK-NEXT: ImplicitCastExpr276 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int[10]' lvalue Var 0x{{[^ ]*}} '__range1' 'int (&)[10]'277 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:23> '__ptrdiff_t':'long' 10278 // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:21> 'bool' '!='279 // CHECK-NEXT: ImplicitCastExpr280 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'281 // CHECK-NEXT: ImplicitCastExpr282 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int *' lvalue Var 0x{{[^ ]*}} '__end1' 'int *'283 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:21> 'int *' lvalue prefix '++'284 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'285 // CHECK-NEXT: DeclStmt286 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:15, col:21> col:19 v 'int' cinit287 // CHECK-NEXT: ImplicitCastExpr288 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:21> 'int' lvalue prefix '*' cannot overflow289 // CHECK-NEXT: ImplicitCastExpr290 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *'291 // CHECK-NEXT: NullStmt292}293