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

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-11-19 11:16:47 +00:00
parent f30bfb63cf
commit 9d3bc7f510
10 changed files with 120 additions and 169 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -3321,23 +3321,25 @@ ir.c:
# 86| Block 2
# 86| r86_1(glval<int>) = VariableAddress[x1] :
# 86| r86_2(int) = Load[x1] : &:r86_1, m84_6
# 86| r86_3(bool) = LogicalNot : r86_2
# 86| v86_4(void) = ConditionalBranch : r86_3
# 86| r86_3(int) = Constant[0] :
# 86| r86_4(bool) = CompareEQ : r86_2, r86_3
# 86| v86_5(void) = ConditionalBranch : r86_4
#-----| False -> Block 4
#-----| True -> Block 3
# 86| Block 3
# 86| v86_5(void) = NoOp :
# 86| v86_6(void) = NoOp :
#-----| Goto -> Block 4
# 88| Block 4
# 88| r88_1(glval<int>) = VariableAddress[y] :
# 88| r88_2(glval<int>) = VariableAddress[x1] :
# 88| r88_3(int) = Load[x1] : &:r88_2, m84_6
# 88| r88_4(bool) = LogicalNot : r88_3
# 88| m88_5(int) = Store[y] : &:r88_1, r88_4
# 88| r88_4(int) = Constant[0] :
# 88| r88_5(bool) = CompareEQ : r88_3, r88_4
# 88| m88_6(int) = Store[y] : &:r88_1, r88_5
# 89| r89_1(glval<int>) = VariableAddress[y] :
# 89| r89_2(int) = Load[y] : &:r89_1, m88_5
# 89| r89_2(int) = Load[y] : &:r89_1, m88_6
# 89| r89_3(int) = Constant[0] :
# 89| r89_4(bool) = CompareNE : r89_2, r89_3
# 89| v89_5(void) = ConditionalBranch : r89_4
@@ -3350,14 +3352,15 @@ ir.c:
# 90| Block 6
# 90| r90_1(glval<int>) = VariableAddress[y] :
# 90| r90_2(int) = Load[y] : &:r90_1, m88_5
# 90| r90_3(bool) = LogicalNot : r90_2
# 90| v90_4(void) = ConditionalBranch : r90_3
# 90| r90_2(int) = Load[y] : &:r90_1, m88_6
# 90| r90_3(int) = Constant[0] :
# 90| r90_4(bool) = CompareEQ : r90_2, r90_3
# 90| v90_5(void) = ConditionalBranch : r90_4
#-----| False -> Block 8
#-----| True -> Block 7
# 90| Block 7
# 90| v90_5(void) = NoOp :
# 90| v90_6(void) = NoOp :
#-----| Goto -> Block 8
# 92| Block 8
@@ -3385,22 +3388,23 @@ ir.c:
# 93| Block 11
# 93| r93_1(glval<int>) = VariableAddress[x1] :
# 93| r93_2(int) = Load[x1] : &:r93_1, m84_6
# 93| r93_3(bool) = LogicalNot : r93_2
# 93| v93_4(void) = ConditionalBranch : r93_3
# 93| r93_3(int) = Constant[0] :
# 93| r93_4(bool) = CompareEQ : r93_2, r93_3
# 93| v93_5(void) = ConditionalBranch : r93_4
#-----| False -> Block 14
#-----| True -> Block 12
# 93| Block 12
# 93| r93_5(glval<int>) = VariableAddress[x2] :
# 93| r93_6(int) = Load[x2] : &:r93_5, m84_8
# 93| r93_7(int) = Constant[0] :
# 93| r93_8(bool) = CompareNE : r93_6, r93_7
# 93| v93_9(void) = ConditionalBranch : r93_8
# 93| r93_6(glval<int>) = VariableAddress[x2] :
# 93| r93_7(int) = Load[x2] : &:r93_6, m84_8
# 93| r93_8(int) = Constant[0] :
# 93| r93_9(bool) = CompareNE : r93_7, r93_8
# 93| v93_10(void) = ConditionalBranch : r93_9
#-----| False -> Block 14
#-----| True -> Block 13
# 93| Block 13
# 93| v93_10(void) = NoOp :
# 93| v93_11(void) = NoOp :
#-----| Goto -> Block 14
# 94| Block 14
@@ -3415,33 +3419,36 @@ ir.c:
# 94| Block 15
# 94| r94_6(glval<int>) = VariableAddress[x2] :
# 94| r94_7(int) = Load[x2] : &:r94_6, m84_8
# 94| r94_8(bool) = LogicalNot : r94_7
# 94| v94_9(void) = ConditionalBranch : r94_8
# 94| r94_8(int) = Constant[0] :
# 94| r94_9(bool) = CompareEQ : r94_7, r94_8
# 94| v94_10(void) = ConditionalBranch : r94_9
#-----| False -> Block 17
#-----| True -> Block 16
# 94| Block 16
# 94| v94_10(void) = NoOp :
# 94| v94_11(void) = NoOp :
#-----| Goto -> Block 17
# 95| Block 17
# 95| r95_1(glval<int>) = VariableAddress[x1] :
# 95| r95_2(int) = Load[x1] : &:r95_1, m84_6
# 95| r95_3(bool) = LogicalNot : r95_2
# 95| v95_4(void) = ConditionalBranch : r95_3
# 95| r95_3(int) = Constant[0] :
# 95| r95_4(bool) = CompareEQ : r95_2, r95_3
# 95| v95_5(void) = ConditionalBranch : r95_4
#-----| False -> Block 20
#-----| True -> Block 18
# 95| Block 18
# 95| r95_5(glval<int>) = VariableAddress[x2] :
# 95| r95_6(int) = Load[x2] : &:r95_5, m84_8
# 95| r95_7(bool) = LogicalNot : r95_6
# 95| v95_8(void) = ConditionalBranch : r95_7
# 95| r95_6(glval<int>) = VariableAddress[x2] :
# 95| r95_7(int) = Load[x2] : &:r95_6, m84_8
# 95| r95_8(int) = Constant[0] :
# 95| r95_9(bool) = CompareEQ : r95_7, r95_8
# 95| v95_10(void) = ConditionalBranch : r95_9
#-----| False -> Block 20
#-----| True -> Block 19
# 95| Block 19
# 95| v95_9(void) = NoOp :
# 95| v95_11(void) = NoOp :
#-----| Goto -> Block 20
# 96| Block 20
@@ -3469,22 +3476,23 @@ ir.c:
# 97| Block 23
# 97| r97_1(glval<int>) = VariableAddress[x1] :
# 97| r97_2(int) = Load[x1] : &:r97_1, m84_6
# 97| r97_3(bool) = LogicalNot : r97_2
# 97| v97_4(void) = ConditionalBranch : r97_3
# 97| r97_3(int) = Constant[0] :
# 97| r97_4(bool) = CompareEQ : r97_2, r97_3
# 97| v97_5(void) = ConditionalBranch : r97_4
#-----| False -> Block 24
#-----| True -> Block 25
# 97| Block 24
# 97| r97_5(glval<int>) = VariableAddress[x2] :
# 97| r97_6(int) = Load[x2] : &:r97_5, m84_8
# 97| r97_7(int) = Constant[0] :
# 97| r97_8(bool) = CompareNE : r97_6, r97_7
# 97| v97_9(void) = ConditionalBranch : r97_8
# 97| r97_6(glval<int>) = VariableAddress[x2] :
# 97| r97_7(int) = Load[x2] : &:r97_6, m84_8
# 97| r97_8(int) = Constant[0] :
# 97| r97_9(bool) = CompareNE : r97_7, r97_8
# 97| v97_10(void) = ConditionalBranch : r97_9
#-----| False -> Block 26
#-----| True -> Block 25
# 97| Block 25
# 97| v97_10(void) = NoOp :
# 97| v97_11(void) = NoOp :
#-----| Goto -> Block 26
# 98| Block 26
@@ -3499,33 +3507,36 @@ ir.c:
# 98| Block 27
# 98| r98_6(glval<int>) = VariableAddress[x2] :
# 98| r98_7(int) = Load[x2] : &:r98_6, m84_8
# 98| r98_8(bool) = LogicalNot : r98_7
# 98| v98_9(void) = ConditionalBranch : r98_8
# 98| r98_8(int) = Constant[0] :
# 98| r98_9(bool) = CompareEQ : r98_7, r98_8
# 98| v98_10(void) = ConditionalBranch : r98_9
#-----| False -> Block 29
#-----| True -> Block 28
# 98| Block 28
# 98| v98_10(void) = NoOp :
# 98| v98_11(void) = NoOp :
#-----| Goto -> Block 29
# 99| Block 29
# 99| r99_1(glval<int>) = VariableAddress[x1] :
# 99| r99_2(int) = Load[x1] : &:r99_1, m84_6
# 99| r99_3(bool) = LogicalNot : r99_2
# 99| v99_4(void) = ConditionalBranch : r99_3
# 99| r99_3(int) = Constant[0] :
# 99| r99_4(bool) = CompareEQ : r99_2, r99_3
# 99| v99_5(void) = ConditionalBranch : r99_4
#-----| False -> Block 30
#-----| True -> Block 31
# 99| Block 30
# 99| r99_5(glval<int>) = VariableAddress[x2] :
# 99| r99_6(int) = Load[x2] : &:r99_5, m84_8
# 99| r99_7(bool) = LogicalNot : r99_6
# 99| v99_8(void) = ConditionalBranch : r99_7
# 99| r99_6(glval<int>) = VariableAddress[x2] :
# 99| r99_7(int) = Load[x2] : &:r99_6, m84_8
# 99| r99_8(int) = Constant[0] :
# 99| r99_9(bool) = CompareEQ : r99_7, r99_8
# 99| v99_10(void) = ConditionalBranch : r99_9
#-----| False -> Block 32
#-----| True -> Block 31
# 99| Block 31
# 99| v99_9(void) = NoOp :
# 99| v99_11(void) = NoOp :
#-----| Goto -> Block 32
# 101| Block 32
@@ -3579,13 +3590,14 @@ ir.c:
# 103| Block 38
# 103| r103_1(glval<int>) = VariableAddress[x_1_and_2] :
# 103| r103_2(int) = Load[x_1_and_2] : &:r103_1, m101_13
# 103| r103_3(bool) = LogicalNot : r103_2
# 103| v103_4(void) = ConditionalBranch : r103_3
# 103| r103_3(int) = Constant[0] :
# 103| r103_4(bool) = CompareEQ : r103_2, r103_3
# 103| v103_5(void) = ConditionalBranch : r103_4
#-----| False -> Block 40
#-----| True -> Block 39
# 103| Block 39
# 103| v103_5(void) = NoOp :
# 103| v103_6(void) = NoOp :
#-----| Goto -> Block 40
# 104| Block 40

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

