hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 07:45:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Update expected test results

Browse Source
This commit is contained in:
Jeroen Ketema
2026-03-25 16:36:31 +01:00
parent ef780c15fb
commit ab1f0c13e5
8 changed files with 0 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
View File

@@ -36,12 +36,6 @@ irTypeBugs
| ../../../include/iterator.h:31:16:31:25 | ../../../include/iterator.h:31:16:31:25 | ../../../include/iterator.h:31:16:31:25 | [summary] read: Argument[this].Element[*] in operator-> |
| ../../../include/iterator.h:31:16:31:25 | ../../../include/iterator.h:31:16:31:25 | ../../../include/iterator.h:31:16:31:25 | [summary] to write: ReturnValue[**] in operator-> |
| ../../../include/iterator.h:31:16:31:25 | ../../../include/iterator.h:31:16:31:25 | ../../../include/iterator.h:31:16:31:25 | [summary] to write: ReturnValue[*] in operator-> |
| ../../../include/iterator.h:50:14:50:22 | ../../../include/iterator.h:50:14:50:22 | ../../../include/iterator.h:50:14:50:22 | container |
| ../../../include/iterator.h:50:14:50:22 | ../../../include/iterator.h:50:14:50:22 | ../../../include/iterator.h:50:14:50:22 | container |
| ../../../include/iterator.h:50:14:50:22 | ../../../include/iterator.h:50:14:50:22 | ../../../include/iterator.h:50:14:50:22 | container |
| ../../../include/iterator.h:75:14:75:22 | ../../../include/iterator.h:75:14:75:22 | ../../../include/iterator.h:75:14:75:22 | container |
| ../../../include/iterator.h:75:14:75:22 | ../../../include/iterator.h:75:14:75:22 | ../../../include/iterator.h:75:14:75:22 | container |
| ../../../include/iterator.h:75:14:75:22 | ../../../include/iterator.h:75:14:75:22 | ../../../include/iterator.h:75:14:75:22 | container |
| test.cpp:356:7:356:11 | test.cpp:356:7:356:11 | test.cpp:356:7:356:11 | field |
| test.cpp:356:7:356:11 | test.cpp:356:7:356:11 | test.cpp:356:7:356:11 | field |
| test.cpp:356:7:356:11 | test.cpp:356:7:356:11 | test.cpp:356:7:356:11 | field |

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

@@ -21682,19 +21682,6 @@ ir.cpp:
# 2905| v2905_20(void) = AliasedUse : ~m2905_16
# 2905| v2905_21(void) = ExitFunction :
# 2906| T StructInitFromTemplate<T>::t
# 2906| Block 0
# 2906| v2906_1(void) = EnterFunction :
# 2906| m2906_2(unknown) = AliasedDefinition :
# 2906| m2906_3(unknown) = InitializeNonLocal :
# 2906| m2906_4(unknown) = Chi : total:m2906_2, partial:m2906_3
# 2906| r2906_5(glval<unknown>) = VariableAddress[#this] :
# 2906| m2906_6(glval<StructInitFromTemplate<T>>) = InitializeParameter[#this] : &:r2906_5
# 2906| r2906_7(glval<StructInitFromTemplate<T>>) = Load[#this] : &:r2906_5, m2906_6
# 2906| m2906_8(StructInitFromTemplate<T>) = InitializeIndirection[#this] : &:r2906_7
# 2906| r2906_9(glval<T>) = FieldAddress[t] : r2906_7
# 2906| r2906_10(glval<T>) = VariableAddress :
# 2906| int StructInitFromTemplate<int>::t
# 2906| Block 0
# 2906| v2906_1(void) = EnterFunction :

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

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Instruction 'VariableAddress: temporary object' has no successors in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction
@@ -30,6 +29,5 @@ fieldAddressOnNonPointer
thisArgumentIsNonPointer
| ir.cpp:2548:34:2548:34 | Call: call to operator bool | Call instruction 'Call: call to operator bool' has a `this` argument operand that is not an address, in function '$@'. | ir.cpp:2547:6:2547:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Variable address instruction 'VariableAddress: temporary object' has no associated variable, in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
nonBooleanOperand
missingCppType

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

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Instruction 'VariableAddress: temporary object' has no successors in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction
@@ -30,6 +29,5 @@ fieldAddressOnNonPointer
thisArgumentIsNonPointer
| ir.cpp:2548:34:2548:34 | Call: call to operator bool | Call instruction 'Call: call to operator bool' has a `this` argument operand that is not an address, in function '$@'. | ir.cpp:2547:6:2547:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Variable address instruction 'VariableAddress: temporary object' has no associated variable, in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
nonBooleanOperand
missingCppType

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

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Instruction 'VariableAddress: temporary object' has no successors in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction
@@ -30,6 +29,5 @@ fieldAddressOnNonPointer
thisArgumentIsNonPointer
| ir.cpp:2548:34:2548:34 | Call: call to operator bool | Call instruction 'Call: call to operator bool' has a `this` argument operand that is not an address, in function '$@'. | ir.cpp:2547:6:2547:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Variable address instruction 'VariableAddress: temporary object' has no associated variable, in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
nonBooleanOperand
missingCppType

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

