hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-04 11:13:57 +01:00
parent a756f14e77
commit 56a132fa8e
17 changed files with 41 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
View File

@@ -1376,15 +1376,19 @@ destructors_for_temps.cpp:
# 59| r59_1(glval<bool>) = VariableAddress[b] : # 59| r59_1(glval<bool>) = VariableAddress[b] :
# 59| r59_2(bool) = Load[b] : &:r59_1, m58_6 # 59| r59_2(bool) = Load[b] : &:r59_1, m58_6
# 59| v59_3(void) = ConditionalBranch : r59_2 # 59| v59_3(void) = ConditionalBranch : r59_2
#-----| False -> Block 3 #-----| False -> Block 4
#-----| True -> Block 2 #-----| True -> Block 3
# 58| Block 1 # 58| Block 1
# 58| v58_7(void) = Unwind : # 58| m58_7(unknown) = Phi : from 2:~m59_16, from 4:~m58_4
# 58| v58_8(void) = AliasedUse : ~m59_16 # 58| v58_8(void) = AliasedUse : ~m58_7
# 58| v58_9(void) = ExitFunction : # 58| v58_9(void) = ExitFunction :
# 59| Block 2 # 58| Block 2
# 58| v58_10(void) = Unwind :
#-----| Goto -> Block 1
# 59| Block 3
# 59| r59_4(glval<char>) = VariableAddress[#throw59:9] : # 59| r59_4(glval<char>) = VariableAddress[#throw59:9] :
# 59| r59_5(glval<ClassWithDestructor2>) = VariableAddress[#temp59:15] : # 59| r59_5(glval<ClassWithDestructor2>) = VariableAddress[#temp59:15] :
# 59| m59_6(ClassWithDestructor2) = Uninitialized[#temp59:15] : &:r59_5 # 59| m59_6(ClassWithDestructor2) = Uninitialized[#temp59:15] : &:r59_5
@@ -1403,14 +1407,17 @@ destructors_for_temps.cpp:
# 59| m59_19(ClassWithDestructor2) = Chi : total:m59_12, partial:m59_18 # 59| m59_19(ClassWithDestructor2) = Chi : total:m59_12, partial:m59_18
# 59| m59_20(char) = Store[#throw59:9] : &:r59_4, r59_14 # 59| m59_20(char) = Store[#throw59:9] : &:r59_4, r59_14
# 59| v59_21(void) = ThrowValue : &:r59_4, m59_20 # 59| v59_21(void) = ThrowValue : &:r59_4, m59_20
#-----| Exception -> Block 1 #-----| Exception -> Block 2
# 59| Block 3 # 59| Block 4
# 59| r59_22(char) = Constant[97] : # 59| r59_22(char) = Constant[97] :
# 59| r59_23(glval<char>) = VariableAddress[#temp59:5] : # 59| r59_23(glval<char>) = VariableAddress[#temp59:5] :
# 59| m59_24(char) = Store[#temp59:5] : &:r59_23, r59_22 # 59| m59_24(char) = Store[#temp59:5] : &:r59_23, r59_22
# 59| r59_25(glval<char>) = VariableAddress[#temp59:5] : # 59| r59_25(glval<char>) = VariableAddress[#temp59:5] :
# 59| r59_26(char) = Load[#temp59:5] : &:r59_25, m59_24 # 59| r59_26(char) = Load[#temp59:5] : &:r59_25, m59_24
# 60| v60_1(void) = NoOp :
# 58| v58_11(void) = ReturnVoid :
#-----| Goto -> Block 1
ir.c: ir.c:
# 7| void MyCoordsTest(int) # 7| void MyCoordsTest(int)

1
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
View File

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand duplicateChiOperand
sideEffectWithoutPrimary sideEffectWithoutPrimary
instructionWithoutSuccessor instructionWithoutSuccessor
| 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) |
ambiguousSuccessors ambiguousSuccessors
| 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) | | 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) |
| 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) | | 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) |

1
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
View File

@@ -11,7 +11,6 @@ missingOperandType
duplicateChiOperand duplicateChiOperand
sideEffectWithoutPrimary sideEffectWithoutPrimary
instructionWithoutSuccessor instructionWithoutSuccessor
| 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) |
ambiguousSuccessors ambiguousSuccessors
| 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) | | 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) |
| 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) | | 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) |

4
cpp/ql/test/library-tests/ir/ir/operand_locations.expected
View File

@@ -1301,7 +1301,9 @@
| destructors_for_temps.cpp:55:75:55:96 | Unary | r55_32 | | destructors_for_temps.cpp:55:75:55:96 | Unary | r55_32 |
| destructors_for_temps.cpp:58:6:58:22 | ChiPartial | partial:m58_3 | | destructors_for_temps.cpp:58:6:58:22 | ChiPartial | partial:m58_3 |
| destructors_for_temps.cpp:58:6:58:22 | ChiTotal | total:m58_2 | | destructors_for_temps.cpp:58:6:58:22 | ChiTotal | total:m58_2 |
| destructors_for_temps.cpp:58:6:58:22 | SideEffect | ~m59_16 | | destructors_for_temps.cpp:58:6:58:22 | Phi | from 2:~m59_16 |
| destructors_for_temps.cpp:58:6:58:22 | Phi | from 4:~m58_4 |
| destructors_for_temps.cpp:58:6:58:22 | SideEffect | ~m58_7 |
| destructors_for_temps.cpp:58:29:58:29 | Address | &:r58_5 | | destructors_for_temps.cpp:58:29:58:29 | Address | &:r58_5 |
| destructors_for_temps.cpp:59:5:59:5 | Address | &:r59_1 | | destructors_for_temps.cpp:59:5:59:5 | Address | &:r59_1 |
| destructors_for_temps.cpp:59:5:59:5 | Condition | r59_2 | | destructors_for_temps.cpp:59:5:59:5 | Condition | r59_2 |

