Skip to content

Commit 4a501e5

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent 9eaa4e1 commit 4a501e5

8 files changed

+55
-31
lines changed

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

Lines changed: 25 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -13350,14 +13350,31 @@ ir.cpp:
1335013350

1335113351
# 2197| void vacuous_destructor_call::call_destructor<int>(int&)
1335213352
# 2197| Block 0
13353-
# 2197| v2197_1(void) = EnterFunction :
13354-
# 2197| m2197_2(unknown) = AliasedDefinition :
13355-
# 2197| m2197_3(unknown) = InitializeNonLocal :
13356-
# 2197| m2197_4(unknown) = Chi : total:m2197_2, partial:m2197_3
13357-
# 2197| r2197_5(glval<int &>) = VariableAddress[t] :
13358-
# 2197| m2197_6(int &) = InitializeParameter[t] : &:r2197_5
13359-
# 2197| r2197_7(int &) = Load[t] : &:r2197_5, m2197_6
13360-
# 2197| m2197_8(unknown) = InitializeIndirection[t] : &:r2197_7
13353+
# 2197| v2197_1(void) = EnterFunction :
13354+
# 2197| m2197_2(unknown) = AliasedDefinition :
13355+
# 2197| m2197_3(unknown) = InitializeNonLocal :
13356+
# 2197| m2197_4(unknown) = Chi : total:m2197_2, partial:m2197_3
13357+
# 2197| r2197_5(glval<int &>) = VariableAddress[t] :
13358+
# 2197| m2197_6(int &) = InitializeParameter[t] : &:r2197_5
13359+
# 2197| r2197_7(int &) = Load[t] : &:r2197_5, m2197_6
13360+
# 2197| m2197_8(unknown) = InitializeIndirection[t] : &:r2197_7
13361+
# 2198| r2198_1(glval<unknown>) = FunctionAddress[get] :
13362+
# 2198| r2198_2(glval<int &>) = VariableAddress[t] :
13363+
# 2198| r2198_3(int &) = Load[t] : &:r2198_2, m2197_6
13364+
# 2198| r2198_4(glval<int>) = CopyValue : r2198_3
13365+
# 2198| r2198_5(int &) = CopyValue : r2198_4
13366+
# 2198| r2198_6(int &) = Call[get] : func:r2198_1, 0:r2198_5
13367+
# 2198| m2198_7(unknown) = ^CallSideEffect : ~m2197_4
13368+
# 2198| m2198_8(unknown) = Chi : total:m2197_4, partial:m2198_7
13369+
# 2198| v2198_9(void) = ^BufferReadSideEffect[0] : &:r2198_5, ~m2197_8
13370+
# 2198| m2198_10(unknown) = ^BufferMayWriteSideEffect[0] : &:r2198_5
13371+
# 2198| m2198_11(unknown) = Chi : total:m2197_8, partial:m2198_10
13372+
# 2198| r2198_12(glval<int>) = CopyValue : r2198_6
13373+
# 2199| v2199_1(void) = NoOp :
13374+
# 2197| v2197_9(void) = ReturnIndirection[t] : &:r2197_7, m2198_11
13375+
# 2197| v2197_10(void) = ReturnVoid :
13376+
# 2197| v2197_11(void) = AliasedUse : ~m2198_8
13377+
# 2197| v2197_12(void) = ExitFunction :
1336113378

1336213379
# 2201| void vacuous_destructor_call::non_vacuous_destructor_call()
1336313380
# 2201| Block 0