@@ -19697,23 +19697,6 @@ ir.cpp:
# 2905| v2905_16(void) = AliasedUse : ~m?
# 2905| v2905_17(void) = ExitFunction :
# 2906| T StructInitFromTemplate<T>::t
# 2906| Block 0
# 2906| v2906_1(void) = EnterFunction :
# 2906| mu2906_2(unknown) = AliasedDefinition :
# 2906| mu2906_3(unknown) = InitializeNonLocal :
# 2906| r2906_4(glval<unknown>) = VariableAddress[#this] :
# 2906| mu2906_5(glval<StructInitFromTemplate<T>>) = InitializeParameter[#this] : &:r2906_4
# 2906| r2906_6(glval<StructInitFromTemplate<T>>) = Load[#this] : &:r2906_4, ~m?
# 2906| mu2906_7(StructInitFromTemplate<T>) = InitializeIndirection[#this] : &:r2906_6
# 2906| r2906_8(glval<T>) = FieldAddress[t] : r2906_6
# 2906| r2906_9(glval<T>) = VariableAddress :
# 2906| Block 1
# 2906| v2906_10(void) = ReturnVoid :
# 2906| v2906_11(void) = AliasedUse : ~m?
# 2906| v2906_12(void) = ExitFunction :
# 2906| int StructInitFromTemplate<int>::t
# 2906| Block 0
# 2906| v2906_1(void) = EnterFunction :

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

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Instruction 'VariableAddress: temporary object' has no successors in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction
@@ -30,6 +29,5 @@ fieldAddressOnNonPointer
thisArgumentIsNonPointer
| ir.cpp:2548:34:2548:34 | Call: call to operator bool | Call instruction 'Call: call to operator bool' has a `this` argument operand that is not an address, in function '$@'. | ir.cpp:2547:6:2547:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Variable address instruction 'VariableAddress: temporary object' has no associated variable, in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
nonBooleanOperand
missingCppType

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

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Instruction 'VariableAddress: temporary object' has no successors in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction
@@ -30,6 +29,5 @@ fieldAddressOnNonPointer
thisArgumentIsNonPointer
| ir.cpp:2548:34:2548:34 | Call: call to operator bool | Call instruction 'Call: call to operator bool' has a `this` argument operand that is not an address, in function '$@'. | ir.cpp:2547:6:2547:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
| ir.cpp:2906:11:2906:13 | VariableAddress: temporary object | Variable address instruction 'VariableAddress: temporary object' has no associated variable, in function '$@'. | ir.cpp:2906:7:2906:7 | T StructInitFromTemplate<T>::t | T StructInitFromTemplate<T>::t |
nonBooleanOperand
missingCppType