Skip to content

Commit fd9c8ca

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent 19a9095 commit fd9c8ca

7 files changed

Lines changed: 12 additions & 53 deletions

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

Lines changed: 6 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -21785,25 +21785,12 @@ ir.cpp:
2178521785
# 2928| r2928_5(glval<PointerWrapper>) = VariableAddress[#temp2928:3] :
2178621786
# 2928| m2928_6(PointerWrapper) = Store[#temp2928:3] : &:r2928_5, r2928_2
2178721787
# 2928| r2928_7(glval<Point>) = FieldAddress[point] : r2928_5
21788-
#-----| Goto -> Block 3
21789-
#-----| Goto -> Block 2
21790-
21791-
# 2928| Block 1
21792-
# 2928| r2928_8(glval<int>) = FieldAddress[x] :
21793-
# 2928| r2928_9(int) = Load[?] : &:r2928_8, ~m2928_4
21794-
# 2929| v2929_1(void) = NoOp :
21795-
# 2927| v2927_5(void) = ReturnVoid :
21796-
# 2927| v2927_6(void) = AliasedUse : ~m2928_4
21797-
# 2927| v2927_7(void) = ExitFunction :
21798-
21799-
# 2928| Block 2
21800-
# 2928| r2928_10(glval<Point>) = VariableAddress[#temp2928:17] :
21801-
# 2928| m2928_11(Point) = Store[#temp2928:17] : &:r2928_10, r2928_7
21802-
#-----| Goto -> Block 1
21803-
21804-
# 2928| Block 3
21805-
# 2928| r2928_12(Point) = Load[?] : &:r2928_7, ~m2928_6
21806-
#-----| Goto -> Block 1
21788+
# 2928| r2928_8(glval<int>) = FieldAddress[x] : r2928_7
21789+
# 2928| r2928_9(int) = Load[?] : &:r2928_8, ~m2928_6
21790+
# 2929| v2929_1(void) = NoOp :
21791+
# 2927| v2927_5(void) = ReturnVoid :
21792+
# 2927| v2927_6(void) = AliasedUse : ~m2928_4
21793+
# 2927| v2927_7(void) = ExitFunction :
2180721794

2180821795
ir23.cpp:
2180921796
# 1| bool consteval_1()

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

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
missingOperand
2-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
32
unexpectedOperand
43
duplicateOperand
54
missingPhiOperand
@@ -8,7 +7,6 @@ duplicateChiOperand
87
sideEffectWithoutPrimary
98
instructionWithoutSuccessor
109
ambiguousSuccessors
11-
| ir.cpp:2928:17:2928:21 | FieldAddress: point | Instruction 'FieldAddress: point' has 2 successors of kind 'Goto' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
1210
unexplainedLoop
1311
unnecessaryPhiInstruction
1412
memoryOperandDefinitionIsUnmodeled
@@ -28,7 +26,6 @@ wronglyMarkedAsConflated
2826
invalidOverlap
2927
nonUniqueEnclosingIRFunction
3028
fieldAddressOnNonPointer
31-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | FieldAddress instruction 'FieldAddress: x' has an object address operand that is not an address, in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
3229
thisArgumentIsNonPointer
3330
| 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) |
3431
nonUniqueIRVariable

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

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
missingOperand
2-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
32
unexpectedOperand
43
duplicateOperand
54
missingPhiOperand
@@ -8,7 +7,6 @@ duplicateChiOperand
87
sideEffectWithoutPrimary
98
instructionWithoutSuccessor
109
ambiguousSuccessors
11-
| ir.cpp:2928:17:2928:21 | FieldAddress: point | Instruction 'FieldAddress: point' has 2 successors of kind 'Goto' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
1210
unexplainedLoop
1311
unnecessaryPhiInstruction
1412
memoryOperandDefinitionIsUnmodeled
@@ -28,7 +26,6 @@ wronglyMarkedAsConflated
2826
invalidOverlap
2927
nonUniqueEnclosingIRFunction
3028
fieldAddressOnNonPointer
31-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | FieldAddress instruction 'FieldAddress: x' has an object address operand that is not an address, in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
3229
thisArgumentIsNonPointer
3330
| 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) |
3431
nonUniqueIRVariable

‎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,5 +1,4 @@
11
missingOperand
2-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
32
unexpectedOperand
43
duplicateOperand
54
missingPhiOperand
@@ -8,7 +7,6 @@ duplicateChiOperand
87
sideEffectWithoutPrimary
98
instructionWithoutSuccessor
109
ambiguousSuccessors
11-
| ir.cpp:2928:17:2928:21 | FieldAddress: point | Instruction 'FieldAddress: point' has 2 successors of kind 'Goto' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
1210
unexplainedLoop
1311
unnecessaryPhiInstruction
1412
memoryOperandDefinitionIsUnmodeled
@@ -28,7 +26,6 @@ wronglyMarkedAsConflated
2826
invalidOverlap
2927
nonUniqueEnclosingIRFunction
3028
fieldAddressOnNonPointer
31-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | FieldAddress instruction 'FieldAddress: x' has an object address operand that is not an address, in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
3229
thisArgumentIsNonPointer
3330
| 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) |
3431
nonUniqueIRVariable

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

