Skip to content

Commit 1b571f8

Browse files
rdmarsh2rdmarsh2
committed
C++: Accept test changes
1 parent 1749661 commit 1b571f8

File tree

5 files changed

+22
-7
lines changed

5 files changed

+22
-7
lines changed

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

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,11 @@
11
missingOperand
2-
| ir.cpp:2170:8:2170:23 | CopyValue: (condition decl) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | ir.cpp:2169:6:2169:19 | void IfDestructors3(bool) | void IfDestructors3(bool) |
3-
| ir.cpp:2186:8:2186:25 | CopyValue: (condition decl) | Instruction 'CopyValue' is missing an expected operand with tag 'Unary' in function '$@'. | ir.cpp:2185:6:2185:32 | void IfInitiaiizationConstructor(bool) | void IfInitiaiizationConstructor(bool) |
42
unexpectedOperand
53
duplicateOperand
64
missingPhiOperand
75
missingOperandType
86
duplicateChiOperand
97
sideEffectWithoutPrimary
108
instructionWithoutSuccessor
11-
| ir.cpp:2170:13:2170:13 | IndirectMayWriteSideEffect: B | Instruction 'IndirectMayWriteSideEffect: B' has no successors in function '$@'. | ir.cpp:2169:6:2169:19 | void IfDestructors3(bool) | void IfDestructors3(bool) |
12-
| ir.cpp:2170:16:2170:23 | IndirectMayWriteSideEffect: call to Bool | Instruction 'IndirectMayWriteSideEffect: call to Bool' has no successors in function '$@'. | ir.cpp:2169:6:2169:19 | void IfDestructors3(bool) | void IfDestructors3(bool) |
13-
| ir.cpp:2186:14:2186:14 | IndirectMayWriteSideEffect: B | Instruction 'IndirectMayWriteSideEffect: B' has no successors in function '$@'. | ir.cpp:2185:6:2185:32 | void IfInitiaiizationConstructor(bool) | void IfInitiaiizationConstructor(bool) |
14-
| ir.cpp:2186:17:2186:25 | IndirectMayWriteSideEffect: call to Bool2 | Instruction 'IndirectMayWriteSideEffect: call to Bool2' has no successors in function '$@'. | ir.cpp:2185:6:2185:32 | void IfInitiaiizationConstructor(bool) | void IfInitiaiizationConstructor(bool) |
159
ambiguousSuccessors
1610
unexplainedLoop
1711
unnecessaryPhiInstruction

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