@@ -30,16 +30,4 @@ thisArgumentIsNonPointer
| ir.cpp:2546:34:2546: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:2545:6:2545:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
nonBooleanOperand
| ir.c:86:6:86:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:88:11:88:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:90:6:90:7 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:93:6:93:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:94:12:94:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:6:95:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:13:95:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:97:6:97:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:98:12:98:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:6:99:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:13:99:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:103:6:103:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
missingCppType

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

@@ -30,16 +30,4 @@ thisArgumentIsNonPointer
| ir.cpp:2546:34:2546: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:2545:6:2545:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
nonBooleanOperand
| ir.c:86:6:86:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:88:11:88:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:90:6:90:7 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:93:6:93:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:94:12:94:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:6:95:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:13:95:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:97:6:97:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:98:12:98:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:6:99:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:13:99:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:103:6:103:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
missingCppType

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

@@ -39,16 +39,4 @@ thisArgumentIsNonPointer
| ir.cpp:2546:34:2546: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:2545:6:2545:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
nonBooleanOperand
| ir.c:86:6:86:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:88:11:88:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:90:6:90:7 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:93:6:93:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:94:12:94:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:6:95:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:13:95:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:97:6:97:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:98:12:98:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:6:99:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:13:99:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:103:6:103:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
missingCppType

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

