hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept unnamed-function changes to tests

Browse Source
This commit is contained in:
Ian Lynagh
2020-10-13 23:52:33 +01:00
parent b409cf6cea
commit 7680080701
5 changed files with 168 additions and 168 deletions
Download Patch File Download Diff File Expand all files Collapse all files

48
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -8459,15 +8459,15 @@ ir.cpp:
# 1038| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1038, col. 12 &
# 1038| [CopyConstructor] void (lambda [] type at line 1038, col. 12)::(constructor)((lambda [] type at line 1038, col. 12) const&)
# 1038| [CopyConstructor] void (lambda [] type at line 1038, col. 12)::(unnamed constructor)((lambda [] type at line 1038, col. 12) const&)
# 1038| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1038, col. 12 &
# 1038| [MoveConstructor] void (lambda [] type at line 1038, col. 12)::(constructor)((lambda [] type at line 1038, col. 12)&&)
# 1038| [MoveConstructor] void (lambda [] type at line 1038, col. 12)::(unnamed constructor)((lambda [] type at line 1038, col. 12)&&)
# 1038| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] lambda [] type at line 1038, col. 12 &&
# 1038| [Constructor] void (lambda [] type at line 1038, col. 12)::(constructor)()
# 1038| [Constructor] void (lambda [] type at line 1038, col. 12)::(unnamed constructor)()
# 1038| params:
# 1038| [MemberFunction] void (lambda [] type at line 1038, col. 12)::_FUN()
# 1038| params:
@@ -8789,15 +8789,15 @@ ir.cpp:
# 1041| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1041, col. 23 &
# 1041| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23) const&)
# 1041| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23) const&)
# 1041| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1041, col. 23 &
# 1041| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)&&)
# 1041| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)&&)
# 1041| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] lambda [] type at line 1041, col. 23 &&
# 1041| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(constructor)()
# 1041| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(unnamed constructor)()
# 1041| params:
# 1041| [MemberFunction] char (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::_FUN(float)
# 1041| params:
@@ -8824,15 +8824,15 @@ ir.cpp:
# 1043| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1043, col. 21 &
# 1043| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21) const&)
# 1043| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21) const&)
# 1043| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1043, col. 21 &
# 1043| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)&&)
# 1043| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)&&)
# 1043| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] lambda [] type at line 1043, col. 21 &&
# 1043| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(constructor)()
# 1043| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(unnamed constructor)()
# 1043| params:
# 1043| [ConstMemberFunction] char (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::operator()(float) const
# 1043| params:
@@ -8868,15 +8868,15 @@ ir.cpp:
# 1045| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1045, col. 21 &
# 1045| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21) const&)
# 1045| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21) const&)
# 1045| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1045, col. 21 &
# 1045| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)&&)
# 1045| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)&&)
# 1045| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] lambda [] type at line 1045, col. 21 &&
# 1045| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(constructor)()
# 1045| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(unnamed constructor)()
# 1045| params:
# 1045| [Destructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::~<unnamed>()
# 1045| params:
@@ -8920,15 +8920,15 @@ ir.cpp:
# 1047| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1047, col. 30 &
# 1047| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30) const&)
# 1047| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30) const&)
# 1047| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1047, col. 30 &
# 1047| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)&&)
# 1047| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)&&)
# 1047| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] lambda [] type at line 1047, col. 30 &&
# 1047| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(constructor)()
# 1047| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(unnamed constructor)()
# 1047| params:
# 1047| [ConstMemberFunction] char (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::operator()(float) const
# 1047| params:
@@ -8959,15 +8959,15 @@ ir.cpp:
# 1049| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1049, col. 30 &
# 1049| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30) const&)
# 1049| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30) const&)
# 1049| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1049, col. 30 &
# 1049| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)&&)
# 1049| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)&&)
# 1049| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] lambda [] type at line 1049, col. 30 &&
# 1049| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(constructor)()
# 1049| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(unnamed constructor)()
# 1049| params:
# 1049| [Destructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::~<unnamed>()
# 1049| params:
@@ -9009,15 +9009,15 @@ ir.cpp:
# 1051| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1051, col. 32 &
# 1051| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32) const&)
# 1051| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32) const&)
# 1051| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1051, col. 32 &
# 1051| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)&&)
# 1051| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)&&)
# 1051| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] lambda [] type at line 1051, col. 32 &&
# 1051| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(constructor)()
# 1051| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(unnamed constructor)()
# 1051| params:
# 1051| [ConstMemberFunction] char (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::operator()(float) const
# 1051| params:
@@ -9050,15 +9050,15 @@ ir.cpp:
# 1054| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1054, col. 23 &
# 1054| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23) const&)
# 1054| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23) const&)
# 1054| params:
#-----| 0: [Parameter] p#0
#-----| Type = [LValueReferenceType] const lambda [] type at line 1054, col. 23 &
# 1054| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)&&)
# 1054| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)&&)
# 1054| params:
#-----| 0: [Parameter] p#0
#-----| Type = [RValueReferenceType] lambda [] type at line 1054, col. 23 &&
# 1054| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(constructor)()
# 1054| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(unnamed constructor)()
# 1054| params:
# 1054| [ConstMemberFunction] char (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::operator()(float) const
# 1054| params:

18
cpp/ql/test/library-tests/lambdas/calling_conv/calling_conv.expected
View File

@@ -1,17 +1,17 @@
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| gnu.cpp:1:13:1:15 | gnu |
| gnu.cpp:2:28:2:28 | (constructor) |
| gnu.cpp:2:28:2:28 | (constructor) |
| gnu.cpp:2:28:2:28 | (constructor) |
| gnu.cpp:2:28:2:28 | (unnamed constructor) |
| gnu.cpp:2:28:2:28 | (unnamed constructor) |
| gnu.cpp:2:28:2:28 | (unnamed constructor) |
| gnu.cpp:2:28:2:28 | operator= |
| gnu.cpp:2:30:2:30 | _FUN |
| gnu.cpp:2:30:2:30 | operator auto (*)(int &)->int |
| gnu.cpp:2:30:2:30 | operator() |
| ms32.cpp:1:13:1:16 | ms32 |
| ms32.cpp:2:28:2:28 | (constructor) |
| ms32.cpp:2:28:2:28 | (constructor) |
| ms32.cpp:2:28:2:28 | (constructor) |
| ms32.cpp:2:28:2:28 | (unnamed constructor) |
| ms32.cpp:2:28:2:28 | (unnamed constructor) |
| ms32.cpp:2:28:2:28 | (unnamed constructor) |
| ms32.cpp:2:28:2:28 | operator= |
| ms32.cpp:2:30:2:30 | _FUN__cdecl |
| ms32.cpp:2:30:2:30 | _FUN__fastcall |
@@ -23,9 +23,9 @@
| ms32.cpp:2:30:2:30 | operator auto (__vectorcall *)(int &)->int |
| ms32.cpp:2:30:2:30 | operator() |
| ms.cpp:1:13:1:14 | ms |
| ms.cpp:2:28:2:28 | (constructor) |
| ms.cpp:2:28:2:28 | (constructor) |
| ms.cpp:2:28:2:28 | (constructor) |
| ms.cpp:2:28:2:28 | (unnamed constructor) |
| ms.cpp:2:28:2:28 | (unnamed constructor) |
| ms.cpp:2:28:2:28 | (unnamed constructor) |
| ms.cpp:2:28:2:28 | operator= |
| ms.cpp:2:30:2:30 | _FUN |
| ms.cpp:2:30:2:30 | _FUN__vectorcall |

60
cpp/ql/test/library-tests/lambdas/captures/elements.expected
View File

@@ -10,12 +10,12 @@
| captures.cpp:2:14:2:14 | definition of x |
| captures.cpp:2:14:2:14 | x |
| captures.cpp:2:17:6:3 | { ... } |
| captures.cpp:3:5:3:5 | (constructor) |
| captures.cpp:3:5:3:5 | (constructor) |
| captures.cpp:3:5:3:5 | (constructor) |
| captures.cpp:3:5:3:5 | declaration of (constructor) |
| captures.cpp:3:5:3:5 | declaration of (constructor) |
| captures.cpp:3:5:3:5 | definition of (constructor) |
| captures.cpp:3:5:3:5 | (unnamed constructor) |
| captures.cpp:3:5:3:5 | (unnamed constructor) |
| captures.cpp:3:5:3:5 | (unnamed constructor) |
| captures.cpp:3:5:3:5 | declaration of (unnamed constructor) |
| captures.cpp:3:5:3:5 | declaration of (unnamed constructor) |
| captures.cpp:3:5:3:5 | definition of (unnamed constructor) |
| captures.cpp:3:5:3:5 | definition of operator= |
| captures.cpp:3:5:3:5 | operator= |
| captures.cpp:3:5:5:5 | [...](...){...} |
@@ -47,12 +47,12 @@
| captures.cpp:8:14:8:14 | definition of x |
| captures.cpp:8:14:8:14 | x |
| captures.cpp:8:17:12:3 | { ... } |
| captures.cpp:9:5:9:5 | (constructor) |
| captures.cpp:9:5:9:5 | (constructor) |
| captures.cpp:9:5:9:5 | (constructor) |
| captures.cpp:9:5:9:5 | declaration of (constructor) |
| captures.cpp:9:5:9:5 | declaration of (constructor) |
| captures.cpp:9:5:9:5 | definition of (constructor) |
| captures.cpp:9:5:9:5 | (unnamed constructor) |
| captures.cpp:9:5:9:5 | (unnamed constructor) |
| captures.cpp:9:5:9:5 | (unnamed constructor) |
| captures.cpp:9:5:9:5 | declaration of (unnamed constructor) |
| captures.cpp:9:5:9:5 | declaration of (unnamed constructor) |
| captures.cpp:9:5:9:5 | definition of (unnamed constructor) |
| captures.cpp:9:5:9:5 | definition of operator= |
| captures.cpp:9:5:9:5 | operator= |
| captures.cpp:9:5:11:5 | [...](...){...} |
@@ -84,12 +84,12 @@
| captures.cpp:14:21:14:21 | definition of x |
| captures.cpp:14:21:14:21 | x |
| captures.cpp:14:24:18:3 | { ... } |
| captures.cpp:15:5:15:5 | (constructor) |
| captures.cpp:15:5:15:5 | (constructor) |
| captures.cpp:15:5:15:5 | (constructor) |
| captures.cpp:15:5:15:5 | declaration of (constructor) |
| captures.cpp:15:5:15:5 | declaration of (constructor) |
| captures.cpp:15:5:15:5 | definition of (constructor) |
| captures.cpp:15:5:15:5 | (unnamed constructor) |
| captures.cpp:15:5:15:5 | (unnamed constructor) |
| captures.cpp:15:5:15:5 | (unnamed constructor) |
| captures.cpp:15:5:15:5 | declaration of (unnamed constructor) |
| captures.cpp:15:5:15:5 | declaration of (unnamed constructor) |
| captures.cpp:15:5:15:5 | definition of (unnamed constructor) |
| captures.cpp:15:5:15:5 | definition of operator= |
| captures.cpp:15:5:15:5 | operator= |
| captures.cpp:15:5:17:5 | [...](...){...} |
@@ -122,16 +122,16 @@
| captures.cpp:22:18:24:3 | initializer for myLambda |
| captures.cpp:22:18:24:3 | y |
| captures.cpp:22:18:24:3 | {...} |
| captures.cpp:22:19:22:19 | (constructor) |
| captures.cpp:22:19:22:19 | (constructor) |
| captures.cpp:22:19:22:19 | (constructor) |
| captures.cpp:22:19:22:19 | (unnamed constructor) |
| captures.cpp:22:19:22:19 | (unnamed constructor) |
| captures.cpp:22:19:22:19 | (unnamed constructor) |
| captures.cpp:22:19:22:19 | Unknown literal |
| captures.cpp:22:19:22:19 | Unknown literal |
| captures.cpp:22:19:22:19 | constructor init of field x |
| captures.cpp:22:19:22:19 | constructor init of field y |
| captures.cpp:22:19:22:19 | declaration of (constructor) |
| captures.cpp:22:19:22:19 | definition of (constructor) |
| captures.cpp:22:19:22:19 | definition of (constructor) |
| captures.cpp:22:19:22:19 | declaration of (unnamed constructor) |
| captures.cpp:22:19:22:19 | definition of (unnamed constructor) |
| captures.cpp:22:19:22:19 | definition of (unnamed constructor) |
| captures.cpp:22:19:22:19 | definition of operator= |
| captures.cpp:22:19:22:19 | operator= |
| captures.cpp:22:19:22:19 | return ... |
@@ -182,14 +182,14 @@
| end_pos.cpp:9:14:11:5 | [...](...){...} |
| end_pos.cpp:9:14:11:5 | initializer for fp |
| end_pos.cpp:9:14:11:5 | {...} |
| end_pos.cpp:9:15:9:15 | (constructor) |
| end_pos.cpp:9:15:9:15 | (constructor) |
| end_pos.cpp:9:15:9:15 | (constructor) |
| end_pos.cpp:9:15:9:15 | (unnamed constructor) |
| end_pos.cpp:9:15:9:15 | (unnamed constructor) |
| end_pos.cpp:9:15:9:15 | (unnamed constructor) |
| end_pos.cpp:9:15:9:15 | Unknown literal |
| end_pos.cpp:9:15:9:15 | constructor init of field ii |
| end_pos.cpp:9:15:9:15 | declaration of (constructor) |
| end_pos.cpp:9:15:9:15 | definition of (constructor) |
| end_pos.cpp:9:15:9:15 | definition of (constructor) |
| end_pos.cpp:9:15:9:15 | declaration of (unnamed constructor) |
| end_pos.cpp:9:15:9:15 | definition of (unnamed constructor) |
| end_pos.cpp:9:15:9:15 | definition of (unnamed constructor) |
| end_pos.cpp:9:15:9:15 | definition of operator= |
| end_pos.cpp:9:15:9:15 | operator= |
| end_pos.cpp:9:15:9:15 | return ... |

