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

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-04-04 10:12:03 +01:00
parent bef0a159c0
commit ea180c07e4
8 changed files with 254 additions and 370 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -7,9 +7,6 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| ssa.c:3:14:3:16 | Uninitialized: definition of foo | Instruction 'Uninitialized: definition of foo' has 2 successors of kind 'Goto' in function '$@'. | ssa.c:2:6:2:22 | void named_designators() | void named_designators() |
| ssa.c:7:13:7:37 | PointerAdd: {...} | Instruction 'PointerAdd: {...}' has 2 successors of kind 'Goto' in function '$@'. | ssa.c:6:6:6:25 | void repeated_designators() | void repeated_designators() |
| ssa.cpp:418:16:418:46 | PointerAdd: {...} | Instruction 'PointerAdd: {...}' has 2 successors of kind 'Goto' in function '$@'. | ssa.cpp:417:6:417:29 | void nested_array_designators() | void nested_array_designators() |
unexplainedLoop
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled

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

@@ -7,9 +7,6 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| ssa.c:3:14:3:16 | Uninitialized: definition of foo | Instruction 'Uninitialized: definition of foo' has 2 successors of kind 'Goto' in function '$@'. | ssa.c:2:6:2:22 | void named_designators() | void named_designators() |
| ssa.c:7:13:7:37 | PointerAdd: {...} | Instruction 'PointerAdd: {...}' has 2 successors of kind 'Goto' in function '$@'. | ssa.c:6:6:6:25 | void repeated_designators() | void repeated_designators() |
| ssa.cpp:418:16:418:46 | PointerAdd: {...} | Instruction 'PointerAdd: {...}' has 2 successors of kind 'Goto' in function '$@'. | ssa.cpp:417:6:417:29 | void nested_array_designators() | void nested_array_designators() |
unexplainedLoop
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled

162
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
View File