@@ -3119,21 +3119,23 @@ ir.c:
# 86| Block 2
# 86| r86_1(glval<int>) = VariableAddress[x1] :
# 86| r86_2(int) = Load[x1] : &:r86_1, ~m?
# 86| r86_3(bool) = LogicalNot : r86_2
# 86| v86_4(void) = ConditionalBranch : r86_3
# 86| r86_3(int) = Constant[0] :
# 86| r86_4(bool) = CompareEQ : r86_2, r86_3
# 86| v86_5(void) = ConditionalBranch : r86_4
#-----| False -> Block 4
#-----| True -> Block 3
# 86| Block 3
# 86| v86_5(void) = NoOp :
# 86| v86_6(void) = NoOp :
#-----| Goto -> Block 4
# 88| Block 4
# 88| r88_1(glval<int>) = VariableAddress[y] :
# 88| r88_2(glval<int>) = VariableAddress[x1] :
# 88| r88_3(int) = Load[x1] : &:r88_2, ~m?
# 88| r88_4(bool) = LogicalNot : r88_3
# 88| mu88_5(int) = Store[y] : &:r88_1, r88_4
# 88| r88_4(int) = Constant[0] :
# 88| r88_5(bool) = CompareEQ : r88_3, r88_4
# 88| mu88_6(int) = Store[y] : &:r88_1, r88_5
# 89| r89_1(glval<int>) = VariableAddress[y] :
# 89| r89_2(int) = Load[y] : &:r89_1, ~m?
# 89| r89_3(int) = Constant[0] :
@@ -3149,13 +3151,14 @@ ir.c:
# 90| Block 6
# 90| r90_1(glval<int>) = VariableAddress[y] :
# 90| r90_2(int) = Load[y] : &:r90_1, ~m?
# 90| r90_3(bool) = LogicalNot : r90_2
# 90| v90_4(void) = ConditionalBranch : r90_3
# 90| r90_3(int) = Constant[0] :
# 90| r90_4(bool) = CompareEQ : r90_2, r90_3
# 90| v90_5(void) = ConditionalBranch : r90_4
#-----| False -> Block 8
#-----| True -> Block 7
# 90| Block 7
# 90| v90_5(void) = NoOp :
# 90| v90_6(void) = NoOp :
#-----| Goto -> Block 8
# 92| Block 8
@@ -3183,22 +3186,23 @@ ir.c:
# 93| Block 11
# 93| r93_1(glval<int>) = VariableAddress[x1] :
# 93| r93_2(int) = Load[x1] : &:r93_1, ~m?
# 93| r93_3(bool) = LogicalNot : r93_2
# 93| v93_4(void) = ConditionalBranch : r93_3
# 93| r93_3(int) = Constant[0] :
# 93| r93_4(bool) = CompareEQ : r93_2, r93_3
# 93| v93_5(void) = ConditionalBranch : r93_4
#-----| False -> Block 14
#-----| True -> Block 12
# 93| Block 12
# 93| r93_5(glval<int>) = VariableAddress[x2] :
# 93| r93_6(int) = Load[x2] : &:r93_5, ~m?
# 93| r93_7(int) = Constant[0] :
# 93| r93_8(bool) = CompareNE : r93_6, r93_7
# 93| v93_9(void) = ConditionalBranch : r93_8
# 93| r93_6(glval<int>) = VariableAddress[x2] :
# 93| r93_7(int) = Load[x2] : &:r93_6, ~m?
# 93| r93_8(int) = Constant[0] :
# 93| r93_9(bool) = CompareNE : r93_7, r93_8
# 93| v93_10(void) = ConditionalBranch : r93_9
#-----| False -> Block 14
#-----| True -> Block 13
# 93| Block 13
# 93| v93_10(void) = NoOp :
# 93| v93_11(void) = NoOp :
#-----| Goto -> Block 14
# 94| Block 14
@@ -3213,33 +3217,36 @@ ir.c:
# 94| Block 15
# 94| r94_6(glval<int>) = VariableAddress[x2] :
# 94| r94_7(int) = Load[x2] : &:r94_6, ~m?
# 94| r94_8(bool) = LogicalNot : r94_7
# 94| v94_9(void) = ConditionalBranch : r94_8
# 94| r94_8(int) = Constant[0] :
# 94| r94_9(bool) = CompareEQ : r94_7, r94_8
# 94| v94_10(void) = ConditionalBranch : r94_9
#-----| False -> Block 17
#-----| True -> Block 16
# 94| Block 16
# 94| v94_10(void) = NoOp :
# 94| v94_11(void) = NoOp :
#-----| Goto -> Block 17
# 95| Block 17
# 95| r95_1(glval<int>) = VariableAddress[x1] :
# 95| r95_2(int) = Load[x1] : &:r95_1, ~m?
# 95| r95_3(bool) = LogicalNot : r95_2
# 95| v95_4(void) = ConditionalBranch : r95_3
# 95| r95_3(int) = Constant[0] :
# 95| r95_4(bool) = CompareEQ : r95_2, r95_3
# 95| v95_5(void) = ConditionalBranch : r95_4
#-----| False -> Block 20
#-----| True -> Block 18
# 95| Block 18
# 95| r95_5(glval<int>) = VariableAddress[x2] :
# 95| r95_6(int) = Load[x2] : &:r95_5, ~m?
# 95| r95_7(bool) = LogicalNot : r95_6
# 95| v95_8(void) = ConditionalBranch : r95_7
# 95| r95_6(glval<int>) = VariableAddress[x2] :
# 95| r95_7(int) = Load[x2] : &:r95_6, ~m?
# 95| r95_8(int) = Constant[0] :
# 95| r95_9(bool) = CompareEQ : r95_7, r95_8
# 95| v95_10(void) = ConditionalBranch : r95_9
#-----| False -> Block 20
#-----| True -> Block 19
# 95| Block 19
# 95| v95_9(void) = NoOp :
# 95| v95_11(void) = NoOp :
#-----| Goto -> Block 20
# 96| Block 20
@@ -3267,22 +3274,23 @@ ir.c:
# 97| Block 23
# 97| r97_1(glval<int>) = VariableAddress[x1] :
# 97| r97_2(int) = Load[x1] : &:r97_1, ~m?
# 97| r97_3(bool) = LogicalNot : r97_2
# 97| v97_4(void) = ConditionalBranch : r97_3
# 97| r97_3(int) = Constant[0] :
# 97| r97_4(bool) = CompareEQ : r97_2, r97_3
# 97| v97_5(void) = ConditionalBranch : r97_4
#-----| False -> Block 24
#-----| True -> Block 25
# 97| Block 24
# 97| r97_5(glval<int>) = VariableAddress[x2] :
# 97| r97_6(int) = Load[x2] : &:r97_5, ~m?
# 97| r97_7(int) = Constant[0] :
# 97| r97_8(bool) = CompareNE : r97_6, r97_7
# 97| v97_9(void) = ConditionalBranch : r97_8
# 97| r97_6(glval<int>) = VariableAddress[x2] :
# 97| r97_7(int) = Load[x2] : &:r97_6, ~m?
# 97| r97_8(int) = Constant[0] :
# 97| r97_9(bool) = CompareNE : r97_7, r97_8
# 97| v97_10(void) = ConditionalBranch : r97_9
#-----| False -> Block 26
#-----| True -> Block 25
# 97| Block 25
# 97| v97_10(void) = NoOp :
# 97| v97_11(void) = NoOp :
#-----| Goto -> Block 26
# 98| Block 26
@@ -3297,33 +3305,36 @@ ir.c:
# 98| Block 27
# 98| r98_6(glval<int>) = VariableAddress[x2] :
# 98| r98_7(int) = Load[x2] : &:r98_6, ~m?
# 98| r98_8(bool) = LogicalNot : r98_7
# 98| v98_9(void) = ConditionalBranch : r98_8
# 98| r98_8(int) = Constant[0] :
# 98| r98_9(bool) = CompareEQ : r98_7, r98_8
# 98| v98_10(void) = ConditionalBranch : r98_9
#-----| False -> Block 29
#-----| True -> Block 28
# 98| Block 28
# 98| v98_10(void) = NoOp :
# 98| v98_11(void) = NoOp :
#-----| Goto -> Block 29
# 99| Block 29
# 99| r99_1(glval<int>) = VariableAddress[x1] :
# 99| r99_2(int) = Load[x1] : &:r99_1, ~m?
# 99| r99_3(bool) = LogicalNot : r99_2
# 99| v99_4(void) = ConditionalBranch : r99_3
# 99| r99_3(int) = Constant[0] :
# 99| r99_4(bool) = CompareEQ : r99_2, r99_3
# 99| v99_5(void) = ConditionalBranch : r99_4
#-----| False -> Block 30
#-----| True -> Block 31
# 99| Block 30
# 99| r99_5(glval<int>) = VariableAddress[x2] :
# 99| r99_6(int) = Load[x2] : &:r99_5, ~m?
# 99| r99_7(bool) = LogicalNot : r99_6
# 99| v99_8(void) = ConditionalBranch : r99_7
# 99| r99_6(glval<int>) = VariableAddress[x2] :
# 99| r99_7(int) = Load[x2] : &:r99_6, ~m?
# 99| r99_8(int) = Constant[0] :
# 99| r99_9(bool) = CompareEQ : r99_7, r99_8
# 99| v99_10(void) = ConditionalBranch : r99_9
#-----| False -> Block 32
#-----| True -> Block 31
# 99| Block 31
# 99| v99_9(void) = NoOp :
# 99| v99_11(void) = NoOp :
#-----| Goto -> Block 32
# 101| Block 32
@@ -3376,13 +3387,14 @@ ir.c:
# 103| Block 38
# 103| r103_1(glval<int>) = VariableAddress[x_1_and_2] :
# 103| r103_2(int) = Load[x_1_and_2] : &:r103_1, ~m?
# 103| r103_3(bool) = LogicalNot : r103_2
# 103| v103_4(void) = ConditionalBranch : r103_3
# 103| r103_3(int) = Constant[0] :
# 103| r103_4(bool) = CompareEQ : r103_2, r103_3
# 103| v103_5(void) = ConditionalBranch : r103_4
#-----| False -> Block 40
#-----| True -> Block 39
# 103| Block 39
# 103| v103_5(void) = NoOp :
# 103| v103_6(void) = NoOp :
#-----| Goto -> Block 40
# 104| Block 40

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

