Skip to content

Commit 0aafa0b

Browse files
committed
C++: Accept test changes in IR sanity queries
These looks harmless.
1 parent 307b92f commit 0aafa0b

File tree

3 files changed

+6
-5
lines changed

3 files changed

+6
-5
lines changed

cpp/ql/test/library-tests/syntax-zoo/aliased_ssa_sanity.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ instructionWithoutSuccessor
2020
| ms_try_mix.cpp:11:12:11:15 | Chi: call to C |
2121
| ms_try_mix.cpp:28:12:28:15 | Chi: call to C |
2222
| ms_try_mix.cpp:48:10:48:13 | Chi: call to C |
23-
| pointer_to_member.cpp:35:11:35:21 | FieldAddress: {...} |
23+
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
2424
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
2525
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
2626
| vla.c:11:6:11:16 | UnmodeledDefinition: vla_typedef |

cpp/ql/test/library-tests/syntax-zoo/raw_sanity.expected

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ missingOperand
77
| misc.c:220:3:223:3 | Store: ... = ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
88
| misc.c:220:9:223:3 | FieldAddress: {...} | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
99
| misc.c:220:9:223:3 | FieldAddress: {...} | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
10-
| pointer_to_member.cpp:35:13:35:19 | FieldAddress: x1 | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
10+
| pointer_to_member.cpp:36:13:36:19 | FieldAddress: x1 | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
1111
| range_analysis.c:368:10:368:21 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
1212
| range_analysis.c:369:10:369:36 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
1313
| range_analysis.c:370:10:370:38 | Store: ... ? ... : ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | range_analysis.c:355:14:355:27 | IR: test_ternary01 | unsigned int test_ternary01(unsigned int) |
@@ -66,7 +66,7 @@ instructionWithoutSuccessor
6666
| ms_try_mix.cpp:48:10:48:13 | CallSideEffect: call to C |
6767
| ms_try_mix.cpp:51:5:51:11 | ThrowValue: throw ... |
6868
| ms_try_mix.cpp:53:13:54:3 | NoOp: { ... } |
69-
| pointer_to_member.cpp:35:11:35:21 | FieldAddress: {...} |
69+
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
7070
| static_init_templates.cpp:80:27:80:36 | Convert: (void *)... |
7171
| static_init_templates.cpp:80:27:80:36 | Convert: (void *)... |
7272
| static_init_templates.cpp:89:27:89:36 | Convert: (void *)... |
@@ -673,7 +673,8 @@ useNotDominatedByDefinition
673673
| ms_try_mix.cpp:38:16:38:19 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | ms_try_mix.cpp:27:6:27:19 | IR: ms_finally_mix | void ms_finally_mix(int) |
674674
| ms_try_mix.cpp:41:12:41:15 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | ms_try_mix.cpp:27:6:27:19 | IR: ms_finally_mix | void ms_finally_mix(int) |
675675
| ms_try_mix.cpp:51:5:51:11 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | ms_try_mix.cpp:47:6:47:28 | IR: ms_empty_finally_at_end | void ms_empty_finally_at_end() |
676-
| pointer_to_member.cpp:35:13:35:19 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
676+
| pointer_to_member.cpp:36:11:36:30 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
677+
| pointer_to_member.cpp:36:13:36:19 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
677678
| stmt_expr.cpp:30:20:30:21 | Operand | Operand 'Operand' is not dominated by its definition in function '$@'. | stmt_expr.cpp:21:6:21:6 | IR: g | void stmtexpr::g(int) |
678679
| stmt_expr.cpp:31:16:31:18 | Load | Operand 'Load' is not dominated by its definition in function '$@'. | stmt_expr.cpp:21:6:21:6 | IR: g | void stmtexpr::g(int) |
679680
| try_catch.cpp:21:13:21:24 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | try_catch.cpp:19:6:19:23 | IR: throw_from_nonstmt | void throw_from_nonstmt(int) |

cpp/ql/test/library-tests/syntax-zoo/unaliased_ssa_sanity.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ instructionWithoutSuccessor
2929
| ms_try_mix.cpp:11:12:11:15 | CallSideEffect: call to C |
3030
| ms_try_mix.cpp:28:12:28:15 | CallSideEffect: call to C |
3131
| ms_try_mix.cpp:48:10:48:13 | CallSideEffect: call to C |
32-
| pointer_to_member.cpp:35:11:35:21 | FieldAddress: {...} |
32+
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
3333
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
3434
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
3535
| vla.c:11:6:11:16 | UnmodeledDefinition: vla_typedef |

0 commit comments

Comments
 (0)