1
cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
View File

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand duplicateChiOperand
sideEffectWithoutPrimary sideEffectWithoutPrimary
instructionWithoutSuccessor instructionWithoutSuccessor
| 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) |
ambiguousSuccessors ambiguousSuccessors
| 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) | | 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) |
| 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) | | 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) |

2
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -1310,8 +1310,6 @@ destructors_for_temps.cpp:
# 59| mu59_20(char) = Store[#temp59:5] : &:r59_19, r59_18 # 59| mu59_20(char) = Store[#temp59:5] : &:r59_19, r59_18
# 59| r59_21(glval<char>) = VariableAddress[#temp59:5] : # 59| r59_21(glval<char>) = VariableAddress[#temp59:5] :
# 59| r59_22(char) = Load[#temp59:5] : &:r59_21, ~m? # 59| r59_22(char) = Load[#temp59:5] : &:r59_21, ~m?
# 60| Block 5
# 60| v60_1(void) = NoOp : # 60| v60_1(void) = NoOp :
# 58| v58_9(void) = ReturnVoid : # 58| v58_9(void) = ReturnVoid :
#-----| Goto -> Block 1 #-----| Goto -> Block 1

1
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
View File

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand duplicateChiOperand
sideEffectWithoutPrimary sideEffectWithoutPrimary
instructionWithoutSuccessor instructionWithoutSuccessor
| 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) |
ambiguousSuccessors ambiguousSuccessors
| 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) | | 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) |
| 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) | | 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) |

1
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
View File

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand duplicateChiOperand
sideEffectWithoutPrimary sideEffectWithoutPrimary
instructionWithoutSuccessor instructionWithoutSuccessor
| 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) |
ambiguousSuccessors ambiguousSuccessors
| 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) | | 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) |
| 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) | | 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) |

2
cpp/ql/test/library-tests/ir/modulus-analysis/ModulusAnalysis.expected
View File

@@ -1,2 +1,2 @@
failures
testFailures testFailures
failures

2
cpp/ql/test/library-tests/ir/range-analysis/Overflow.expected
View File

@@ -1,2 +1,2 @@
failures
testFailures testFailures
failures

2
cpp/ql/test/library-tests/ir/range-analysis/RangeAnalysis.expected
View File

@@ -1,2 +1,2 @@
failures
testFailures testFailures
failures

2
cpp/ql/test/library-tests/ir/sign-analysis/SignAnalysis.expected
View File

@@ -1,2 +1,2 @@
failures
testFailures testFailures
failures

8
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_consistency.expected
View File

@@ -12,7 +12,11 @@ unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions operandAcrossFunctions
instructionWithoutUniqueBlock instructionWithoutUniqueBlock
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
containsLoopOfForwardEdges containsLoopOfForwardEdges
missingIRType
multipleIRTypes
lostReachability lostReachability
backEdgeCountMismatch backEdgeCountMismatch
useNotDominatedByDefinition useNotDominatedByDefinition
@@ -24,8 +28,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer fieldAddressOnNonPointer
thisArgumentIsNonPointer thisArgumentIsNonPointer
nonUniqueIRVariable nonUniqueIRVariable
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
missingIRType
multipleIRTypes
missingCppType missingCppType

8
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_consistency_unsound.expected
View File

@@ -12,7 +12,11 @@ unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions operandAcrossFunctions
instructionWithoutUniqueBlock instructionWithoutUniqueBlock
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
containsLoopOfForwardEdges containsLoopOfForwardEdges
missingIRType
multipleIRTypes
lostReachability lostReachability
backEdgeCountMismatch backEdgeCountMismatch
useNotDominatedByDefinition useNotDominatedByDefinition
@@ -24,8 +28,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer fieldAddressOnNonPointer
thisArgumentIsNonPointer thisArgumentIsNonPointer
nonUniqueIRVariable nonUniqueIRVariable
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
missingIRType
multipleIRTypes
missingCppType missingCppType

8
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_consistency.expected
View File

@@ -12,7 +12,11 @@ unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions operandAcrossFunctions
instructionWithoutUniqueBlock instructionWithoutUniqueBlock
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
containsLoopOfForwardEdges containsLoopOfForwardEdges
missingIRType
multipleIRTypes
lostReachability lostReachability
backEdgeCountMismatch backEdgeCountMismatch
useNotDominatedByDefinition useNotDominatedByDefinition
@@ -24,8 +28,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer fieldAddressOnNonPointer
thisArgumentIsNonPointer thisArgumentIsNonPointer
nonUniqueIRVariable nonUniqueIRVariable
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
missingIRType
multipleIRTypes
missingCppType missingCppType

8
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_consistency_unsound.expected
View File

@@ -12,7 +12,11 @@ unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions operandAcrossFunctions
instructionWithoutUniqueBlock instructionWithoutUniqueBlock
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
containsLoopOfForwardEdges containsLoopOfForwardEdges
missingIRType
multipleIRTypes
lostReachability lostReachability
backEdgeCountMismatch backEdgeCountMismatch
useNotDominatedByDefinition useNotDominatedByDefinition
@@ -24,8 +28,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer fieldAddressOnNonPointer
thisArgumentIsNonPointer thisArgumentIsNonPointer
nonUniqueIRVariable nonUniqueIRVariable
missingCanonicalLanguageType
multipleCanonicalLanguageTypes
missingIRType
multipleIRTypes
missingCppType missingCppType

2
cpp/ql/test/library-tests/ir/types/irtypes.expected
View File

@@ -1,2 +1,2 @@
failures
testFailures testFailures
failures