Skip to content

Commit 8e70666

Browse files
jketemajketema
committed
C++: Fix test failures where location of reference dereference in lambda changed
1 parent 6c1e21c commit 8e70666

File tree

3 files changed

+16
-16
lines changed

3 files changed

+16
-16
lines changed

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-ir-consistency.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -218,10 +218,10 @@ postWithInFlow
218218
| lambdas.cpp:20:11:20:11 | FieldAddress [post update] | PostUpdateNode should not be the target of local flow. |
219219
| lambdas.cpp:20:11:20:11 | FieldAddress [post update] | PostUpdateNode should not be the target of local flow. |
220220
| lambdas.cpp:20:11:20:11 | FieldAddress [post update] | PostUpdateNode should not be the target of local flow. |
221-
| lambdas.cpp:23:3:23:3 | (reference dereference) [post update] | PostUpdateNode should not be the target of local flow. |
222221
| lambdas.cpp:23:3:23:14 | FieldAddress [post update] | PostUpdateNode should not be the target of local flow. |
223222
| lambdas.cpp:23:3:23:14 | VariableAddress [post update] | PostUpdateNode should not be the target of local flow. |
224223
| lambdas.cpp:23:3:23:14 | v [post update] | PostUpdateNode should not be the target of local flow. |
224+
| lambdas.cpp:23:15:23:15 | (reference dereference) [post update] | PostUpdateNode should not be the target of local flow. |
225225
| lambdas.cpp:28:7:28:7 | VariableAddress [post update] | PostUpdateNode should not be the target of local flow. |
226226
| lambdas.cpp:28:10:31:2 | FieldAddress [post update] | PostUpdateNode should not be the target of local flow. |
227227
| lambdas.cpp:28:10:31:2 | FieldAddress [post update] | PostUpdateNode should not be the target of local flow. |

