Skip to content

Commit ffbc83d

Browse files
jketemajketema
committed
C++: Update expected test results
1 parent 6e8f44d commit ffbc83d

File tree

7 files changed

+26
-23
lines changed

7 files changed

+26
-23
lines changed

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

Lines changed: 20 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -20574,23 +20574,32 @@ ir.cpp:
2057420574
# 2806| r2806_1(glval<bool>) = VariableAddress[b] :
2057520575
# 2806| r2806_2(bool) = Load[b] : &:r2806_1, m2801_12
2057620576
# 2806| v2806_3(void) = ConditionalBranch : r2806_2
20577-
#-----| False -> Block 2
20578-
#-----| True -> Block 1
20577+
#-----| False -> Block 3
20578+
#-----| True -> Block 2
2057920579

20580-
# 2807| Block 1
20580+
# 2801| Block 1
20581+
# 2801| m2801_13(unsigned long) = Phi : from 2:m2808_5, from 3:m2811_3
20582+
# 2801| r2801_14(glval<unsigned long>) = VariableAddress[#return] :
20583+
# 2801| v2801_15(void) = ReturnValue : &:r2801_14, m2801_13
20584+
# 2801| v2801_16(void) = AliasedUse : m2801_3
20585+
# 2801| v2801_17(void) = ExitFunction :
20586+
20587+
# 2807| Block 2
2058120588
# 2807| r2807_1(glval<long[][][]>) = VariableAddress[tmp] :
2058220589
# 2807| m2807_2(long[][][]) = Uninitialized[tmp] : &:r2807_1
2058320590
# 2807| v2807_3(void) = NoOp :
2058420591
# 2808| r2808_1(glval<unsigned long>) = VariableAddress[#return] :
20592+
# 2808| r2808_2(unsigned long) = Constant :
20593+
# 2808| r2808_3(unsigned long) = Mul : r2808_2, r2802_2
20594+
# 2808| r2808_4(unsigned long) = Mul : r2808_3, r2802_4
20595+
# 2808| m2808_5(unsigned long) = Store[#return] : &:r2808_1, r2808_4
20596+
#-----| Goto -> Block 1
2058520597

20586-
# 2811| Block 2
20587-
# 2811| r2811_1(glval<unsigned long>) = VariableAddress[#return] :
20588-
# 2811| r2811_2(unsigned long) = Constant[0] :
20589-
# 2811| m2811_3(unsigned long) = Store[#return] : &:r2811_1, r2811_2
20590-
# 2801| r2801_13(glval<unsigned long>) = VariableAddress[#return] :
20591-
# 2801| v2801_14(void) = ReturnValue : &:r2801_13, m2811_3
20592-
# 2801| v2801_15(void) = AliasedUse : m2801_3
20593-
# 2801| v2801_16(void) = ExitFunction :
20598+
# 2811| Block 3
20599+
# 2811| r2811_1(glval<unsigned long>) = VariableAddress[#return] :
20600+
# 2811| r2811_2(unsigned long) = Constant[0] :
20601+
# 2811| m2811_3(unsigned long) = Store[#return] : &:r2811_1, r2811_2
20602+
#-----| Goto -> Block 1
2059420603

2059520604
ir23.cpp:
2059620605
# 1| bool consteval_1()

‎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:2808:5:2808:26 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2801:8:2801:23 | size_t vla_sizeof_test3(int, size_t, char, bool) | size_t vla_sizeof_test3(int, size_t, char, bool) |
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:2808:5:2808:26 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2801:8:2801:23 | size_t vla_sizeof_test3(int, size_t, char, bool) | size_t vla_sizeof_test3(int, size_t, char, bool) |
109
ambiguousSuccessors
1110
unexplainedLoop
1211
unnecessaryPhiInstruction

‎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:2808:12:2808:25 | Store: sizeof(<expr>) | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | ir.cpp:2801:8:2801:23 | size_t vla_sizeof_test3(int, size_t, char, bool) | size_t vla_sizeof_test3(int, size_t, char, bool) |
32
unexpectedOperand
43
duplicateOperand
54
missingPhiOperand
65
missingOperandType
76
duplicateChiOperand
87
sideEffectWithoutPrimary
98
instructionWithoutSuccessor
10-
| ir.cpp:2808:5:2808:26 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2801:8:2801:23 | size_t vla_sizeof_test3(int, size_t, char, bool) | size_t vla_sizeof_test3(int, size_t, char, bool) |
119
ambiguousSuccessors
1210
unexplainedLoop
1311
unnecessaryPhiInstruction
@@ -23,7 +21,6 @@ lostReachability
2321
backEdgeCountMismatch
2422
useNotDominatedByDefinition
2523
| ir.cpp:1535:8:1535:8 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | ir.cpp:1535:8:1535:8 | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() |
26-
| ir.cpp:2808:5:2808:26 | Address | Operand 'Address' is not dominated by its definition in function '$@'. | ir.cpp:2801:8:2801:23 | size_t vla_sizeof_test3(int, size_t, char, bool) | size_t vla_sizeof_test3(int, size_t, char, bool) |
2724
switchInstructionWithoutDefaultEdge
2825
notMarkedAsConflated
2926
wronglyMarkedAsConflated

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

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -18718,7 +18718,7 @@ ir.cpp:
1871818718
# 2806| r2806_1(glval<bool>) = VariableAddress[b] :
1871918719
# 2806| r2806_2(bool) = Load[b] : &:r2806_1, ~m?
1872018720
# 2806| v2806_3(void) = ConditionalBranch : r2806_2
18721-
#-----| False -> Block 4
18721+
#-----| False -> Block 3
1872218722
#-----| True -> Block 2
1872318723

1872418724
# 2801| Block 1
@@ -18732,12 +18732,13 @@ ir.cpp:
1873218732
# 2807| mu2807_2(long[][][]) = Uninitialized[tmp] : &:r2807_1
1873318733
# 2807| v2807_3(void) = NoOp :
1873418734
# 2808| r2808_1(glval<unsigned long>) = VariableAddress[#return] :
18735-
18736-
# 2808| Block 3
18737-
# 2808| mu2808_2(unsigned long) = Store[#return] : &:r2808_1
18735+
# 2808| r2808_2(unsigned long) = Constant :
18736+
# 2808| r2808_3(unsigned long) = Mul : r2808_2, r2802_2
18737+
# 2808| r2808_4(unsigned long) = Mul : r2808_3, r2802_4
18738+
# 2808| mu2808_5(unsigned long) = Store[#return] : &:r2808_1, r2808_4
1873818739
#-----| Goto -> Block 1
1873918740

18740-
# 2811| Block 4
18741+
# 2811| Block 3
1874118742
# 2811| r2811_1(glval<unsigned long>) = VariableAddress[#return] :
1874218743
# 2811| r2811_2(unsigned long) = Constant[0] :
1874318744
# 2811| mu2811_3(unsigned long) = Store[#return] : &:r2811_1, r2811_2

‎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:2808:5:2808:26 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2801:8:2801:23 | size_t vla_sizeof_test3(int, size_t, char, bool) | size_t vla_sizeof_test3(int, size_t, char, bool) |
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:2808:5:2808:26 | VariableAddress: return ... | Instruction 'VariableAddress: return ...' has no successors in function '$@'. | ir.cpp:2801:8:2801:23 | size_t vla_sizeof_test3(int, size_t, char, bool) | size_t vla_sizeof_test3(int, size_t, char, bool) |
109
ambiguousSuccessors
1110
unexplainedLoop
1211
unnecessaryPhiInstruction

0 commit comments

Comments
 (0)