Lines changed: 13 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,14 @@
1-
failures
21
testFailures
2+
| smart_pointer.cpp:13:21:13:49 | //$ussa=dynamic{1}[0..4)<int> | Missing result:ussa=dynamic{1}[0..4)<int> |
3+
| smart_pointer.cpp:14:14:14:40 | //$ussa=dynamic{1}[0..4)<S> | Missing result:ussa=dynamic{1}[0..4)<S> |
4+
| smart_pointer.cpp:16:22:16:48 | //$ussa=dynamic{1}[0..4)<S> | Missing result:ussa=dynamic{1}[0..4)<S> |
5+
| smart_pointer.cpp:18:15:18:43 | //$ussa=dynamic{1}[0..4)<int> | Missing result:ussa=dynamic{1}[0..4)<int> |
6+
| smart_pointer.cpp:19:13:19:39 | //$ussa=dynamic{1}[0..4)<S> | Missing result:ussa=dynamic{1}[0..4)<S> |
7+
| smart_pointer.cpp:20:21:20:47 | //$ussa=dynamic{1}[0..4)<S> | Missing result:ussa=dynamic{1}[0..4)<S> |
8+
| smart_pointer.cpp:25:21:25:49 | //$ussa=dynamic{1}[0..4)<int> | Missing result:ussa=dynamic{1}[0..4)<int> |
9+
| smart_pointer.cpp:26:14:26:40 | //$ussa=dynamic{1}[0..4)<S> | Missing result:ussa=dynamic{1}[0..4)<S> |
10+
| smart_pointer.cpp:28:22:28:48 | //$ussa=dynamic{1}[0..4)<S> | Missing result:ussa=dynamic{1}[0..4)<S> |
11+
| smart_pointer.cpp:30:15:30:43 | //$ussa=dynamic{1}[0..4)<int> | Missing result:ussa=dynamic{1}[0..4)<int> |
12+
| smart_pointer.cpp:31:13:31:39 | //$ussa=dynamic{1}[0..4)<S> | Missing result:ussa=dynamic{1}[0..4)<S> |
13+
| smart_pointer.cpp:32:21:32:47 | //$ussa=dynamic{1}[0..4)<S> | Missing result:ussa=dynamic{1}[0..4)<S> |
14+
failures

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,10 @@ duplicateChiOperand
88
sideEffectWithoutPrimary
99
instructionWithoutSuccessor
1010
| VacuousDestructorCall.cpp:2:29:2:29 | InitializeIndirection: y | Instruction 'InitializeIndirection: y' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
11+
| condition_decls.cpp:50:3:50:3 | Chi: bi | Instruction 'Chi: bi' has no successors in function '$@'. | condition_decls.cpp:47:6:47:18 | void for_decl_bind(int) | void for_decl_bind(int) |
1112
| ms_try_mix.cpp:35:13:35:19 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:29:6:29:19 | void ms_finally_mix(int) | void ms_finally_mix(int) |
1213
| ms_try_mix.cpp:53:5:53:11 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:49:6:49:28 | void ms_empty_finally_at_end() | void ms_empty_finally_at_end() |
14+
| statements.cpp:25:5:25:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | statements.cpp:21:6:21:16 | void early_throw(int) | void early_throw(int) |
1315
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | stmt_expr.cpp:21:13:21:13 | void stmtexpr::g(int) | void stmtexpr::g(int) |
1416
ambiguousSuccessors
1517
unexplainedLoop

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

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,13 @@ instructionWithoutSuccessor
1111
| VacuousDestructorCall.cpp:2:29:2:29 | InitializeIndirection: y | Instruction 'InitializeIndirection: y' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
1212
| VacuousDestructorCall.cpp:3:3:3:3 | VariableAddress: x | Instruction 'VariableAddress: x' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
1313
| VacuousDestructorCall.cpp:4:3:4:3 | Load: y | Instruction 'Load: y' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
14+
| condition_decls.cpp:48:27:48:31 | IndirectMayWriteSideEffect: init2 | Instruction 'IndirectMayWriteSideEffect: init2' has no successors in function '$@'. | condition_decls.cpp:47:6:47:18 | void for_decl_bind(int) | void for_decl_bind(int) |
15+
| condition_decls.cpp:50:3:50:3 | IndirectMayWriteSideEffect: bi | Instruction 'IndirectMayWriteSideEffect: bi' has no successors in function '$@'. | condition_decls.cpp:47:6:47:18 | void for_decl_bind(int) | void for_decl_bind(int) |
1416
| ms_try_mix.cpp:35:13:35:19 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:29:6:29:19 | void ms_finally_mix(int) | void ms_finally_mix(int) |
1517
| ms_try_mix.cpp:53:5:53:11 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:49:6:49:28 | void ms_empty_finally_at_end() | void ms_empty_finally_at_end() |
18+
| statements.cpp:25:5:25:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | statements.cpp:21:6:21:16 | void early_throw(int) | void early_throw(int) |
19+
| statements.cpp:26:3:26:3 | IndirectMayWriteSideEffect: inner | Instruction 'IndirectMayWriteSideEffect: inner' has no successors in function '$@'. | statements.cpp:21:6:21:16 | void early_throw(int) | void early_throw(int) |
20+
| statements.cpp:28:1:28:1 | IndirectMayWriteSideEffect: before | Instruction 'IndirectMayWriteSideEffect: before' has no successors in function '$@'. | statements.cpp:21:6:21:16 | void early_throw(int) | void early_throw(int) |
1621
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | stmt_expr.cpp:21:13:21:13 | void stmtexpr::g(int) | void stmtexpr::g(int) |
1722
| stmt_expr.cpp:29:11:32:11 | CopyValue: (statement expression) | Instruction 'CopyValue: (statement expression)' has no successors in function '$@'. | stmt_expr.cpp:21:13:21:13 | void stmtexpr::g(int) | void stmtexpr::g(int) |
1823
| stmt_in_type.cpp:5:53:5:53 | Constant: 1 | Instruction 'Constant: 1' has no successors in function '$@'. | stmt_in_type.cpp:2:6:2:12 | void cpp_fun() | void cpp_fun() |

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,10 @@ duplicateChiOperand
88
sideEffectWithoutPrimary
99
instructionWithoutSuccessor
1010
| VacuousDestructorCall.cpp:2:29:2:29 | InitializeIndirection: y | Instruction 'InitializeIndirection: y' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
11+
| condition_decls.cpp:50:3:50:3 | IndirectMayWriteSideEffect: bi | Instruction 'IndirectMayWriteSideEffect: bi' has no successors in function '$@'. | condition_decls.cpp:47:6:47:18 | void for_decl_bind(int) | void for_decl_bind(int) |
1112
| ms_try_mix.cpp:35:13:35:19 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:29:6:29:19 | void ms_finally_mix(int) | void ms_finally_mix(int) |
1213
| ms_try_mix.cpp:53:5:53:11 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:49:6:49:28 | void ms_empty_finally_at_end() | void ms_empty_finally_at_end() |
14+
| statements.cpp:25:5:25:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | statements.cpp:21:6:21:16 | void early_throw(int) | void early_throw(int) |
1315
| stmt_expr.cpp:27:5:27:15 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | stmt_expr.cpp:21:13:21:13 | void stmtexpr::g(int) | void stmtexpr::g(int) |
1416
ambiguousSuccessors
1517
unexplainedLoop

0 commit comments

Comments
 (0)