@@ -1,48 +1,38 @@
ssa.c:
# 2| void named_designators()
# 2| Block 0
# 2| v2_1(void) = EnterFunction :
# 2| m2_2(unknown) = AliasedDefinition :
# 2| m2_3(unknown) = InitializeNonLocal :
# 2| m2_4(unknown) = Chi : total:m2_2, partial:m2_3
# 3| r3_1(glval<Foo>) = VariableAddress[foo] :
# 3| m3_2(Foo) = Uninitialized[foo] : &:r3_1
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 3| Block 1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_5(int) = Constant[0] :
# 3| r3_7(glval<int>) = PointerAdd[4] : r3_3, r3_5
# 3| r3_9(int) = Constant[1234] :
# 3| m3_11(int) = Store[?] : &:r3_7, r3_9
# 3| m3_13(Foo) = Chi : total:m3_2, partial:m3_11
# 3| r3_15(int) = Constant[1] :
# 3| r3_17(glval<int>) = PointerAdd[4] : r3_3, r3_15
# 3| r3_19(int) = Constant[0] :
# 3| m3_21(int) = Store[?] : &:r3_17, r3_19
# 3| m3_23(Foo) = Chi : total:m3_13, partial:m3_21
#-----| Goto -> Block 3
# 3| Block 1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_5(int) = Constant[0] :
# 3| r3_7(glval<int>) = PointerAdd[4] : r3_3, r3_5
# 3| r3_9(int) = Constant[0] :
# 3| m3_11(int) = Store[?] : &:r3_7, r3_9
# 3| m3_13(Foo) = Chi : total:m3_2, partial:m3_11
# 3| r3_15(int) = Constant[1] :
# 3| r3_17(glval<int>) = PointerAdd[4] : r3_3, r3_15
# 3| r3_19(int) = Constant[5678] :
# 3| m3_21(int) = Store[?] : &:r3_17, r3_19
# 3| m3_23(Foo) = Chi : total:m3_13, partial:m3_21
#-----| Goto -> Block 3
# 4| Block 3
# 4| v4_1(void) = NoOp :
# 2| v2_5(void) = ReturnVoid :
# 2| v2_6(void) = AliasedUse : m2_3
# 2| v2_7(void) = ExitFunction :
# 2| v2_1(void) = EnterFunction :
# 2| m2_2(unknown) = AliasedDefinition :
# 2| m2_3(unknown) = InitializeNonLocal :
# 2| m2_4(unknown) = Chi : total:m2_2, partial:m2_3
# 3| r3_1(glval<Foo>) = VariableAddress[foo] :
# 3| m3_2(Foo) = Uninitialized[foo] : &:r3_1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_4(int) = Constant[0] :
# 3| r3_5(glval<int>) = PointerAdd[4] : r3_3, r3_4
# 3| r3_6(int) = Constant[1234] :
# 3| m3_7(int) = Store[?] : &:r3_5, r3_6
# 3| m3_8(Foo) = Chi : total:m3_2, partial:m3_7
# 3| r3_9(int) = Constant[1] :
# 3| r3_10(glval<int>) = PointerAdd[4] : r3_3, r3_9
# 3| r3_11(int) = Constant[0] :
# 3| m3_12(int) = Store[?] : &:r3_10, r3_11
# 3| m3_13(Foo) = Chi : total:m3_8, partial:m3_12
# 3| r3_14(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_15(int) = Constant[0] :
# 3| r3_16(glval<int>) = PointerAdd[4] : r3_14, r3_15
# 3| r3_17(int) = Constant[0] :
# 3| m3_18(int) = Store[?] : &:r3_16, r3_17
# 3| m3_19(Foo) = Chi : total:m3_13, partial:m3_18
# 3| r3_20(int) = Constant[1] :
# 3| r3_21(glval<int>) = PointerAdd[4] : r3_14, r3_20
# 3| r3_22(int) = Constant[5678] :
# 3| m3_23(int) = Store[?] : &:r3_21, r3_22
# 3| m3_24(Foo) = Chi : total:m3_19, partial:m3_23
# 4| v4_1(void) = NoOp :
# 2| v2_5(void) = ReturnVoid :
# 2| v2_6(void) = AliasedUse : m2_3
# 2| v2_7(void) = ExitFunction :
# 6| void repeated_designators()
# 6| Block 0
@@ -54,24 +44,16 @@ ssa.c:
# 7| m7_2(int[1]) = Uninitialized[x] : &:r7_1
# 7| r7_3(int) = Constant[0] :
# 7| r7_4(glval<int>) = PointerAdd[4] : r7_1, r7_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 7| Block 1
# 7| r7_5(int) = Constant[1234] :
# 7| m7_7(int) = Store[?] : &:r7_4, r7_5
#-----| Goto -> Block 3
# 7| Block 1
# 7| r7_5(int) = Constant[5678] :
# 7| m7_7(int) = Store[?] : &:r7_4, r7_5
#-----| Goto -> Block 3
# 8| Block 3
# 8| v8_1(void) = NoOp :
# 6| v6_5(void) = ReturnVoid :
# 6| v6_6(void) = AliasedUse : m6_3
# 6| v6_7(void) = ExitFunction :
# 7| r7_5(int) = Constant[1234] :
# 7| m7_6(int) = Store[?] : &:r7_4, r7_5
# 7| r7_7(int) = Constant[0] :
# 7| r7_8(glval<int>) = PointerAdd[4] : r7_1, r7_7
# 7| r7_9(int) = Constant[5678] :
# 7| m7_10(int) = Store[?] : &:r7_8, r7_9
# 8| v8_1(void) = NoOp :
# 6| v6_5(void) = ReturnVoid :
# 6| v6_6(void) = AliasedUse : m6_3
# 6| v6_7(void) = ExitFunction :
ssa.cpp:
# 13| int ChiPhiNode(Point*, bool, bool)
@@ -1978,37 +1960,29 @@ ssa.cpp:
# 418| m418_2(int[1][2]) = Uninitialized[x] : &:r418_1
# 418| r418_3(int) = Constant[0] :
# 418| r418_4(glval<int[2]>) = PointerAdd[8] : r418_1, r418_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 418| Block 1
# 418| r418_5(int) = Constant[0] :
# 418| r418_7(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_9(int) = Constant[0] :
# 418| m418_11(int) = Store[?] : &:r418_7, r418_9
# 418| m418_13(int[1][2]) = Chi : total:m418_2, partial:m418_11
# 418| r418_15(int) = Constant[1] :
# 418| r418_17(glval<int>) = PointerAdd[4] : r418_4, r418_15
# 418| r418_19(int) = Constant[5678] :
# 418| m418_21(int) = Store[?] : &:r418_17, r418_19
# 418| m418_23(int[1][2]) = Chi : total:m418_13, partial:m418_21
#-----| Goto -> Block 3
# 418| Block 1
# 418| r418_5(int) = Constant[0] :
# 418| r418_7(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_9(int) = Constant[1234] :
# 418| m418_11(int) = Store[?] : &:r418_7, r418_9
# 418| m418_13(int[1][2]) = Chi : total:m418_2, partial:m418_11
# 418| r418_15(int) = Constant[1] :
# 418| r418_17(glval<int>) = PointerAdd[4] : r418_4, r418_15
# 418| r418_19(int) = Constant[0] :
# 418| m418_21(int) = Store[?] : &:r418_17, r418_19
# 418| m418_23(int[1][2]) = Chi : total:m418_13, partial:m418_21
#-----| Goto -> Block 3
# 419| Block 3
# 419| v419_1(void) = NoOp :
# 417| v417_5(void) = ReturnVoid :
# 417| v417_6(void) = AliasedUse : m417_3
# 417| v417_7(void) = ExitFunction :
# 418| r418_5(int) = Constant[0] :
# 418| r418_6(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_7(int) = Constant[1234] :
# 418| m418_8(int) = Store[?] : &:r418_6, r418_7
# 418| m418_9(int[1][2]) = Chi : total:m418_2, partial:m418_8
# 418| r418_10(int) = Constant[1] :
# 418| r418_11(glval<int>) = PointerAdd[4] : r418_4, r418_10
# 418| r418_12(int) = Constant[0] :
# 418| m418_13(int) = Store[?] : &:r418_11, r418_12
# 418| m418_14(int[1][2]) = Chi : total:m418_9, partial:m418_13
# 418| r418_15(int) = Constant[0] :
# 418| r418_16(glval<int[2]>) = PointerAdd[8] : r418_1, r418_15
# 418| r418_17(int) = Constant[0] :
# 418| r418_18(glval<int>) = PointerAdd[4] : r418_16, r418_17
# 418| r418_19(int) = Constant[0] :
# 418| m418_20(int) = Store[?] : &:r418_18, r418_19
# 418| m418_21(int[1][2]) = Chi : total:m418_14, partial:m418_20
# 418| r418_22(int) = Constant[1] :
# 418| r418_23(glval<int>) = PointerAdd[4] : r418_16, r418_22
# 418| r418_24(int) = Constant[5678] :
# 418| m418_25(int) = Store[?] : &:r418_23, r418_24
# 418| m418_26(int[1][2]) = Chi : total:m418_21, partial:m418_25
# 419| v419_1(void) = NoOp :
# 417| v417_5(void) = ReturnVoid :
# 417| v417_6(void) = AliasedUse : m417_3
# 417| v417_7(void) = ExitFunction :

162
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected
View File

@@ -1,48 +1,38 @@
ssa.c:
# 2| void named_designators()
# 2| Block 0
# 2| v2_1(void) = EnterFunction :
# 2| m2_2(unknown) = AliasedDefinition :
# 2| m2_3(unknown) = InitializeNonLocal :
# 2| m2_4(unknown) = Chi : total:m2_2, partial:m2_3
# 3| r3_1(glval<Foo>) = VariableAddress[foo] :
# 3| m3_2(Foo) = Uninitialized[foo] : &:r3_1
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 3| Block 1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_5(int) = Constant[0] :
# 3| r3_7(glval<int>) = PointerAdd[4] : r3_3, r3_5
# 3| r3_9(int) = Constant[1234] :
# 3| m3_11(int) = Store[?] : &:r3_7, r3_9
# 3| m3_13(Foo) = Chi : total:m3_2, partial:m3_11
# 3| r3_15(int) = Constant[1] :
# 3| r3_17(glval<int>) = PointerAdd[4] : r3_3, r3_15
# 3| r3_19(int) = Constant[0] :
# 3| m3_21(int) = Store[?] : &:r3_17, r3_19
# 3| m3_23(Foo) = Chi : total:m3_13, partial:m3_21
#-----| Goto -> Block 3
# 3| Block 1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_5(int) = Constant[0] :
# 3| r3_7(glval<int>) = PointerAdd[4] : r3_3, r3_5
# 3| r3_9(int) = Constant[0] :
# 3| m3_11(int) = Store[?] : &:r3_7, r3_9
# 3| m3_13(Foo) = Chi : total:m3_2, partial:m3_11
# 3| r3_15(int) = Constant[1] :
# 3| r3_17(glval<int>) = PointerAdd[4] : r3_3, r3_15
# 3| r3_19(int) = Constant[5678] :
# 3| m3_21(int) = Store[?] : &:r3_17, r3_19
# 3| m3_23(Foo) = Chi : total:m3_13, partial:m3_21
#-----| Goto -> Block 3
# 4| Block 3
# 4| v4_1(void) = NoOp :
# 2| v2_5(void) = ReturnVoid :
# 2| v2_6(void) = AliasedUse : m2_3
# 2| v2_7(void) = ExitFunction :
# 2| v2_1(void) = EnterFunction :
# 2| m2_2(unknown) = AliasedDefinition :
# 2| m2_3(unknown) = InitializeNonLocal :
# 2| m2_4(unknown) = Chi : total:m2_2, partial:m2_3
# 3| r3_1(glval<Foo>) = VariableAddress[foo] :
# 3| m3_2(Foo) = Uninitialized[foo] : &:r3_1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_4(int) = Constant[0] :
# 3| r3_5(glval<int>) = PointerAdd[4] : r3_3, r3_4
# 3| r3_6(int) = Constant[1234] :
# 3| m3_7(int) = Store[?] : &:r3_5, r3_6
# 3| m3_8(Foo) = Chi : total:m3_2, partial:m3_7
# 3| r3_9(int) = Constant[1] :
# 3| r3_10(glval<int>) = PointerAdd[4] : r3_3, r3_9
# 3| r3_11(int) = Constant[0] :
# 3| m3_12(int) = Store[?] : &:r3_10, r3_11
# 3| m3_13(Foo) = Chi : total:m3_8, partial:m3_12
# 3| r3_14(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_15(int) = Constant[0] :
# 3| r3_16(glval<int>) = PointerAdd[4] : r3_14, r3_15
# 3| r3_17(int) = Constant[0] :
# 3| m3_18(int) = Store[?] : &:r3_16, r3_17
# 3| m3_19(Foo) = Chi : total:m3_13, partial:m3_18
# 3| r3_20(int) = Constant[1] :
# 3| r3_21(glval<int>) = PointerAdd[4] : r3_14, r3_20
# 3| r3_22(int) = Constant[5678] :
# 3| m3_23(int) = Store[?] : &:r3_21, r3_22
# 3| m3_24(Foo) = Chi : total:m3_19, partial:m3_23
# 4| v4_1(void) = NoOp :
# 2| v2_5(void) = ReturnVoid :
# 2| v2_6(void) = AliasedUse : m2_3
# 2| v2_7(void) = ExitFunction :
# 6| void repeated_designators()
# 6| Block 0
@@ -54,24 +44,16 @@ ssa.c:
# 7| m7_2(int[1]) = Uninitialized[x] : &:r7_1
# 7| r7_3(int) = Constant[0] :
# 7| r7_4(glval<int>) = PointerAdd[4] : r7_1, r7_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 7| Block 1
# 7| r7_5(int) = Constant[1234] :
# 7| m7_7(int) = Store[?] : &:r7_4, r7_5
#-----| Goto -> Block 3
# 7| Block 1
# 7| r7_5(int) = Constant[5678] :
# 7| m7_7(int) = Store[?] : &:r7_4, r7_5
#-----| Goto -> Block 3
# 8| Block 3
# 8| v8_1(void) = NoOp :
# 6| v6_5(void) = ReturnVoid :
# 6| v6_6(void) = AliasedUse : m6_3
# 6| v6_7(void) = ExitFunction :
# 7| r7_5(int) = Constant[1234] :
# 7| m7_6(int) = Store[?] : &:r7_4, r7_5
# 7| r7_7(int) = Constant[0] :
# 7| r7_8(glval<int>) = PointerAdd[4] : r7_1, r7_7
# 7| r7_9(int) = Constant[5678] :
# 7| m7_10(int) = Store[?] : &:r7_8, r7_9
# 8| v8_1(void) = NoOp :
# 6| v6_5(void) = ReturnVoid :
# 6| v6_6(void) = AliasedUse : m6_3
# 6| v6_7(void) = ExitFunction :
ssa.cpp:
# 13| int ChiPhiNode(Point*, bool, bool)
@@ -1967,37 +1949,29 @@ ssa.cpp:
# 418| m418_2(int[1][2]) = Uninitialized[x] : &:r418_1
# 418| r418_3(int) = Constant[0] :
# 418| r418_4(glval<int[2]>) = PointerAdd[8] : r418_1, r418_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 418| Block 1
# 418| r418_5(int) = Constant[0] :
# 418| r418_7(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_9(int) = Constant[0] :
# 418| m418_11(int) = Store[?] : &:r418_7, r418_9
# 418| m418_13(int[1][2]) = Chi : total:m418_2, partial:m418_11
# 418| r418_15(int) = Constant[1] :
# 418| r418_17(glval<int>) = PointerAdd[4] : r418_4, r418_15
# 418| r418_19(int) = Constant[5678] :
# 418| m418_21(int) = Store[?] : &:r418_17, r418_19
# 418| m418_23(int[1][2]) = Chi : total:m418_13, partial:m418_21
#-----| Goto -> Block 3
# 418| Block 1
# 418| r418_5(int) = Constant[0] :
# 418| r418_7(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_9(int) = Constant[1234] :
# 418| m418_11(int) = Store[?] : &:r418_7, r418_9
# 418| m418_13(int[1][2]) = Chi : total:m418_2, partial:m418_11
# 418| r418_15(int) = Constant[1] :
# 418| r418_17(glval<int>) = PointerAdd[4] : r418_4, r418_15
# 418| r418_19(int) = Constant[0] :
# 418| m418_21(int) = Store[?] : &:r418_17, r418_19
# 418| m418_23(int[1][2]) = Chi : total:m418_13, partial:m418_21
#-----| Goto -> Block 3
# 419| Block 3
# 419| v419_1(void) = NoOp :
# 417| v417_5(void) = ReturnVoid :
# 417| v417_6(void) = AliasedUse : m417_3
# 417| v417_7(void) = ExitFunction :
# 418| r418_5(int) = Constant[0] :
# 418| r418_6(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_7(int) = Constant[1234] :
# 418| m418_8(int) = Store[?] : &:r418_6, r418_7
# 418| m418_9(int[1][2]) = Chi : total:m418_2, partial:m418_8
# 418| r418_10(int) = Constant[1] :
# 418| r418_11(glval<int>) = PointerAdd[4] : r418_4, r418_10
# 418| r418_12(int) = Constant[0] :
# 418| m418_13(int) = Store[?] : &:r418_11, r418_12
# 418| m418_14(int[1][2]) = Chi : total:m418_9, partial:m418_13
# 418| r418_15(int) = Constant[0] :
# 418| r418_16(glval<int[2]>) = PointerAdd[8] : r418_1, r418_15
# 418| r418_17(int) = Constant[0] :
# 418| r418_18(glval<int>) = PointerAdd[4] : r418_16, r418_17
# 418| r418_19(int) = Constant[0] :
# 418| m418_20(int) = Store[?] : &:r418_18, r418_19
# 418| m418_21(int[1][2]) = Chi : total:m418_14, partial:m418_20
# 418| r418_22(int) = Constant[1] :
# 418| r418_23(glval<int>) = PointerAdd[4] : r418_16, r418_22
# 418| r418_24(int) = Constant[5678] :
# 418| m418_25(int) = Store[?] : &:r418_23, r418_24
# 418| m418_26(int[1][2]) = Chi : total:m418_21, partial:m418_25
# 419| v419_1(void) = NoOp :
# 417| v417_5(void) = ReturnVoid :
# 417| v417_6(void) = AliasedUse : m417_3
# 417| v417_7(void) = ExitFunction :

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