Lines changed: 6 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -19788,25 +19788,12 @@ ir.cpp:
1978819788
# 2928| r2928_4(glval<PointerWrapper>) = VariableAddress[#temp2928:3] :
1978919789
# 2928| mu2928_5(PointerWrapper) = Store[#temp2928:3] : &:r2928_4, r2928_2
1979019790
# 2928| r2928_6(glval<Point>) = FieldAddress[point] : r2928_4
19791-
#-----| Goto -> Block 3
19792-
#-----| Goto -> Block 2
19793-
19794-
# 2928| Block 1
19795-
# 2928| r2928_7(glval<int>) = FieldAddress[x] :
19796-
# 2928| r2928_8(int) = Load[?] : &:r2928_7, ~m?
19797-
# 2929| v2929_1(void) = NoOp :
19798-
# 2927| v2927_4(void) = ReturnVoid :
19799-
# 2927| v2927_5(void) = AliasedUse : ~m?
19800-
# 2927| v2927_6(void) = ExitFunction :
19801-
19802-
# 2928| Block 2
19803-
# 2928| r2928_9(glval<Point>) = VariableAddress[#temp2928:17] :
19804-
# 2928| mu2928_10(Point) = Store[#temp2928:17] : &:r2928_9, r2928_6
19805-
#-----| Goto -> Block 1
19806-
19807-
# 2928| Block 3
19808-
# 2928| r2928_11(Point) = Load[?] : &:r2928_6, ~m?
19809-
#-----| Goto -> Block 1
19791+
# 2928| r2928_7(glval<int>) = FieldAddress[x] : r2928_6
19792+
# 2928| r2928_8(int) = Load[?] : &:r2928_7, ~m?
19793+
# 2929| v2929_1(void) = NoOp :
19794+
# 2927| v2927_4(void) = ReturnVoid :
19795+
# 2927| v2927_5(void) = AliasedUse : ~m?
19796+
# 2927| v2927_6(void) = ExitFunction :
1981019797

1981119798
ir23.cpp:
1981219799
# 1| bool consteval_1()

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

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
missingOperand
2-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
32
unexpectedOperand
43
duplicateOperand
54
missingPhiOperand
@@ -8,7 +7,6 @@ duplicateChiOperand
87
sideEffectWithoutPrimary
98
instructionWithoutSuccessor
109
ambiguousSuccessors
11-
| ir.cpp:2928:17:2928:21 | FieldAddress: point | Instruction 'FieldAddress: point' has 2 successors of kind 'Goto' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
1210
unexplainedLoop
1311
unnecessaryPhiInstruction
1412
memoryOperandDefinitionIsUnmodeled
@@ -28,7 +26,6 @@ wronglyMarkedAsConflated
2826
invalidOverlap
2927
nonUniqueEnclosingIRFunction
3028
fieldAddressOnNonPointer
31-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | FieldAddress instruction 'FieldAddress: x' has an object address operand that is not an address, in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
3229
thisArgumentIsNonPointer
3330
| 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) |
3431
nonUniqueIRVariable

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

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
missingOperand
2-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | Instruction 'FieldAddress' is missing an expected operand with tag 'Unary' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
32
unexpectedOperand
43
duplicateOperand
54
missingPhiOperand
@@ -8,7 +7,6 @@ duplicateChiOperand
87
sideEffectWithoutPrimary
98
instructionWithoutSuccessor
109
ambiguousSuccessors
11-
| ir.cpp:2928:17:2928:21 | FieldAddress: point | Instruction 'FieldAddress: point' has 2 successors of kind 'Goto' in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
1210
unexplainedLoop
1311
unnecessaryPhiInstruction
1412
memoryOperandDefinitionIsUnmodeled
@@ -28,7 +26,6 @@ wronglyMarkedAsConflated
2826
invalidOverlap
2927
nonUniqueEnclosingIRFunction
3028
fieldAddressOnNonPointer
31-
| ir.cpp:2928:23:2928:23 | FieldAddress: x | FieldAddress instruction 'FieldAddress: x' has an object address operand that is not an address, in function '$@'. | ir.cpp:2927:6:2927:9 | void test() | void test() |
3229
thisArgumentIsNonPointer
3330
| 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) |
3431
nonUniqueIRVariable

0 commit comments

Comments
 (0)