206
cpp/ql/test/library-tests/lambdas/cfg/cfg.expected
View File

@@ -1,103 +1,103 @@
| <no scope> | false | 154 | 154 | (constructor) |
| <no scope> | false | 157 | 157 | (constructor) |
| <no scope> | false | 164 | 164 | return ... |
| <no scope> | false | 166 | 166 | { ... } |
| <no scope> | false | 167 | 167 | operator= |
| <no scope> | false | 173 | 173 | (constructor) |
| <no scope> | false | 175 | 175 | _FUN |
| <no scope> | false | 184 | 184 | operator auto (*)(int, int)->int |
| <no scope> | false | 190 | 190 | _FUN |
| <no scope> | false | 192 | 192 | return ... |
| <no scope> | false | 194 | 194 | { ... } |
| <no scope> | false | 195 | 195 | operator() |
| <no scope> | false | 206 | 206 | declaration |
| <no scope> | false | 212 | 212 | call to printf |
| <no scope> | false | 220 | 220 | Running with %d and %d\n |
| <no scope> | false | 221 | 221 | array to pointer conversion |
| <no scope> | false | 222 | 222 | (char *)... |
| <no scope> | false | 223 | 223 | x |
| <no scope> | false | 225 | 225 | y |
| <no scope> | false | 227 | 227 | ExprStmt |
| <no scope> | false | 232 | 232 | z |
| <no scope> | false | 234 | 234 | x |
| <no scope> | false | 236 | 236 | y |
| <no scope> | false | 238 | 238 | ... + ... |
| <no scope> | false | 240 | 240 | ... = ... |
| <no scope> | false | 242 | 242 | ExprStmt |
| <no scope> | false | 244 | 244 | call to printf |
| <no scope> | false | 250 | 250 | Returning %d %d\n |
| <no scope> | false | 251 | 251 | array to pointer conversion |
| <no scope> | false | 252 | 252 | (char *)... |
| <no scope> | false | 253 | 253 | z |
| <no scope> | false | 255 | 255 | z |
| <no scope> | false | 257 | 257 | ExprStmt |
| <no scope> | false | 259 | 259 | z |
| <no scope> | false | 261 | 261 | return ... |
| <no scope> | false | 263 | 263 | { ... } |
| <no scope> | true | 164 | 157 | |
| <no scope> | true | 166 | 164 | |
| <no scope> | true | 190 | 184 | |
| <no scope> | true | 192 | 190 | |
| <no scope> | true | 194 | 192 | |
| <no scope> | true | 206 | 227 | |
| <no scope> | true | 212 | 242 | |
| <no scope> | true | 220 | 223 | |
| <no scope> | true | 223 | 225 | |
| <no scope> | true | 225 | 212 | |
| <no scope> | true | 227 | 220 | |
| <no scope> | true | 232 | 240 | |
| <no scope> | true | 234 | 236 | |
| <no scope> | true | 236 | 238 | |
| <no scope> | true | 238 | 232 | |
| <no scope> | true | 240 | 257 | |
| <no scope> | true | 242 | 234 | |
| <no scope> | true | 244 | 261 | |
| <no scope> | true | 250 | 253 | |
| <no scope> | true | 253 | 255 | |
| <no scope> | true | 255 | 244 | |
| <no scope> | true | 257 | 250 | |
| <no scope> | true | 259 | 195 | |
| <no scope> | true | 261 | 259 | |
| <no scope> | true | 263 | 206 | |
| __va_list_tag::operator= | false | 92 | 92 | operator= |
| __va_list_tag::operator= | false | 99 | 99 | operator= |
| main | false | 147 | 147 | main |
| main | false | 269 | 269 | declaration |
| main | false | 271 | 271 | call to printf |
| main | false | 277 | 277 | Some results: %d %d\n |
| main | false | 278 | 278 | array to pointer conversion |
| main | false | 279 | 279 | (char *)... |
| main | false | 282 | 282 | call to operator() |
| main | false | 285 | 285 | [...](...){...} |
| main | false | 287 | 287 | initializer for myLambda |
| main | false | 291 | 291 | myLambda |
| main | false | 293 | 293 | (const lambda [] type at line 12, col. 21)... |
| main | false | 296 | 296 | 5 |
| main | false | 299 | 299 | 6 |
| main | false | 300 | 300 | call to operator() |
| main | false | 302 | 302 | myLambda |
| main | false | 304 | 304 | (const lambda [] type at line 12, col. 21)... |
| main | false | 307 | 307 | 7 |
| main | false | 310 | 310 | 8 |
| main | false | 311 | 311 | ExprStmt |
| main | false | 315 | 315 | 0 |
| main | false | 316 | 316 | return ... |
| main | false | 318 | 318 | { ... } |
| main | true | 269 | 287 | |
| main | true | 271 | 316 | |
| main | true | 277 | 296 | |
| main | true | 282 | 307 | |
| main | true | 285 | 311 | |
| main | true | 287 | 285 | |
| main | true | 291 | 282 | |
| main | true | 296 | 299 | |
| main | true | 299 | 291 | |
| main | true | 300 | 271 | |
| main | true | 302 | 300 | |
| main | true | 307 | 310 | |
| main | true | 310 | 302 | |
| main | true | 311 | 277 | |
| main | true | 315 | 147 | |
| main | true | 316 | 315 | |
| main | true | 318 | 269 | |
| printf | false | 209 | 209 | printf |
| <no scope> | false | 132 | 132 | (unnamed constructor) |
| <no scope> | false | 134 | 134 | (unnamed constructor) |
| <no scope> | false | 143 | 143 | return ... |
| <no scope> | false | 145 | 145 | { ... } |
| <no scope> | false | 146 | 146 | operator= |
| <no scope> | false | 154 | 154 | (unnamed constructor) |
| <no scope> | false | 156 | 156 | _FUN |
| <no scope> | false | 165 | 165 | operator auto (*)(int, int)->int |
| <no scope> | false | 172 | 172 | return ... |
| <no scope> | false | 174 | 174 | _FUN |
| <no scope> | false | 176 | 176 | { ... } |
| <no scope> | false | 180 | 180 | operator() |
| <no scope> | false | 188 | 188 | declaration |
| <no scope> | false | 193 | 193 | ExprStmt |
| <no scope> | false | 199 | 199 | call to printf |
| <no scope> | false | 203 | 203 | Running with %d and %d\n |
| <no scope> | false | 208 | 208 | array to pointer conversion |
| <no scope> | false | 209 | 209 | (char *)... |
| <no scope> | false | 210 | 210 | x |
| <no scope> | false | 212 | 212 | y |
| <no scope> | false | 214 | 214 | ExprStmt |
| <no scope> | false | 216 | 216 | z |
| <no scope> | false | 218 | 218 | x |
| <no scope> | false | 220 | 220 | y |
| <no scope> | false | 222 | 222 | ... + ... |
| <no scope> | false | 224 | 224 | ... = ... |
| <no scope> | false | 226 | 226 | ExprStmt |
| <no scope> | false | 228 | 228 | call to printf |
| <no scope> | false | 232 | 232 | Returning %d %d\n |
| <no scope> | false | 235 | 235 | array to pointer conversion |
| <no scope> | false | 236 | 236 | (char *)... |
| <no scope> | false | 237 | 237 | z |
| <no scope> | false | 239 | 239 | z |
| <no scope> | false | 241 | 241 | return ... |
| <no scope> | false | 243 | 243 | z |
| <no scope> | false | 245 | 245 | { ... } |
| <no scope> | true | 143 | 134 | |
| <no scope> | true | 145 | 143 | |
| <no scope> | true | 172 | 174 | |
| <no scope> | true | 174 | 165 | |
| <no scope> | true | 176 | 172 | |
| <no scope> | true | 188 | 193 | |
| <no scope> | true | 193 | 203 | |
| <no scope> | true | 199 | 214 | |
| <no scope> | true | 203 | 210 | |
| <no scope> | true | 210 | 212 | |
| <no scope> | true | 212 | 199 | |
| <no scope> | true | 214 | 218 | |
| <no scope> | true | 216 | 224 | |
| <no scope> | true | 218 | 220 | |
| <no scope> | true | 220 | 222 | |
| <no scope> | true | 222 | 216 | |
| <no scope> | true | 224 | 226 | |
| <no scope> | true | 226 | 232 | |
| <no scope> | true | 228 | 241 | |
| <no scope> | true | 232 | 237 | |
| <no scope> | true | 237 | 239 | |
| <no scope> | true | 239 | 228 | |
| <no scope> | true | 241 | 243 | |
| <no scope> | true | 243 | 180 | |
| <no scope> | true | 245 | 188 | |
| __va_list_tag::operator= | false | 57 | 57 | operator= |
| __va_list_tag::operator= | false | 63 | 63 | operator= |
| main | false | 126 | 126 | main |
| main | false | 251 | 251 | declaration |
| main | false | 254 | 254 | [...](...){...} |
| main | false | 256 | 256 | initializer for myLambda |
| main | false | 260 | 260 | ExprStmt |
| main | false | 262 | 262 | call to printf |
| main | false | 266 | 266 | Some results: %d %d\n |
| main | false | 269 | 269 | array to pointer conversion |
| main | false | 270 | 270 | (char *)... |
| main | false | 273 | 273 | call to operator() |
| main | false | 275 | 275 | myLambda |
| main | false | 277 | 277 | (const lambda [] type at line 12, col. 21)... |
| main | false | 280 | 280 | 5 |
| main | false | 283 | 283 | 6 |
| main | false | 284 | 284 | call to operator() |
| main | false | 286 | 286 | myLambda |
| main | false | 288 | 288 | (const lambda [] type at line 12, col. 21)... |
| main | false | 291 | 291 | 7 |
| main | false | 294 | 294 | 8 |
| main | false | 295 | 295 | return ... |
| main | false | 299 | 299 | 0 |
| main | false | 300 | 300 | { ... } |
| main | true | 251 | 256 | |
| main | true | 254 | 260 | |
| main | true | 256 | 254 | |
| main | true | 260 | 266 | |
| main | true | 262 | 295 | |
| main | true | 266 | 280 | |
| main | true | 273 | 291 | |
| main | true | 275 | 273 | |
| main | true | 280 | 283 | |
| main | true | 283 | 275 | |
| main | true | 284 | 262 | |
| main | true | 286 | 284 | |
| main | true | 291 | 294 | |
| main | true | 294 | 286 | |
| main | true | 295 | 299 | |
| main | true | 299 | 126 | |
| main | true | 300 | 251 | |
| printf | false | 196 | 196 | printf |