‎cpp/ql/test/library-tests/ir/ir/operand_locations.expected

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -4833,9 +4833,6 @@
48334833
| ir.cpp:1043:24:1043:24 | SideEffect | ~m1043_20 |
48344834
| ir.cpp:1043:31:1043:31 | Address | &:r1043_9 |
48354835
| ir.cpp:1043:36:1043:55 | Address | &:r1043_11 |
4836-
| ir.cpp:1043:43:1043:43 | Address | &:r1043_16 |
4837-
| ir.cpp:1043:43:1043:43 | Arg(this) | this:r1043_16 |
4838-
| ir.cpp:1043:43:1043:43 | SideEffect | ~m1043_20 |
48394836
| ir.cpp:1043:43:1043:54 | Address | &:r1043_22 |
48404837
| ir.cpp:1043:43:1043:54 | Address | &:r1043_24 |
48414838
| ir.cpp:1043:43:1043:54 | Address | &:r1043_25 |
@@ -4856,8 +4853,11 @@
48564853
| ir.cpp:1043:45:1043:49 | SideEffect | ~m1043_4 |
48574854
| ir.cpp:1043:45:1043:49 | Unary | r1043_13 |
48584855
| ir.cpp:1043:45:1043:49 | Unary | r1043_15 |
4859-
| ir.cpp:1043:53:1043:53 | Load | ~m1043_20 |
4860-
| ir.cpp:1043:53:1043:53 | Right | r1043_26 |
4856+
| ir.cpp:1043:52:1043:52 | Address | &:r1043_16 |
4857+
| ir.cpp:1043:52:1043:52 | Arg(this) | this:r1043_16 |
4858+
| ir.cpp:1043:52:1043:52 | SideEffect | ~m1043_20 |
4859+
| ir.cpp:1043:54:1043:54 | Load | ~m1043_20 |
4860+
| ir.cpp:1043:54:1043:54 | Right | r1043_26 |
48614861
| ir.cpp:1043:58:1043:58 | ChiPartial | partial:m1043_9 |
48624862
| ir.cpp:1043:58:1043:58 | ChiTotal | total:m1043_3 |
48634863
| ir.cpp:1043:58:1043:58 | StoreValue | r1043_8 |
@@ -4972,9 +4972,6 @@
49724972
| ir.cpp:1047:34:1047:34 | SideEffect | ~m1047_20 |
49734973
| ir.cpp:1047:41:1047:41 | Address | &:r1047_9 |
49744974
| ir.cpp:1047:46:1047:65 | Address | &:r1047_11 |
4975-
| ir.cpp:1047:53:1047:53 | Address | &:r1047_16 |
4976-
| ir.cpp:1047:53:1047:53 | Arg(this) | this:r1047_16 |
4977-
| ir.cpp:1047:53:1047:53 | SideEffect | ~m1047_20 |
49784975
| ir.cpp:1047:53:1047:64 | Address | &:r1047_23 |
49794976
| ir.cpp:1047:53:1047:64 | Load | ~m1047_20 |
49804977
| ir.cpp:1047:53:1047:64 | StoreValue | r1047_24 |
@@ -4989,6 +4986,9 @@
49894986
| ir.cpp:1047:55:1047:59 | SideEffect | ~m1047_4 |
49904987
| ir.cpp:1047:55:1047:59 | Unary | r1047_13 |
49914988
| ir.cpp:1047:55:1047:59 | Unary | r1047_15 |
4989+
| ir.cpp:1047:62:1047:62 | Address | &:r1047_16 |
4990+
| ir.cpp:1047:62:1047:62 | Arg(this) | this:r1047_16 |
4991+
| ir.cpp:1047:62:1047:62 | SideEffect | ~m1047_20 |
49924992
| ir.cpp:1047:63:1047:63 | Right | r1047_22 |
49934993
| ir.cpp:1047:68:1047:68 | StoreValue | r1047_8 |
49944994
| ir.cpp:1047:68:1047:68 | Unary | r1047_7 |
@@ -5097,9 +5097,6 @@
50975097
| ir.cpp:1051:39:1051:39 | SideEffect | ~m1051_20 |
50985098
| ir.cpp:1051:46:1051:46 | Address | &:r1051_9 |
50995099
| ir.cpp:1051:51:1051:70 | Address | &:r1051_11 |
5100-
| ir.cpp:1051:58:1051:58 | Address | &:r1051_16 |
5101-
| ir.cpp:1051:58:1051:58 | Arg(this) | this:r1051_16 |
5102-
| ir.cpp:1051:58:1051:58 | SideEffect | ~m1051_20 |
51035100
| ir.cpp:1051:58:1051:69 | Address | &:r1051_22 |
51045101
| ir.cpp:1051:58:1051:69 | Address | &:r1051_24 |
51055102
| ir.cpp:1051:58:1051:69 | Address | &:r1051_26 |
@@ -5120,6 +5117,9 @@
51205117
| ir.cpp:1051:60:1051:64 | SideEffect | ~m1051_4 |
51215118
| ir.cpp:1051:60:1051:64 | Unary | r1051_13 |
51225119
| ir.cpp:1051:60:1051:64 | Unary | r1051_15 |
5120+
| ir.cpp:1051:67:1051:67 | Address | &:r1051_16 |
5121+
| ir.cpp:1051:67:1051:67 | Arg(this) | this:r1051_16 |
5122+
| ir.cpp:1051:67:1051:67 | SideEffect | ~m1051_20 |
51235123
| ir.cpp:1051:73:1051:73 | ChiPartial | partial:m1051_9 |
51245124
| ir.cpp:1051:73:1051:73 | ChiTotal | total:m1051_3 |
51255125
| ir.cpp:1051:73:1051:73 | StoreValue | r1051_8 |
@@ -5184,9 +5184,6 @@
51845184
| ir.cpp:1054:49:1054:49 | SideEffect | ~m1054_20 |
51855185
| ir.cpp:1054:56:1054:56 | Address | &:r1054_9 |
51865186
| ir.cpp:1054:61:1054:88 | Address | &:r1054_11 |
5187-
| ir.cpp:1054:68:1054:68 | Address | &:r1054_16 |
5188-
| ir.cpp:1054:68:1054:68 | Arg(this) | this:r1054_16 |
5189-
| ir.cpp:1054:68:1054:68 | SideEffect | ~m1054_20 |
51905187
| ir.cpp:1054:68:1054:87 | Address | &:r1054_37 |
51915188
| ir.cpp:1054:68:1054:87 | Load | ~m1054_20 |
51925189
| ir.cpp:1054:68:1054:87 | StoreValue | r1054_38 |
@@ -5201,6 +5198,9 @@
52015198
| ir.cpp:1054:70:1054:74 | SideEffect | ~m1054_4 |
52025199
| ir.cpp:1054:70:1054:74 | Unary | r1054_13 |
52035200
| ir.cpp:1054:70:1054:74 | Unary | r1054_15 |
5201+
| ir.cpp:1054:77:1054:77 | Address | &:r1054_16 |
5202+
| ir.cpp:1054:77:1054:77 | Arg(this) | this:r1054_16 |
5203+
| ir.cpp:1054:77:1054:77 | SideEffect | ~m1054_20 |
52045204
| ir.cpp:1054:78:1054:82 | Address | &:r1054_22 |
52055205
| ir.cpp:1054:78:1054:82 | Address | &:r1054_24 |
52065206
| ir.cpp:1054:78:1054:82 | Left | r1054_25 |

‎cpp/ql/test/library-tests/lambdas/captures/elements.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -156,10 +156,10 @@
156156
| captures.cpp:23:12:23:16 | x |
157157
| captures.cpp:23:12:23:16 | y |
158158
| captures.cpp:23:12:23:20 | ... + ... |
159-
| captures.cpp:23:16:23:16 | (reference dereference) |
160159
| captures.cpp:23:16:23:16 | definition of y |
161160
| captures.cpp:23:16:23:16 | y |
162161
| captures.cpp:23:16:23:16 | y |
162+
| captures.cpp:23:18:23:18 | (reference dereference) |
163163
| captures.cpp:23:20:23:20 | z |
164164
| captures.cpp:26:3:26:24 | return ... |
165165
| captures.cpp:26:10:26:17 | (const lambda [] type at line 22, col. 19)... |

0 commit comments

Comments
 (0)