‎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:2197:29:2197:29 | InitializeIndirection: t | Instruction 'InitializeIndirection: t' has no successors in function '$@'. | ir.cpp:2197:10:2197:10 | void vacuous_destructor_call::call_destructor<int>(int&) | void vacuous_destructor_call::call_destructor<int>(int&) |
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:2197:29:2197:29 | InitializeIndirection: t | Instruction 'InitializeIndirection: t' has no successors in function '$@'. | ir.cpp:2197:10:2197:10 | void vacuous_destructor_call::call_destructor<int>(int&) | void vacuous_destructor_call::call_destructor<int>(int&) |
109
ambiguousSuccessors
1110
unexplainedLoop
1211
unnecessaryPhiInstruction

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

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10834,6 +10834,7 @@
1083410834
| ir.cpp:2197:10:2197:10 | ChiPartial | partial:m2197_3 |
1083510835
| ir.cpp:2197:10:2197:10 | ChiTotal | total:m2197_2 |
1083610836
| ir.cpp:2197:10:2197:10 | ChiTotal | total:m2197_2 |
10837+
| ir.cpp:2197:10:2197:10 | SideEffect | ~m2198_8 |
1083710838
| ir.cpp:2197:10:2197:10 | SideEffect | ~m2198_16 |
1083810839
| ir.cpp:2197:29:2197:29 | Address | &:r2197_5 |
1083910840
| ir.cpp:2197:29:2197:29 | Address | &:r2197_5 |
@@ -10842,28 +10843,45 @@
1084210843
| ir.cpp:2197:29:2197:29 | Address | &:r2197_7 |
1084310844
| ir.cpp:2197:29:2197:29 | Address | &:r2197_7 |
1084410845
| ir.cpp:2197:29:2197:29 | Address | &:r2197_7 |
10846+
| ir.cpp:2197:29:2197:29 | Address | &:r2197_7 |
1084510847
| ir.cpp:2197:29:2197:29 | Load | m2197_6 |
1084610848
| ir.cpp:2197:29:2197:29 | Load | m2197_6 |
10849+
| ir.cpp:2197:29:2197:29 | SideEffect | m2198_11 |
1084710850
| ir.cpp:2197:29:2197:29 | SideEffect | m2198_19 |
1084810851
| ir.cpp:2198:9:2198:11 | CallTarget | func:r2198_1 |
10852+
| ir.cpp:2198:9:2198:11 | CallTarget | func:r2198_1 |
1084910853
| ir.cpp:2198:9:2198:11 | ChiPartial | partial:m2198_7 |
10854+
| ir.cpp:2198:9:2198:11 | ChiPartial | partial:m2198_7 |
10855+
| ir.cpp:2198:9:2198:11 | ChiTotal | total:m2197_4 |
1085010856
| ir.cpp:2198:9:2198:11 | ChiTotal | total:m2197_4 |
1085110857
| ir.cpp:2198:9:2198:11 | SideEffect | ~m2197_4 |
10858+
| ir.cpp:2198:9:2198:11 | SideEffect | ~m2197_4 |
10859+
| ir.cpp:2198:9:2198:11 | Unary | r2198_6 |
1085210860
| ir.cpp:2198:9:2198:11 | Unary | r2198_6 |
1085310861
| ir.cpp:2198:12:2198:15 | Address | &:r2198_12 |
1085410862
| ir.cpp:2198:12:2198:15 | Address | &:r2198_12 |
1085510863
| ir.cpp:2198:12:2198:15 | ChiPartial | partial:m2198_18 |
1085610864
| ir.cpp:2198:12:2198:15 | ChiTotal | total:m2198_11 |
1085710865
| ir.cpp:2198:12:2198:15 | SideEffect | ~m2198_11 |
1085810866
| ir.cpp:2198:13:2198:13 | Address | &:r2198_2 |
10867+
| ir.cpp:2198:13:2198:13 | Address | &:r2198_2 |
10868+
| ir.cpp:2198:13:2198:13 | Address | &:r2198_5 |
1085910869
| ir.cpp:2198:13:2198:13 | Address | &:r2198_5 |
1086010870
| ir.cpp:2198:13:2198:13 | Address | &:r2198_5 |
10871+
| ir.cpp:2198:13:2198:13 | Address | &:r2198_5 |
10872+
| ir.cpp:2198:13:2198:13 | Arg(0) | 0:r2198_5 |
1086110873
| ir.cpp:2198:13:2198:13 | Arg(0) | 0:r2198_5 |
1086210874
| ir.cpp:2198:13:2198:13 | ChiPartial | partial:m2198_10 |
10875+
| ir.cpp:2198:13:2198:13 | ChiPartial | partial:m2198_10 |
10876+
| ir.cpp:2198:13:2198:13 | ChiTotal | total:m2197_8 |
1086310877
| ir.cpp:2198:13:2198:13 | ChiTotal | total:m2197_8 |
1086410878
| ir.cpp:2198:13:2198:13 | Load | m2197_6 |
10879+
| ir.cpp:2198:13:2198:13 | Load | m2197_6 |
10880+
| ir.cpp:2198:13:2198:13 | SideEffect | ~m2197_8 |
1086510881
| ir.cpp:2198:13:2198:13 | SideEffect | ~m2197_8 |
1086610882
| ir.cpp:2198:13:2198:13 | Unary | r2198_3 |
10883+
| ir.cpp:2198:13:2198:13 | Unary | r2198_3 |
10884+
| ir.cpp:2198:13:2198:13 | Unary | r2198_4 |
1086710885
| ir.cpp:2198:13:2198:13 | Unary | r2198_4 |
1086810886
| ir.cpp:2198:16:2198:17 | CallTarget | func:r2198_13 |
1086910887
| ir.cpp:2198:16:2198:17 | ChiPartial | partial:m2198_15 |

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

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,6 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9-
| ir.cpp:2197:29:2197:29 | InitializeIndirection: t | Instruction 'InitializeIndirection: t' has no successors in function '$@'. | ir.cpp:2197:10:2197:10 | void vacuous_destructor_call::call_destructor<int>(int&) | void vacuous_destructor_call::call_destructor<int>(int&) |
10-
| ir.cpp:2198:12:2198:15 | CopyValue: (reference dereference) | Instruction 'CopyValue: (reference dereference)' has no successors in function '$@'. | ir.cpp:2197:10:2197:10 | void vacuous_destructor_call::call_destructor<int>(int&) | void vacuous_destructor_call::call_destructor<int>(int&) |
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:2197:29:2197:29 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:2197:10:2197:10 | void vacuous_destructor_call::call_destructor<int>(int&) | void vacuous_destructor_call::call_destructor<int>(int&) |
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: 12 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -12440,15 +12440,13 @@ ir.cpp:
1244012440

