hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-20 14:34:04 +02: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 16:03:06 +01:00
parent 180888616b
commit 8f11cb64ec
8 changed files with 59 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -15903,21 +15903,32 @@ ir.cpp:
# 2434| void rethrow_with_destruction(int)
# 2434| Block 0
# 2434| v2434_1(void) = EnterFunction :
# 2434| m2434_2(unknown) = AliasedDefinition :
# 2434| m2434_3(unknown) = InitializeNonLocal :
# 2434| m2434_4(unknown) = Chi : total:m2434_2, partial:m2434_3
# 2434| r2434_5(glval<int>) = VariableAddress[x] :
# 2434| m2434_6(int) = InitializeParameter[x] : &:r2434_5
# 2435| r2435_1(glval<ClassWithDestructor>) = VariableAddress[c] :
# 2435| m2435_2(ClassWithDestructor) = Uninitialized[c] : &:r2435_1
# 2435| r2435_3(glval<unknown>) = FunctionAddress[ClassWithDestructor] :
# 2435| v2435_4(void) = Call[ClassWithDestructor] : func:r2435_3, this:r2435_1
# 2435| m2435_5(unknown) = ^CallSideEffect : ~m2434_4
# 2435| m2435_6(unknown) = Chi : total:m2434_4, partial:m2435_5
# 2435| m2435_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2435_1
# 2435| m2435_8(ClassWithDestructor) = Chi : total:m2435_2, partial:m2435_7
# 2436| v2436_1(void) = ReThrow :
# 2434| v2434_1(void) = EnterFunction :
# 2434| m2434_2(unknown) = AliasedDefinition :
# 2434| m2434_3(unknown) = InitializeNonLocal :
# 2434| m2434_4(unknown) = Chi : total:m2434_2, partial:m2434_3
# 2434| r2434_5(glval<int>) = VariableAddress[x] :
# 2434| m2434_6(int) = InitializeParameter[x] : &:r2434_5
# 2435| r2435_1(glval<ClassWithDestructor>) = VariableAddress[c] :
# 2435| m2435_2(ClassWithDestructor) = Uninitialized[c] : &:r2435_1
# 2435| r2435_3(glval<unknown>) = FunctionAddress[ClassWithDestructor] :
# 2435| v2435_4(void) = Call[ClassWithDestructor] : func:r2435_3, this:r2435_1
# 2435| m2435_5(unknown) = ^CallSideEffect : ~m2434_4
# 2435| m2435_6(unknown) = Chi : total:m2434_4, partial:m2435_5
# 2435| m2435_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2435_1
# 2435| m2435_8(ClassWithDestructor) = Chi : total:m2435_2, partial:m2435_7
# 2436| v2436_1(void) = ReThrow :
# 2437| r2437_1(glval<ClassWithDestructor>) = VariableAddress[c] :
# 2437| r2437_2(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2437| v2437_3(void) = Call[~ClassWithDestructor] : func:r2437_2, this:r2437_1
# 2437| m2437_4(unknown) = ^CallSideEffect : ~m2435_6
# 2437| m2437_5(unknown) = Chi : total:m2435_6, partial:m2437_4
# 2437| v2437_6(void) = ^IndirectReadSideEffect[-1] : &:r2437_1, m2435_8
# 2437| m2437_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2437_1
# 2437| m2437_8(ClassWithDestructor) = Chi : total:m2435_8, partial:m2437_7
# 2434| v2434_7(void) = ReturnVoid :
# 2434| v2434_8(void) = AliasedUse : ~m2437_5
# 2434| v2434_9(void) = ExitFunction :
perf-regression.cpp:
# 6| void Big::Big()

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

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2436:5:2436:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | ir.cpp:2434:6:2434:29 | void rethrow_with_destruction(int) | void rethrow_with_destruction(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

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

@@ -9,7 +9,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2436:5:2436:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | ir.cpp:2434:6:2434:29 | void rethrow_with_destruction(int) | void rethrow_with_destruction(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

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

@@ -13369,6 +13369,7 @@
| ir.cpp:2431:14:2431:14 | Unary | r2431_2 |
| ir.cpp:2434:6:2434:29 | ChiPartial | partial:m2434_3 |
| ir.cpp:2434:6:2434:29 | ChiTotal | total:m2434_2 |
| ir.cpp:2434:6:2434:29 | SideEffect | ~m2437_5 |
| ir.cpp:2434:35:2434:35 | Address | &:r2434_5 |
| ir.cpp:2435:25:2435:25 | Address | &:r2435_1 |
| ir.cpp:2435:25:2435:25 | Address | &:r2435_1 |
@@ -13379,6 +13380,16 @@
| ir.cpp:2435:25:2435:25 | ChiTotal | total:m2434_4 |
| ir.cpp:2435:25:2435:25 | ChiTotal | total:m2435_2 |
| ir.cpp:2435:25:2435:25 | SideEffect | ~m2434_4 |
| ir.cpp:2437:1:2437:1 | Address | &:r2437_1 |
| ir.cpp:2437:1:2437:1 | Address | &:r2437_1 |
| ir.cpp:2437:1:2437:1 | Arg(this) | this:r2437_1 |
| ir.cpp:2437:1:2437:1 | CallTarget | func:r2437_2 |
| ir.cpp:2437:1:2437:1 | ChiPartial | partial:m2437_4 |
| ir.cpp:2437:1:2437:1 | ChiPartial | partial:m2437_7 |
| ir.cpp:2437:1:2437:1 | ChiTotal | total:m2435_6 |
| ir.cpp:2437:1:2437:1 | ChiTotal | total:m2435_8 |
| ir.cpp:2437:1:2437:1 | SideEffect | m2435_8 |
| ir.cpp:2437:1:2437:1 | SideEffect | ~m2435_6 |
| perf-regression.cpp:6:3:6:5 | Address | &:r6_5 |
| perf-regression.cpp:6:3:6:5 | Address | &:r6_5 |
| perf-regression.cpp:6:3:6:5 | Address | &:r6_7 |

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

@@ -6,8 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2436:5:2436:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | ir.cpp:2434:6:2434:29 | void rethrow_with_destruction(int) | void rethrow_with_destruction(int) |
| ir.cpp:2437:1:2437:1 | IndirectMayWriteSideEffect: c | Instruction 'IndirectMayWriteSideEffect: c' has no successors in function '$@'. | ir.cpp:2434:6:2434:29 | void rethrow_with_destruction(int) | void rethrow_with_destruction(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

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

@@ -14646,38 +14646,34 @@ ir.cpp:
# 2434| void rethrow_with_destruction(int)
# 2434| Block 0
# 2434| v2434_1(void) = EnterFunction :
# 2434| mu2434_2(unknown) = AliasedDefinition :
# 2434| mu2434_3(unknown) = InitializeNonLocal :
# 2434| r2434_4(glval<int>) = VariableAddress[x] :
# 2434| mu2434_5(int) = InitializeParameter[x] : &:r2434_4
# 2435| r2435_1(glval<ClassWithDestructor>) = VariableAddress[c] :
# 2435| mu2435_2(ClassWithDestructor) = Uninitialized[c] : &:r2435_1
# 2435| r2435_3(glval<unknown>) = FunctionAddress[ClassWithDestructor] :
# 2435| v2435_4(void) = Call[ClassWithDestructor] : func:r2435_3, this:r2435_1
# 2435| mu2435_5(unknown) = ^CallSideEffect : ~m?
# 2435| mu2435_6(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2435_1
# 2436| v2436_1(void) = ReThrow :
# 2434| Block 1
# 2434| v2434_6(void) = AliasedUse : ~m?
# 2434| v2434_7(void) = ExitFunction :
# 2434| Block 2
# 2434| v2434_8(void) = ReturnVoid :
#-----| Goto -> Block 1
# 2434| Block 3
# 2434| v2434_9(void) = Unwind :
#-----| Goto -> Block 1
# 2437| Block 4
# 2434| v2434_1(void) = EnterFunction :
# 2434| mu2434_2(unknown) = AliasedDefinition :
# 2434| mu2434_3(unknown) = InitializeNonLocal :
# 2434| r2434_4(glval<int>) = VariableAddress[x] :
# 2434| mu2434_5(int) = InitializeParameter[x] : &:r2434_4
# 2435| r2435_1(glval<ClassWithDestructor>) = VariableAddress[c] :
# 2435| mu2435_2(ClassWithDestructor) = Uninitialized[c] : &:r2435_1
# 2435| r2435_3(glval<unknown>) = FunctionAddress[ClassWithDestructor] :
# 2435| v2435_4(void) = Call[ClassWithDestructor] : func:r2435_3, this:r2435_1
# 2435| mu2435_5(unknown) = ^CallSideEffect : ~m?
# 2435| mu2435_6(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2435_1
# 2436| v2436_1(void) = ReThrow :
# 2437| r2437_1(glval<ClassWithDestructor>) = VariableAddress[c] :
# 2437| r2437_2(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2437| v2437_3(void) = Call[~ClassWithDestructor] : func:r2437_2, this:r2437_1
# 2437| mu2437_4(unknown) = ^CallSideEffect : ~m?
# 2437| v2437_5(void) = ^IndirectReadSideEffect[-1] : &:r2437_1, ~m?
# 2437| mu2437_6(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2437_1
# 2434| v2434_6(void) = ReturnVoid :
#-----| Goto -> Block 1
# 2434| Block 1
# 2434| v2434_7(void) = AliasedUse : ~m?
# 2434| v2434_8(void) = ExitFunction :
# 2434| Block 2
# 2434| v2434_9(void) = Unwind :
#-----| Goto -> Block 1
perf-regression.cpp:
# 6| void Big::Big()

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

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2436:5:2436:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | ir.cpp:2434:6:2434:29 | void rethrow_with_destruction(int) | void rethrow_with_destruction(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

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

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:2436:5:2436:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | ir.cpp:2434:6:2434:29 | void rethrow_with_destruction(int) | void rethrow_with_destruction(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction