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

Skip to content

Commit 56a132f

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent a756f14 commit 56a132f

17 files changed

Lines changed: 41 additions & 39 deletions

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

Lines changed: 15 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1376,15 +1376,19 @@ destructors_for_temps.cpp:
13761376
# 59| r59_1(glval<bool>) = VariableAddress[b] :
13771377
# 59| r59_2(bool) = Load[b] : &:r59_1, m58_6
13781378
# 59| v59_3(void) = ConditionalBranch : r59_2
1379-
#-----| False -> Block 3
1380-
#-----| True -> Block 2
1379+
#-----| False -> Block 4
1380+
#-----| True -> Block 3
13811381

13821382
# 58| Block 1
1383-
# 58| v58_7(void) = Unwind :
1384-
# 58| v58_8(void) = AliasedUse : ~m59_16
1385-
# 58| v58_9(void) = ExitFunction :
1383+
# 58| m58_7(unknown) = Phi : from 2:~m59_16, from 4:~m58_4
1384+
# 58| v58_8(void) = AliasedUse : ~m58_7
1385+
# 58| v58_9(void) = ExitFunction :
1386+
1387+
# 58| Block 2
1388+
# 58| v58_10(void) = Unwind :
1389+
#-----| Goto -> Block 1
13861390

1387-
# 59| Block 2
1391+
# 59| Block 3
13881392
# 59| r59_4(glval<char>) = VariableAddress[#throw59:9] :
13891393
# 59| r59_5(glval<ClassWithDestructor2>) = VariableAddress[#temp59:15] :
13901394
# 59| m59_6(ClassWithDestructor2) = Uninitialized[#temp59:15] : &:r59_5
@@ -1403,14 +1407,17 @@ destructors_for_temps.cpp:
14031407
# 59| m59_19(ClassWithDestructor2) = Chi : total:m59_12, partial:m59_18
14041408
# 59| m59_20(char) = Store[#throw59:9] : &:r59_4, r59_14
14051409
# 59| v59_21(void) = ThrowValue : &:r59_4, m59_20
1406-
#-----| Exception -> Block 1
1410+
#-----| Exception -> Block 2
14071411

1408-
# 59| Block 3
1412+
# 59| Block 4
14091413
# 59| r59_22(char) = Constant[97] :
14101414
# 59| r59_23(glval<char>) = VariableAddress[#temp59:5] :
14111415
# 59| m59_24(char) = Store[#temp59:5] : &:r59_23, r59_22
14121416
# 59| r59_25(glval<char>) = VariableAddress[#temp59:5] :
14131417
# 59| r59_26(char) = Load[#temp59:5] : &:r59_25, m59_24
1418+
# 60| v60_1(void) = NoOp :
1419+
# 58| v58_11(void) = ReturnVoid :
1420+
#-----| Goto -> Block 1
14141421

14151422
ir.c:
14161423
# 7| void MyCoordsTest(int)

‎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-
| destructors_for_temps.cpp:59:5:59:50 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' has no successors in function '$@'. | destructors_for_temps.cpp:58:6:58:22 | void temp_test8_simple(bool) | void temp_test8_simple(bool) |
109
ambiguousSuccessors
1110
| destructors_for_temps.cpp:51:75:51:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
1211
| destructors_for_temps.cpp:55:75:55:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |

‎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
@@ -11,7 +11,6 @@ missingOperandType
1111
duplicateChiOperand
1212
sideEffectWithoutPrimary
1313
instructionWithoutSuccessor
14-
| destructors_for_temps.cpp:59:5:59:50 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' has no successors in function '$@'. | destructors_for_temps.cpp:58:6:58:22 | void temp_test8_simple(bool) | void temp_test8_simple(bool) |
1514
ambiguousSuccessors
1615
| destructors_for_temps.cpp:51:75:51:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
1716
| destructors_for_temps.cpp:55:75:55:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |

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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1301,7 +1301,9 @@
13011301
| destructors_for_temps.cpp:55:75:55:96 | Unary | r55_32 |
13021302
| destructors_for_temps.cpp:58:6:58:22 | ChiPartial | partial:m58_3 |
13031303
| destructors_for_temps.cpp:58:6:58:22 | ChiTotal | total:m58_2 |
1304-
| destructors_for_temps.cpp:58:6:58:22 | SideEffect | ~m59_16 |
1304+
| destructors_for_temps.cpp:58:6:58:22 | Phi | from 2:~m59_16 |
1305+
| destructors_for_temps.cpp:58:6:58:22 | Phi | from 4:~m58_4 |
1306+
| destructors_for_temps.cpp:58:6:58:22 | SideEffect | ~m58_7 |
13051307
| destructors_for_temps.cpp:58:29:58:29 | Address | &:r58_5 |
13061308
| destructors_for_temps.cpp:59:5:59:5 | Address | &:r59_1 |
13071309
| destructors_for_temps.cpp:59:5:59:5 | Condition | r59_2 |

‎cpp/ql/test/library-tests/ir/ir/raw_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-
| destructors_for_temps.cpp:59:5:59:50 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' has no successors in function '$@'. | destructors_for_temps.cpp:58:6:58:22 | void temp_test8_simple(bool) | void temp_test8_simple(bool) |
109
ambiguousSuccessors
1110
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
1211
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |

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

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1310,10 +1310,8 @@ destructors_for_temps.cpp:
13101310
# 59| mu59_20(char) = Store[#temp59:5] : &:r59_19, r59_18
13111311
# 59| r59_21(glval<char>) = VariableAddress[#temp59:5] :
13121312
# 59| r59_22(char) = Load[#temp59:5] : &:r59_21, ~m?
1313-
1314-
# 60| Block 5
1315-
# 60| v60_1(void) = NoOp :
1316-
# 58| v58_9(void) = ReturnVoid :
1313+
# 60| v60_1(void) = NoOp :
1314+
# 58| v58_9(void) = ReturnVoid :
13171315
#-----| Goto -> Block 1
13181316

13191317
ir.c:

‎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-
| destructors_for_temps.cpp:59:5:59:50 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' has no successors in function '$@'. | destructors_for_temps.cpp:58:6:58:22 | void temp_test8_simple(bool) | void temp_test8_simple(bool) |
109
ambiguousSuccessors
1110
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
1211
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |

‎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-
| destructors_for_temps.cpp:59:5:59:50 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' has no successors in function '$@'. | destructors_for_temps.cpp:58:6:58:22 | void temp_test8_simple(bool) | void temp_test8_simple(bool) |
109
ambiguousSuccessors
1110
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
1211
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |

‎cpp/ql/test/library-tests/ir/modulus-analysis/ModulusAnalysis.expected‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
failures
21
testFailures
2+
failures

‎cpp/ql/test/library-tests/ir/range-analysis/Overflow.expected‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
failures
21
testFailures
2+
failures

0 commit comments

Comments
 (0)