1244112441
# 2197| void vacuous_destructor_call::call_destructor<int>(int&)
1244212442
# 2197| Block 0
12443-
# 2197| v2197_1(void) = EnterFunction :
12444-
# 2197| mu2197_2(unknown) = AliasedDefinition :
12445-
# 2197| mu2197_3(unknown) = InitializeNonLocal :
12446-
# 2197| r2197_4(glval<int &>) = VariableAddress[t] :
12447-
# 2197| mu2197_5(int &) = InitializeParameter[t] : &:r2197_4
12448-
# 2197| r2197_6(int &) = Load[t] : &:r2197_4, ~m?
12449-
# 2197| mu2197_7(unknown) = InitializeIndirection[t] : &:r2197_6
12450-
12451-
# 2198| Block 1
12443+
# 2197| v2197_1(void) = EnterFunction :
12444+
# 2197| mu2197_2(unknown) = AliasedDefinition :
12445+
# 2197| mu2197_3(unknown) = InitializeNonLocal :
12446+
# 2197| r2197_4(glval<int &>) = VariableAddress[t] :
12447+
# 2197| mu2197_5(int &) = InitializeParameter[t] : &:r2197_4
12448+
# 2197| r2197_6(int &) = Load[t] : &:r2197_4, ~m?
12449+
# 2197| mu2197_7(unknown) = InitializeIndirection[t] : &:r2197_6
1245212450
# 2198| r2198_1(glval<unknown>) = FunctionAddress[get] :
1245312451
# 2198| r2198_2(glval<int &>) = VariableAddress[t] :
1245412452
# 2198| r2198_3(int &) = Load[t] : &:r2198_2, ~m?
@@ -12459,13 +12457,11 @@ ir.cpp:
1245912457
# 2198| v2198_8(void) = ^BufferReadSideEffect[0] : &:r2198_5, ~m?
1246012458
# 2198| mu2198_9(unknown) = ^BufferMayWriteSideEffect[0] : &:r2198_5
1246112459
# 2198| r2198_10(glval<int>) = CopyValue : r2198_6
12462-
12463-
# 2199| Block 2
12464-
# 2199| v2199_1(void) = NoOp :
12465-
# 2197| v2197_8(void) = ReturnIndirection[t] : &:r2197_6, ~m?
12466-
# 2197| v2197_9(void) = ReturnVoid :
12467-
# 2197| v2197_10(void) = AliasedUse : ~m?
12468-
# 2197| v2197_11(void) = ExitFunction :
12460+
# 2199| v2199_1(void) = NoOp :
12461+
# 2197| v2197_8(void) = ReturnIndirection[t] : &:r2197_6, ~m?
12462+
# 2197| v2197_9(void) = ReturnVoid :
12463+
# 2197| v2197_10(void) = AliasedUse : ~m?
12464+
# 2197| v2197_11(void) = ExitFunction :
1246912465

1247012466
# 2201| void vacuous_destructor_call::non_vacuous_destructor_call()
1247112467
# 2201| Block 0

‎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:2197:29:2197:29 | InitializeIndirection: t | Instruction 'InitializeIndirection: t' has no successors in function '$@'. | ir.cpp:2197:10:2197:10 | void vacuous_destructor_call::call_destructor<int>(int&) | void vacuous_destructor_call::call_destructor<int>(int&) |
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:2197:29:2197:29 | InitializeIndirection: t | Instruction 'InitializeIndirection: t' has no successors in function '$@'. | ir.cpp:2197:10:2197:10 | void vacuous_destructor_call::call_destructor<int>(int&) | void vacuous_destructor_call::call_destructor<int>(int&) |
109
ambiguousSuccessors
1110
unexplainedLoop
1211
unnecessaryPhiInstruction

0 commit comments

Comments
 (0)