Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 0cd3eb7

Browse files
jbjjbj
committed
C++: Accept test changes
Some IR inconsistencies are "fixed" because we no longer translate constant initializers of static locals.
1 parent cc38abd commit 0cd3eb7

3 files changed

Lines changed: 0 additions & 17 deletions

File tree

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,6 @@ instructionWithoutSuccessor
4747
| ms_try_mix.cpp:11:12:11:15 | Chi: call to C |
4848
| ms_try_mix.cpp:28:12:28:15 | Chi: call to C |
4949
| ms_try_mix.cpp:48:10:48:13 | Chi: call to C |
50-
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
5150
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
5251
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
5352
| vla.c:11:6:11:16 | UnmodeledDefinition: vla_typedef |

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

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -34,8 +34,6 @@ missingOperand
3434
| 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*) |
3535
| 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*) |
3636
| 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*) |
37-
| 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() |
38-
| pointer_to_member.cpp:36:22:36:28 | Store: f1 | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
3937
| 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) |
4038
| 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) |
4139
| 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) |
@@ -93,16 +91,6 @@ instructionWithoutSuccessor
9391
| ms_try_mix.cpp:48:10:48:13 | IndirectMayWriteSideEffect: call to C |
9492
| ms_try_mix.cpp:51:5:51:11 | ThrowValue: throw ... |
9593
| ms_try_mix.cpp:53:13:54:3 | NoOp: { ... } |
96-
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
97-
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
98-
| static_init_templates.cpp:80:27:80:36 | Convert: (void *)... |
99-
| static_init_templates.cpp:80:27:80:36 | Convert: (void *)... |
100-
| static_init_templates.cpp:89:27:89:36 | Convert: (void *)... |
101-
| static_init_templates.cpp:89:27:89:36 | Convert: (void *)... |
102-
| static_init_templates.cpp:97:27:97:36 | Convert: (void *)... |
103-
| static_init_templates.cpp:97:27:97:36 | Convert: (void *)... |
104-
| static_init_templates.cpp:105:27:105:27 | Constant: (void *)... |
105-
| static_init_templates.cpp:105:27:105:27 | Constant: (void *)... |
10694
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
10795
| stmt_expr.cpp:29:11:32:11 | CopyValue: (statement expression) |
10896
| stmt_in_type.cpp:5:53:5:53 | Constant: 1 |
@@ -640,9 +628,6 @@ backEdgeCountMismatch
640628
useNotDominatedByDefinition
641629
| VacuousDestructorCall.cpp:2:29:2:29 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | IR: CallDestructor | void CallDestructor<int>(int, int*) |
642630
| misc.c:219:47:219:48 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | misc.c:219:5:219:26 | IR: assign_designated_init | int assign_designated_init(someStruct*) |
643-
| 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() |
644-
| 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() |
645-
| pointer_to_member.cpp:36:22:36:28 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | pointer_to_member.cpp:32:6:32:14 | IR: pmIsConst | void pmIsConst() |
646631
| 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) |
647632
| vla.c:3:27:3:30 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | vla.c:3:5:3:8 | IR: main | int main(int, char**) |
648633
switchInstructionWithoutDefaultEdge

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,6 @@ instructionWithoutSuccessor
5656
| ms_try_mix.cpp:11:12:11:15 | IndirectMayWriteSideEffect: call to C |
5757
| ms_try_mix.cpp:28:12:28:15 | IndirectMayWriteSideEffect: call to C |
5858
| ms_try_mix.cpp:48:10:48:13 | IndirectMayWriteSideEffect: call to C |
59-
| pointer_to_member.cpp:36:11:36:30 | FieldAddress: {...} |
6059
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... |
6160
| vla.c:5:9:5:14 | Uninitialized: definition of matrix |
6261
| vla.c:11:6:11:16 | UnmodeledDefinition: vla_typedef |

0 commit comments

Comments
 (0)