@@ -30,16 +30,4 @@ thisArgumentIsNonPointer
| ir.cpp:2546:34:2546: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:2545:6:2545:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
nonBooleanOperand
| ir.c:86:6:86:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:88:11:88:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:90:6:90:7 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:93:6:93:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:94:12:94:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:6:95:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:13:95:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:97:6:97:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:98:12:98:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:6:99:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:13:99:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:103:6:103:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
missingCppType

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

@@ -30,16 +30,4 @@ thisArgumentIsNonPointer
| ir.cpp:2546:34:2546: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:2545:6:2545:23 | void this_inconsistency(bool) | void this_inconsistency(bool) |
nonUniqueIRVariable
nonBooleanOperand
| ir.c:86:6:86:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:88:11:88:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:90:6:90:7 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:93:6:93:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:94:12:94:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:6:95:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:95:13:95:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:97:6:97:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:98:12:98:14 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:6:99:8 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:99:13:99:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
| ir.c:103:6:103:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | ir.c:84:6:84:28 | void branch_on_integral_in_c(int, int) | void branch_on_integral_in_c(int, int) |
missingCppType

4
cpp/ql/test/library-tests/syntax-zoo/aliased_ssa_consistency.expected
View File

@@ -45,8 +45,4 @@ nonBooleanOperand
| range_analysis.c:385:10:385:21 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:386:10:386:21 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:387:10:387:38 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| test.c:219:12:219:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | test.c:218:5:218:11 | int f_and_1(int, int) | int f_and_1(int, int) |
| test.c:226:7:226:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | test.c:225:5:225:11 | int f_and_2(int, int) | int f_and_2(int, int) |
| unaryopexpr.c:8:5:8:6 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | unaryopexpr.c:1:13:1:13 | void f() | void f() |
| whilestmt.c:10:9:10:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | whilestmt.c:8:13:8:26 | void always_false_2() | void always_false_2() |
missingCppType