@@ -7,9 +7,6 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| ssa.c:3:14:3:16 | Uninitialized: definition of foo | Instruction 'Uninitialized: definition of foo' has 2 successors of kind 'Goto' in function '$@'. | ssa.c:2:6:2:22 | void named_designators() | void named_designators() |
| ssa.c:7:13:7:37 | PointerAdd: {...} | Instruction 'PointerAdd: {...}' has 2 successors of kind 'Goto' in function '$@'. | ssa.c:6:6:6:25 | void repeated_designators() | void repeated_designators() |
| ssa.cpp:418:16:418:46 | PointerAdd: {...} | Instruction 'PointerAdd: {...}' has 2 successors of kind 'Goto' in function '$@'. | ssa.cpp:417:6:417:29 | void nested_array_designators() | void nested_array_designators() |
unexplainedLoop
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled

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

@@ -7,9 +7,6 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| ssa.c:3:14:3:16 | Uninitialized: definition of foo | Instruction 'Uninitialized: definition of foo' has 2 successors of kind 'Goto' in function '$@'. | ssa.c:2:6:2:22 | void named_designators() | void named_designators() |
| ssa.c:7:13:7:37 | PointerAdd: {...} | Instruction 'PointerAdd: {...}' has 2 successors of kind 'Goto' in function '$@'. | ssa.c:6:6:6:25 | void repeated_designators() | void repeated_designators() |
| ssa.cpp:418:16:418:46 | PointerAdd: {...} | Instruction 'PointerAdd: {...}' has 2 successors of kind 'Goto' in function '$@'. | ssa.cpp:417:6:417:29 | void nested_array_designators() | void nested_array_designators() |
unexplainedLoop
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled

144
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected
View File

@@ -1,43 +1,33 @@
ssa.c:
# 2| void named_designators()
# 2| Block 0
# 2| v2_1(void) = EnterFunction :
# 2| mu2_2(unknown) = AliasedDefinition :
# 2| mu2_3(unknown) = InitializeNonLocal :
# 3| r3_1(glval<Foo>) = VariableAddress[foo] :
# 3| mu3_2(Foo) = Uninitialized[foo] : &:r3_1
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 3| Block 1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_5(int) = Constant[0] :
# 3| r3_7(glval<int>) = PointerAdd[4] : r3_3, r3_5
# 3| r3_9(int) = Constant[1234] :
# 3| mu3_11(int) = Store[?] : &:r3_7, r3_9
# 3| r3_13(int) = Constant[1] :
# 3| r3_15(glval<int>) = PointerAdd[4] : r3_3, r3_13
# 3| r3_17(int) = Constant[0] :
# 3| mu3_19(int) = Store[?] : &:r3_15, r3_17
#-----| Goto -> Block 3
# 3| Block 1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_5(int) = Constant[0] :
# 3| r3_7(glval<int>) = PointerAdd[4] : r3_3, r3_5
# 3| r3_9(int) = Constant[0] :
# 3| mu3_11(int) = Store[?] : &:r3_7, r3_9
# 3| r3_13(int) = Constant[1] :
# 3| r3_15(glval<int>) = PointerAdd[4] : r3_3, r3_13
# 3| r3_17(int) = Constant[5678] :
# 3| mu3_19(int) = Store[?] : &:r3_15, r3_17
#-----| Goto -> Block 3
# 4| Block 3
# 4| v4_1(void) = NoOp :
# 2| v2_4(void) = ReturnVoid :
# 2| v2_5(void) = AliasedUse : ~m?
# 2| v2_6(void) = ExitFunction :
# 2| v2_1(void) = EnterFunction :
# 2| mu2_2(unknown) = AliasedDefinition :
# 2| mu2_3(unknown) = InitializeNonLocal :
# 3| r3_1(glval<Foo>) = VariableAddress[foo] :
# 3| mu3_2(Foo) = Uninitialized[foo] : &:r3_1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_4(int) = Constant[0] :
# 3| r3_5(glval<int>) = PointerAdd[4] : r3_3, r3_4
# 3| r3_6(int) = Constant[1234] :
# 3| mu3_7(int) = Store[?] : &:r3_5, r3_6
# 3| r3_8(int) = Constant[1] :
# 3| r3_9(glval<int>) = PointerAdd[4] : r3_3, r3_8
# 3| r3_10(int) = Constant[0] :
# 3| mu3_11(int) = Store[?] : &:r3_9, r3_10
# 3| r3_12(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_13(int) = Constant[0] :
# 3| r3_14(glval<int>) = PointerAdd[4] : r3_12, r3_13
# 3| r3_15(int) = Constant[0] :
# 3| mu3_16(int) = Store[?] : &:r3_14, r3_15
# 3| r3_17(int) = Constant[1] :
# 3| r3_18(glval<int>) = PointerAdd[4] : r3_12, r3_17
# 3| r3_19(int) = Constant[5678] :
# 3| mu3_20(int) = Store[?] : &:r3_18, r3_19
# 4| v4_1(void) = NoOp :
# 2| v2_4(void) = ReturnVoid :
# 2| v2_5(void) = AliasedUse : ~m?
# 2| v2_6(void) = ExitFunction :
# 6| void repeated_designators()
# 6| Block 0
@@ -48,24 +38,16 @@ ssa.c:
# 7| mu7_2(int[1]) = Uninitialized[x] : &:r7_1
# 7| r7_3(int) = Constant[0] :
# 7| r7_4(glval<int>) = PointerAdd[4] : r7_1, r7_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 7| Block 1
# 7| r7_5(int) = Constant[1234] :
# 7| mu7_7(int) = Store[?] : &:r7_4, r7_5
#-----| Goto -> Block 3
# 7| Block 1
# 7| r7_5(int) = Constant[5678] :
# 7| mu7_7(int) = Store[?] : &:r7_4, r7_5
#-----| Goto -> Block 3
# 8| Block 3
# 8| v8_1(void) = NoOp :
# 6| v6_4(void) = ReturnVoid :
# 6| v6_5(void) = AliasedUse : ~m?
# 6| v6_6(void) = ExitFunction :
# 7| r7_5(int) = Constant[1234] :
# 7| mu7_6(int) = Store[?] : &:r7_4, r7_5
# 7| r7_7(int) = Constant[0] :
# 7| r7_8(glval<int>) = PointerAdd[4] : r7_1, r7_7
# 7| r7_9(int) = Constant[5678] :
# 7| mu7_10(int) = Store[?] : &:r7_8, r7_9
# 8| v8_1(void) = NoOp :
# 6| v6_4(void) = ReturnVoid :
# 6| v6_5(void) = AliasedUse : ~m?
# 6| v6_6(void) = ExitFunction :
ssa.cpp:
# 13| int ChiPhiNode(Point*, bool, bool)
@@ -1847,33 +1829,25 @@ ssa.cpp:
# 418| mu418_2(int[1][2]) = Uninitialized[x] : &:r418_1
# 418| r418_3(int) = Constant[0] :
# 418| r418_4(glval<int[2]>) = PointerAdd[8] : r418_1, r418_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 418| Block 1
# 418| r418_5(int) = Constant[0] :
# 418| r418_7(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_9(int) = Constant[0] :
# 418| mu418_11(int) = Store[?] : &:r418_7, r418_9
# 418| r418_13(int) = Constant[1] :
# 418| r418_15(glval<int>) = PointerAdd[4] : r418_4, r418_13
# 418| r418_17(int) = Constant[5678] :
# 418| mu418_19(int) = Store[?] : &:r418_15, r418_17
#-----| Goto -> Block 3
# 418| Block 1
# 418| r418_5(int) = Constant[0] :
# 418| r418_7(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_9(int) = Constant[1234] :
# 418| mu418_11(int) = Store[?] : &:r418_7, r418_9
# 418| r418_13(int) = Constant[1] :
# 418| r418_15(glval<int>) = PointerAdd[4] : r418_4, r418_13
# 418| r418_17(int) = Constant[0] :
# 418| mu418_19(int) = Store[?] : &:r418_15, r418_17
#-----| Goto -> Block 3
# 419| Block 3
# 419| v419_1(void) = NoOp :
# 417| v417_4(void) = ReturnVoid :
# 417| v417_5(void) = AliasedUse : ~m?
# 417| v417_6(void) = ExitFunction :
# 418| r418_5(int) = Constant[0] :
# 418| r418_6(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_7(int) = Constant[1234] :
# 418| mu418_8(int) = Store[?] : &:r418_6, r418_7
# 418| r418_9(int) = Constant[1] :
# 418| r418_10(glval<int>) = PointerAdd[4] : r418_4, r418_9
# 418| r418_11(int) = Constant[0] :
# 418| mu418_12(int) = Store[?] : &:r418_10, r418_11
# 418| r418_13(int) = Constant[0] :
# 418| r418_14(glval<int[2]>) = PointerAdd[8] : r418_1, r418_13
# 418| r418_15(int) = Constant[0] :
# 418| r418_16(glval<int>) = PointerAdd[4] : r418_14, r418_15
# 418| r418_17(int) = Constant[0] :
# 418| mu418_18(int) = Store[?] : &:r418_16, r418_17
# 418| r418_19(int) = Constant[1] :
# 418| r418_20(glval<int>) = PointerAdd[4] : r418_14, r418_19
# 418| r418_21(int) = Constant[5678] :
# 418| mu418_22(int) = Store[?] : &:r418_20, r418_21
# 419| v419_1(void) = NoOp :
# 417| v417_4(void) = ReturnVoid :
# 417| v417_5(void) = AliasedUse : ~m?
# 417| v417_6(void) = ExitFunction :

