Skip to content

Commit b8c141f

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent ddd5113 commit b8c141f

8 files changed

+26
-23
lines changed

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

Lines changed: 11 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -14581,11 +14581,17 @@ ir.cpp:
1458114581

1458214582
# 2327| return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc()
1458314583
# 2327| Block 0
14584-
# 2327| v2327_1(void) = EnterFunction :
14585-
# 2327| m2327_2(unknown) = AliasedDefinition :
14586-
# 2327| m2327_3(unknown) = InitializeNonLocal :
14587-
# 2327| m2327_4(unknown) = Chi : total:m2327_2, partial:m2327_3
14588-
# 2329| r2329_1(glval<..:: *>) = VariableAddress[#return] :
14584+
# 2327| v2327_1(void) = EnterFunction :
14585+
# 2327| m2327_2(unknown) = AliasedDefinition :
14586+
# 2327| m2327_3(unknown) = InitializeNonLocal :
14587+
# 2327| m2327_4(unknown) = Chi : total:m2327_2, partial:m2327_3
14588+
# 2329| r2329_1(glval<..:: *>) = VariableAddress[#return] :
14589+
# 2329| r2329_2(..()(..)) = FunctionAddress[VoidToInt] :
14590+
# 2329| m2329_3(..:: *) = Store[#return] : &:r2329_1, r2329_2
14591+
# 2327| r2327_5(glval<..:: *>) = VariableAddress[#return] :
14592+
# 2327| v2327_6(void) = ReturnValue : &:r2327_5, m2329_3
14593+
# 2327| v2327_7(void) = AliasedUse : m2327_3
14594+
# 2327| v2327_8(void) = ExitFunction :
1458914595

1459014596
perf-regression.cpp:
1459114597
# 6| void Big::Big()

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9-
| ir.cpp:2329:9:2329:44 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2327:32:2327:47 | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() |
109
ambiguousSuccessors
1110
unexplainedLoop
1211
unnecessaryPhiInstruction

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9-
| ir.cpp:2329:9:2329:44 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2327:32:2327:47 | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() |
109
ambiguousSuccessors
1110
unexplainedLoop
1211
unnecessaryPhiInstruction

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

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12029,8 +12029,13 @@
1202912029
| ir.cpp:2317:1:2317:1 | ChiTotal | total:m2316_4 |
1203012030
| ir.cpp:2317:1:2317:1 | SideEffect | m2315_8 |
1203112031
| ir.cpp:2317:1:2317:1 | SideEffect | ~m2316_4 |
12032+
| ir.cpp:2327:32:2327:47 | Address | &:r2327_5 |
1203212033
| ir.cpp:2327:32:2327:47 | ChiPartial | partial:m2327_3 |
1203312034
| ir.cpp:2327:32:2327:47 | ChiTotal | total:m2327_2 |
12035+
| ir.cpp:2327:32:2327:47 | Load | m2329_3 |
12036+
| ir.cpp:2327:32:2327:47 | SideEffect | m2327_3 |
12037+
| ir.cpp:2329:9:2329:44 | Address | &:r2329_1 |
12038+
| ir.cpp:2329:16:2329:43 | StoreValue | r2329_2 |
1203412039
| perf-regression.cpp:6:3:6:5 | Address | &:r6_5 |
1203512040
| perf-regression.cpp:6:3:6:5 | Address | &:r6_5 |
1203612041
| perf-regression.cpp:6:3:6:5 | Address | &:r6_7 |

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

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,11 @@
11
missingOperand
2-
| ir.cpp:2329:16:2329:43 | Store: VoidToInt | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | ir.cpp:2327:32:2327:47 | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() |
32
unexpectedOperand
43
duplicateOperand
54
missingPhiOperand
65
missingOperandType
76
duplicateChiOperand
87
sideEffectWithoutPrimary
98
instructionWithoutSuccessor
10-
| ir.cpp:2329:9:2329:44 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2327:32:2327:47 | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() |
119
ambiguousSuccessors
1210
unexplainedLoop
1311
unnecessaryPhiInstruction
@@ -23,7 +21,6 @@ lostReachability
2321
backEdgeCountMismatch
2422
useNotDominatedByDefinition
2523
| ir.cpp:1488:8:1488:8 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | ir.cpp:1488:8:1488:8 | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() |
26-
| ir.cpp:2329:9:2329:44 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:2327:32:2327:47 | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() |
2724
| try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() |
2825
| try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() |
2926
| try_except.c:39:15:39:15 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:32:6:32:6 | void h(int) | void h(int) |

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

Lines changed: 10 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -13512,17 +13512,16 @@ ir.cpp:
1351213512

1351313513
# 2327| return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc()
1351413514
# 2327| Block 0
13515-
# 2327| v2327_1(void) = EnterFunction :
13516-
# 2327| mu2327_2(unknown) = AliasedDefinition :
13517-
# 2327| mu2327_3(unknown) = InitializeNonLocal :
13518-
# 2329| r2329_1(glval<..:: *>) = VariableAddress[#return] :
13519-
13520-
# 2329| Block 1
13521-
# 2329| mu2329_2(..:: *) = Store[#return] : &:r2329_1
13522-
# 2327| r2327_4(glval<..:: *>) = VariableAddress[#return] :
13523-
# 2327| v2327_5(void) = ReturnValue : &:r2327_4, ~m?
13524-
# 2327| v2327_6(void) = AliasedUse : ~m?
13525-
# 2327| v2327_7(void) = ExitFunction :
13515+
# 2327| v2327_1(void) = EnterFunction :
13516+
# 2327| mu2327_2(unknown) = AliasedDefinition :
13517+
# 2327| mu2327_3(unknown) = InitializeNonLocal :
13518+
# 2329| r2329_1(glval<..:: *>) = VariableAddress[#return] :
13519+
# 2329| r2329_2(..()(..)) = FunctionAddress[VoidToInt] :
13520+
# 2329| mu2329_3(..:: *) = Store[#return] : &:r2329_1, r2329_2
13521+
# 2327| r2327_4(glval<..:: *>) = VariableAddress[#return] :
13522+
# 2327| v2327_5(void) = ReturnValue : &:r2327_4, ~m?
13523+
# 2327| v2327_6(void) = AliasedUse : ~m?
13524+
# 2327| v2327_7(void) = ExitFunction :
1352613525

1352713526
perf-regression.cpp:
1352813527
# 6| void Big::Big()

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9-
| ir.cpp:2329:9:2329:44 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2327:32:2327:47 | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() |
109
ambiguousSuccessors
1110
unexplainedLoop
1211
unnecessaryPhiInstruction

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9-
| ir.cpp:2329:9:2329:44 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2327:32:2327:47 | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() | return_routine_type::VoidToIntMemberFunc return_routine_type::GetVoidToIntFunc() |
109
ambiguousSuccessors
1110
unexplainedLoop
1211
unnecessaryPhiInstruction

0 commit comments

Comments
 (0)