5
cpp/ql/test/library-tests/syntax-zoo/raw_consistency.expected
View File

@@ -43,7 +43,6 @@ thisArgumentIsNonPointer
| pointer_to_member.cpp:24:5:24:49 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
nonUniqueIRVariable
nonBooleanOperand
| misc.c:87:9:87:10 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | misc.c:16:6:16:10 | void misc1(int, int) | void misc1(int, int) |
| misc.c:93:9:93:15 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | misc.c:91:6:91:33 | void gnuConditionalOmittedOperand(someStruct*) | void gnuConditionalOmittedOperand(someStruct*) |
| misc.c:94:9:94:19 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | misc.c:91:6:91:33 | void gnuConditionalOmittedOperand(someStruct*) | void gnuConditionalOmittedOperand(someStruct*) |
| range_analysis.c:366:10:366:15 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:355:14:355:27 | unsigned int test_ternary01(unsigned int) | unsigned int test_ternary01(unsigned int) |
@@ -55,8 +54,4 @@ nonBooleanOperand
| range_analysis.c:385:10:385:21 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:386:10:386:21 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:387:10:387:38 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| test.c:219:12:219:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | test.c:218:5:218:11 | int f_and_1(int, int) | int f_and_1(int, int) |
| test.c:226:7:226:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | test.c:225:5:225:11 | int f_and_2(int, int) | int f_and_2(int, int) |
| unaryopexpr.c:8:5:8:6 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | unaryopexpr.c:1:13:1:13 | void f() | void f() |
| whilestmt.c:10:9:10:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | whilestmt.c:8:13:8:26 | void always_false_2() | void always_false_2() |
missingCppType

4
cpp/ql/test/library-tests/syntax-zoo/unaliased_ssa_consistency.expected
View File

@@ -45,8 +45,4 @@ nonBooleanOperand
| range_analysis.c:385:10:385:21 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:386:10:386:21 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| range_analysis.c:387:10:387:38 | ConditionalBranch: ... ? ... : ... | Conditional branch instruction ConditionalBranch: ... ? ... : ... with non-Boolean condition, in function '$@'. | range_analysis.c:377:14:377:27 | unsigned int test_ternary02(unsigned int) | unsigned int test_ternary02(unsigned int) |
| test.c:219:12:219:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | test.c:218:5:218:11 | int f_and_1(int, int) | int f_and_1(int, int) |
| test.c:226:7:226:15 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | test.c:225:5:225:11 | int f_and_2(int, int) | int f_and_2(int, int) |
| unaryopexpr.c:8:5:8:6 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | unaryopexpr.c:1:13:1:13 | void f() | void f() |
| whilestmt.c:10:9:10:13 | LogicalNot: ! ... | Logical Not instruction LogicalNot: ! ... with non-Boolean operand, in function '$@'. | whilestmt.c:8:13:8:26 | void always_false_2() | void always_false_2() |
missingCppType