144
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir_unsound.expected
View File

@@ -1,43 +1,33 @@
ssa.c:
# 2| void named_designators()
# 2| Block 0
# 2| v2_1(void) = EnterFunction :
# 2| mu2_2(unknown) = AliasedDefinition :
# 2| mu2_3(unknown) = InitializeNonLocal :
# 3| r3_1(glval<Foo>) = VariableAddress[foo] :
# 3| mu3_2(Foo) = Uninitialized[foo] : &:r3_1
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 3| Block 1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_5(int) = Constant[0] :
# 3| r3_7(glval<int>) = PointerAdd[4] : r3_3, r3_5
# 3| r3_9(int) = Constant[1234] :
# 3| mu3_11(int) = Store[?] : &:r3_7, r3_9
# 3| r3_13(int) = Constant[1] :
# 3| r3_15(glval<int>) = PointerAdd[4] : r3_3, r3_13
# 3| r3_17(int) = Constant[0] :
# 3| mu3_19(int) = Store[?] : &:r3_15, r3_17
#-----| Goto -> Block 3
# 3| Block 1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_5(int) = Constant[0] :
# 3| r3_7(glval<int>) = PointerAdd[4] : r3_3, r3_5
# 3| r3_9(int) = Constant[0] :
# 3| mu3_11(int) = Store[?] : &:r3_7, r3_9
# 3| r3_13(int) = Constant[1] :
# 3| r3_15(glval<int>) = PointerAdd[4] : r3_3, r3_13
# 3| r3_17(int) = Constant[5678] :
# 3| mu3_19(int) = Store[?] : &:r3_15, r3_17
#-----| Goto -> Block 3
# 4| Block 3
# 4| v4_1(void) = NoOp :
# 2| v2_4(void) = ReturnVoid :
# 2| v2_5(void) = AliasedUse : ~m?
# 2| v2_6(void) = ExitFunction :
# 2| v2_1(void) = EnterFunction :
# 2| mu2_2(unknown) = AliasedDefinition :
# 2| mu2_3(unknown) = InitializeNonLocal :
# 3| r3_1(glval<Foo>) = VariableAddress[foo] :
# 3| mu3_2(Foo) = Uninitialized[foo] : &:r3_1
# 3| r3_3(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_4(int) = Constant[0] :
# 3| r3_5(glval<int>) = PointerAdd[4] : r3_3, r3_4
# 3| r3_6(int) = Constant[1234] :
# 3| mu3_7(int) = Store[?] : &:r3_5, r3_6
# 3| r3_8(int) = Constant[1] :
# 3| r3_9(glval<int>) = PointerAdd[4] : r3_3, r3_8
# 3| r3_10(int) = Constant[0] :
# 3| mu3_11(int) = Store[?] : &:r3_9, r3_10
# 3| r3_12(glval<int[2]>) = FieldAddress[x] : r3_1
# 3| r3_13(int) = Constant[0] :
# 3| r3_14(glval<int>) = PointerAdd[4] : r3_12, r3_13
# 3| r3_15(int) = Constant[0] :
# 3| mu3_16(int) = Store[?] : &:r3_14, r3_15
# 3| r3_17(int) = Constant[1] :
# 3| r3_18(glval<int>) = PointerAdd[4] : r3_12, r3_17
# 3| r3_19(int) = Constant[5678] :
# 3| mu3_20(int) = Store[?] : &:r3_18, r3_19
# 4| v4_1(void) = NoOp :
# 2| v2_4(void) = ReturnVoid :
# 2| v2_5(void) = AliasedUse : ~m?
# 2| v2_6(void) = ExitFunction :
# 6| void repeated_designators()
# 6| Block 0
@@ -48,24 +38,16 @@ ssa.c:
# 7| mu7_2(int[1]) = Uninitialized[x] : &:r7_1
# 7| r7_3(int) = Constant[0] :
# 7| r7_4(glval<int>) = PointerAdd[4] : r7_1, r7_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 7| Block 1
# 7| r7_5(int) = Constant[1234] :
# 7| mu7_7(int) = Store[?] : &:r7_4, r7_5
#-----| Goto -> Block 3
# 7| Block 1
# 7| r7_5(int) = Constant[5678] :
# 7| mu7_7(int) = Store[?] : &:r7_4, r7_5
#-----| Goto -> Block 3
# 8| Block 3
# 8| v8_1(void) = NoOp :
# 6| v6_4(void) = ReturnVoid :
# 6| v6_5(void) = AliasedUse : ~m?
# 6| v6_6(void) = ExitFunction :
# 7| r7_5(int) = Constant[1234] :
# 7| mu7_6(int) = Store[?] : &:r7_4, r7_5
# 7| r7_7(int) = Constant[0] :
# 7| r7_8(glval<int>) = PointerAdd[4] : r7_1, r7_7
# 7| r7_9(int) = Constant[5678] :
# 7| mu7_10(int) = Store[?] : &:r7_8, r7_9
# 8| v8_1(void) = NoOp :
# 6| v6_4(void) = ReturnVoid :
# 6| v6_5(void) = AliasedUse : ~m?
# 6| v6_6(void) = ExitFunction :
ssa.cpp:
# 13| int ChiPhiNode(Point*, bool, bool)
@@ -1847,33 +1829,25 @@ ssa.cpp:
# 418| mu418_2(int[1][2]) = Uninitialized[x] : &:r418_1
# 418| r418_3(int) = Constant[0] :
# 418| r418_4(glval<int[2]>) = PointerAdd[8] : r418_1, r418_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 418| Block 1
# 418| r418_5(int) = Constant[0] :
# 418| r418_7(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_9(int) = Constant[0] :
# 418| mu418_11(int) = Store[?] : &:r418_7, r418_9
# 418| r418_13(int) = Constant[1] :
# 418| r418_15(glval<int>) = PointerAdd[4] : r418_4, r418_13
# 418| r418_17(int) = Constant[5678] :
# 418| mu418_19(int) = Store[?] : &:r418_15, r418_17
#-----| Goto -> Block 3
# 418| Block 1
# 418| r418_5(int) = Constant[0] :
# 418| r418_7(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_9(int) = Constant[1234] :
# 418| mu418_11(int) = Store[?] : &:r418_7, r418_9
# 418| r418_13(int) = Constant[1] :
# 418| r418_15(glval<int>) = PointerAdd[4] : r418_4, r418_13
# 418| r418_17(int) = Constant[0] :
# 418| mu418_19(int) = Store[?] : &:r418_15, r418_17
#-----| Goto -> Block 3
# 419| Block 3
# 419| v419_1(void) = NoOp :
# 417| v417_4(void) = ReturnVoid :
# 417| v417_5(void) = AliasedUse : ~m?
# 417| v417_6(void) = ExitFunction :
# 418| r418_5(int) = Constant[0] :
# 418| r418_6(glval<int>) = PointerAdd[4] : r418_4, r418_5
# 418| r418_7(int) = Constant[1234] :
# 418| mu418_8(int) = Store[?] : &:r418_6, r418_7
# 418| r418_9(int) = Constant[1] :
# 418| r418_10(glval<int>) = PointerAdd[4] : r418_4, r418_9
# 418| r418_11(int) = Constant[0] :
# 418| mu418_12(int) = Store[?] : &:r418_10, r418_11
# 418| r418_13(int) = Constant[0] :
# 418| r418_14(glval<int[2]>) = PointerAdd[8] : r418_1, r418_13
# 418| r418_15(int) = Constant[0] :
# 418| r418_16(glval<int>) = PointerAdd[4] : r418_14, r418_15
# 418| r418_17(int) = Constant[0] :
# 418| mu418_18(int) = Store[?] : &:r418_16, r418_17
# 418| r418_19(int) = Constant[1] :
# 418| r418_20(glval<int>) = PointerAdd[4] : r418_14, r418_19
# 418| r418_21(int) = Constant[5678] :
# 418| mu418_22(int) = Store[?] : &:r418_20, r418_21
# 419| v419_1(void) = NoOp :
# 417| v417_4(void) = ReturnVoid :
# 417| v417_5(void) = AliasedUse : ~m?
# 417| v417_6(void) = ExitFunction :