Skip to content

Commit 5653c3f

Browse files
committed
C++: Update IR test expectations for named destructors
1 parent 40e06b7 commit 5653c3f

7 files changed

+1747
-340
lines changed

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

Lines changed: 1005 additions & 305 deletions
Large diffs are not rendered by default.

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

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,19 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9+
| ir.cpp:2170:16:2170:23 | Chi: call to Bool | Instruction 'Chi: call to Bool' has no successors in function '$@'. | ir.cpp:2169:6:2169:19 | void IfDestructors3(bool) | void IfDestructors3(bool) |
10+
| ir.cpp:2186:17:2186:25 | Chi: call to Bool2 | Instruction 'Chi: call to Bool2' has no successors in function '$@'. | ir.cpp:2185:6:2185:32 | void IfInitiaiizationConstructor(bool) | void IfInitiaiizationConstructor(bool) |
911
ambiguousSuccessors
1012
unexplainedLoop
1113
unnecessaryPhiInstruction
1214
memoryOperandDefinitionIsUnmodeled
1315
operandAcrossFunctions
1416
instructionWithoutUniqueBlock
17+
missingCanonicalLanguageType
18+
multipleCanonicalLanguageTypes
1519
containsLoopOfForwardEdges
20+
missingIRType
21+
multipleIRTypes
1622
lostReachability
1723
backEdgeCountMismatch
1824
useNotDominatedByDefinition
@@ -24,8 +30,4 @@ nonUniqueEnclosingIRFunction
2430
fieldAddressOnNonPointer
2531
thisArgumentIsNonPointer
2632
nonUniqueIRVariable
27-
missingCanonicalLanguageType
28-
multipleCanonicalLanguageTypes
29-
missingIRType
30-
multipleIRTypes
3133
missingCppType

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

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,19 @@ missingOperandType
66
duplicateChiOperand
77
sideEffectWithoutPrimary
88
instructionWithoutSuccessor
9+
| ir.cpp:2170:16:2170:23 | Chi: call to Bool | Instruction 'Chi: call to Bool' has no successors in function '$@'. | ir.cpp:2169:6:2169:19 | void IfDestructors3(bool) | void IfDestructors3(bool) |
10+
| ir.cpp:2186:17:2186:25 | Chi: call to Bool2 | Instruction 'Chi: call to Bool2' has no successors in function '$@'. | ir.cpp:2185:6:2185:32 | void IfInitiaiizationConstructor(bool) | void IfInitiaiizationConstructor(bool) |
911
ambiguousSuccessors
1012
unexplainedLoop
1113
unnecessaryPhiInstruction
1214
memoryOperandDefinitionIsUnmodeled
1315
operandAcrossFunctions
1416
instructionWithoutUniqueBlock
17+
missingCanonicalLanguageType
18+
multipleCanonicalLanguageTypes
1519
containsLoopOfForwardEdges
20+
missingIRType
21+
multipleIRTypes
1622
lostReachability
1723
backEdgeCountMismatch
1824
useNotDominatedByDefinition
@@ -24,8 +30,4 @@ nonUniqueEnclosingIRFunction
2430
fieldAddressOnNonPointer
2531
thisArgumentIsNonPointer
2632
nonUniqueIRVariable
27-
missingCanonicalLanguageType
28-
multipleCanonicalLanguageTypes
29-
missingIRType
30-
multipleIRTypes
3133
missingCppType

0 commit comments

Comments
 (0)