4
cpp/ql/test/library-tests/lambdas/cfg/stmts.expected
View File

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | { ... } | lambda_cfg.cpp:12:24:12:24 | operator auto (*)(int, int)->int |
| lambda_cfg.cpp:11:16:23:1 | { ... } | lambda_cfg.cpp:11:5:11:8 | main |
| lambda_cfg.cpp:12:5:18:6 | declaration | lambda_cfg.cpp:11:5:11:8 | main |
| lambda_cfg.cpp:12:21:12:21 | return ... | lambda_cfg.cpp:12:21:12:21 | (constructor) |
| lambda_cfg.cpp:12:21:12:21 | { ... } | lambda_cfg.cpp:12:21:12:21 | (constructor) |
| lambda_cfg.cpp:12:21:12:21 | return ... | lambda_cfg.cpp:12:21:12:21 | (unnamed constructor) |
| lambda_cfg.cpp:12:21:12:21 | { ... } | lambda_cfg.cpp:12:21:12:21 | (unnamed constructor) |
| lambda_cfg.cpp:12:24:12:24 | return ... | lambda_cfg.cpp:12:24:12:24 | operator auto (*)(int, int)->int |
| lambda_cfg.cpp:12:46:18:5 | { ... } | lambda_cfg.cpp:12:24:12:24 | operator() |
| lambda_cfg.cpp:13:9:13:14 | declaration | lambda_cfg.cpp:12:24:12:24 | operator() |