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

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-09-17 16:43:49 +01:00
parent 0b81fbbb2b
commit 2dc783d91f
9 changed files with 2063 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/test/experimental/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.expected
View File

@@ -60,7 +60,6 @@
| test.cpp:177:10:177:10 | Load: i | test.cpp:175:23:175:23 | ValueNumberBound | 1 | false | CompareLT: ... < ... | test.cpp:176:7:176:11 | test.cpp:176:7:176:11 |
| test.cpp:179:10:179:10 | Load: i | test.cpp:175:23:175:23 | ValueNumberBound | 0 | true | CompareLT: ... < ... | test.cpp:176:7:176:11 | test.cpp:176:7:176:11 |
| test.cpp:183:10:183:10 | Load: i | test.cpp:175:23:175:23 | ValueNumberBound | -1 | true | CompareLT: ... < ... | test.cpp:182:9:182:13 | test.cpp:182:9:182:13 |
| test.cpp:185:10:185:10 | Load: i | test.cpp:175:23:175:23 | ValueNumberBound | 0 | true | CompareLT: ... < ... | test.cpp:176:7:176:11 | test.cpp:176:7:176:11 |
| test.cpp:187:10:187:10 | Store: i | test.cpp:175:23:175:23 | ValueNumberBound | 0 | false | CompareLT: ... < ... | test.cpp:182:9:182:13 | test.cpp:182:9:182:13 |
| test.cpp:194:8:194:8 | Load: l | test.cpp:191:16:191:16 | ValueNumberBound | 0 | false | NoReason | file://:0:0:0:0 | file://:0:0:0:0 |
| test.cpp:194:8:194:8 | Load: l | test.cpp:191:16:191:16 | ValueNumberBound | 0 | true | NoReason | file://:0:0:0:0 | file://:0:0:0:0 |

151
cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected
View File

@@ -425,7 +425,9 @@ astGuardsControl
| test.c:126:7:126:7 | 1 | true | 131 | 132 |
| test.c:126:7:126:7 | 1 | true | 134 | 123 |
| test.c:126:7:126:28 | ... && ... | true | 126 | 128 |
| test.c:126:7:126:28 | ... && ... | true | 131 | 132 |
| test.c:126:12:126:26 | call to test3_condition | true | 126 | 128 |
| test.c:126:12:126:26 | call to test3_condition | true | 131 | 132 |
| test.c:131:7:131:7 | b | true | 131 | 132 |
| test.c:137:7:137:7 | 0 | false | 142 | 136 |
| test.c:146:7:146:8 | ! ... | true | 146 | 147 |
@@ -832,11 +834,17 @@ astGuardsEnsure_const
| test.c:126:7:126:7 | 1 | test.c:126:7:126:7 | 1 | == | 1 | 131 | 132 |
| test.c:126:7:126:7 | 1 | test.c:126:7:126:7 | 1 | == | 1 | 134 | 123 |
| test.c:126:7:126:28 | ... && ... | test.c:126:7:126:7 | 1 | != | 0 | 126 | 128 |
| test.c:126:7:126:28 | ... && ... | test.c:126:7:126:7 | 1 | != | 0 | 131 | 132 |
| test.c:126:7:126:28 | ... && ... | test.c:126:7:126:7 | 1 | == | 1 | 126 | 128 |
| test.c:126:7:126:28 | ... && ... | test.c:126:7:126:7 | 1 | == | 1 | 131 | 132 |
| test.c:126:7:126:28 | ... && ... | test.c:126:12:126:26 | call to test3_condition | != | 0 | 126 | 128 |
| test.c:126:7:126:28 | ... && ... | test.c:126:12:126:26 | call to test3_condition | != | 0 | 131 | 132 |
| test.c:126:7:126:28 | ... && ... | test.c:126:12:126:26 | call to test3_condition | == | 1 | 126 | 128 |
| test.c:126:7:126:28 | ... && ... | test.c:126:12:126:26 | call to test3_condition | == | 1 | 131 | 132 |
| test.c:126:12:126:26 | call to test3_condition | test.c:126:12:126:26 | call to test3_condition | != | 0 | 126 | 128 |
| test.c:126:12:126:26 | call to test3_condition | test.c:126:12:126:26 | call to test3_condition | != | 0 | 131 | 132 |
| test.c:126:12:126:26 | call to test3_condition | test.c:126:12:126:26 | call to test3_condition | == | 1 | 126 | 128 |
| test.c:126:12:126:26 | call to test3_condition | test.c:126:12:126:26 | call to test3_condition | == | 1 | 131 | 132 |
| test.c:131:7:131:7 | b | test.c:131:7:131:7 | b | != | 0 | 131 | 132 |
| test.c:131:7:131:7 | b | test.c:131:7:131:7 | b | == | 1 | 131 | 132 |
| test.c:137:7:137:7 | 0 | test.c:137:7:137:7 | 0 | != | 1 | 142 | 136 |
@@ -1139,13 +1147,21 @@ irGuardsCompare
| 146 | x != 0 when CompareEQ: ! ... is false |
| 146 | x == 0 when CompareEQ: ! ... is true |
| 152 | x != 0 when CompareNE: x is true |
| 152 | x != 0 when Load: ... && ... is true |
| 152 | x != 0 when Phi: ... && ... is true |
| 152 | x != 1 when CompareNE: x is false |
| 152 | x == 0 when CompareNE: x is false |
| 152 | x == 1 when CompareNE: x is true |
| 152 | x == 1 when Load: ... && ... is true |
| 152 | x == 1 when Phi: ... && ... is true |
| 152 | y != 0 when CompareNE: y is true |
| 152 | y != 0 when Load: ... && ... is true |
| 152 | y != 0 when Phi: ... && ... is true |
| 152 | y != 1 when CompareNE: y is false |
| 152 | y == 0 when CompareNE: y is false |
| 152 | y == 1 when CompareNE: y is true |
| 152 | y == 1 when Load: ... && ... is true |
| 152 | y == 1 when Phi: ... && ... is true |
| 156 | ... + ... != x+0 when CompareEQ: ... == ... is false |
| 156 | ... + ... == x+0 when CompareEQ: ... == ... is true |
| 156 | ... == ... != 0 when CompareEQ: ... == ... is true |
@@ -1211,9 +1227,14 @@ irGuardsCompare
irGuardsControl
| test.c:7:9:7:13 | CompareGT: ... > ... | false | 11 | 11 |
| test.c:7:9:7:13 | CompareGT: ... > ... | true | 8 | 8 |
| test.c:7:9:7:13 | ConditionalBranch: ... > ... | false | 11 | 11 |
| test.c:7:9:7:13 | ConditionalBranch: ... > ... | true | 8 | 8 |
| test.c:17:8:17:12 | CompareLT: ... < ... | true | 17 | 17 |
| test.c:17:8:17:12 | CompareLT: ... < ... | true | 18 | 18 |
| test.c:17:8:17:12 | ConditionalBranch: ... < ... | true | 17 | 17 |
| test.c:17:8:17:12 | ConditionalBranch: ... < ... | true | 18 | 18 |
| test.c:17:17:17:21 | CompareGT: ... > ... | true | 18 | 18 |
| test.c:17:17:17:21 | ConditionalBranch: ... > ... | true | 18 | 18 |
| test.c:26:11:26:15 | CompareGT: ... > ... | false | 2 | 2 |
| test.c:26:11:26:15 | CompareGT: ... > ... | false | 31 | 31 |
| test.c:26:11:26:15 | CompareGT: ... > ... | false | 34 | 34 |
@@ -1229,6 +1250,21 @@ irGuardsControl
| test.c:26:11:26:15 | CompareGT: ... > ... | false | 59 | 59 |
| test.c:26:11:26:15 | CompareGT: ... > ... | false | 62 | 62 |
| test.c:26:11:26:15 | CompareGT: ... > ... | true | 27 | 27 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 2 | 2 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 31 | 31 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 34 | 34 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 35 | 35 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 39 | 39 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 42 | 42 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 43 | 43 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 45 | 45 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 46 | 46 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 52 | 52 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 56 | 56 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 58 | 58 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 59 | 59 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | false | 62 | 62 |
| test.c:26:11:26:15 | ConditionalBranch: ... > ... | true | 27 | 27 |
| test.c:34:16:34:21 | CompareLT: ... < ... | false | 2 | 2 |
| test.c:34:16:34:21 | CompareLT: ... < ... | false | 39 | 39 |
| test.c:34:16:34:21 | CompareLT: ... < ... | false | 42 | 42 |
@@ -1241,22 +1277,56 @@ irGuardsControl
| test.c:34:16:34:21 | CompareLT: ... < ... | false | 59 | 59 |
| test.c:34:16:34:21 | CompareLT: ... < ... | false | 62 | 62 |
| test.c:34:16:34:21 | CompareLT: ... < ... | true | 35 | 35 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 2 | 2 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 39 | 39 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 42 | 42 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 43 | 43 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 45 | 45 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 46 | 46 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 52 | 52 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 56 | 56 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 58 | 58 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 59 | 59 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | false | 62 | 62 |
| test.c:34:16:34:21 | ConditionalBranch: ... < ... | true | 35 | 35 |
| test.c:42:16:42:21 | CompareLT: ... < ... | true | 2 | 2 |
| test.c:42:16:42:21 | CompareLT: ... < ... | true | 43 | 43 |
| test.c:42:16:42:21 | CompareLT: ... < ... | true | 45 | 45 |
| test.c:42:16:42:21 | CompareLT: ... < ... | true | 46 | 46 |
| test.c:42:16:42:21 | CompareLT: ... < ... | true | 52 | 52 |
| test.c:42:16:42:21 | ConditionalBranch: ... < ... | true | 2 | 2 |
| test.c:42:16:42:21 | ConditionalBranch: ... < ... | true | 43 | 43 |
| test.c:42:16:42:21 | ConditionalBranch: ... < ... | true | 45 | 45 |
| test.c:42:16:42:21 | ConditionalBranch: ... < ... | true | 46 | 46 |
| test.c:42:16:42:21 | ConditionalBranch: ... < ... | true | 52 | 52 |
| test.c:44:12:44:16 | CompareGT: ... > ... | false | 52 | 52 |
| test.c:44:12:44:16 | CompareGT: ... > ... | true | 2 | 2 |
| test.c:44:12:44:16 | CompareGT: ... > ... | true | 45 | 45 |
| test.c:44:12:44:16 | CompareGT: ... > ... | true | 46 | 46 |
| test.c:44:12:44:16 | ConditionalBranch: ... > ... | false | 52 | 52 |
| test.c:44:12:44:16 | ConditionalBranch: ... > ... | true | 2 | 2 |
| test.c:44:12:44:16 | ConditionalBranch: ... > ... | true | 45 | 45 |
| test.c:44:12:44:16 | ConditionalBranch: ... > ... | true | 46 | 46 |
| test.c:45:16:45:20 | CompareGT: ... > ... | false | 2 | 2 |
| test.c:45:16:45:20 | CompareGT: ... > ... | true | 46 | 46 |
| test.c:45:16:45:20 | ConditionalBranch: ... > ... | false | 2 | 2 |
| test.c:45:16:45:20 | ConditionalBranch: ... > ... | true | 46 | 46 |
| test.c:58:9:58:14 | CompareEQ: ... == ... | false | 58 | 58 |
| test.c:58:9:58:14 | CompareEQ: ... == ... | false | 62 | 62 |
| test.c:58:9:58:14 | ConditionalBranch: ... == ... | false | 58 | 58 |
| test.c:58:9:58:14 | ConditionalBranch: ... == ... | false | 62 | 62 |
| test.c:58:19:58:23 | CompareLT: ... < ... | false | 62 | 62 |
| test.c:58:19:58:23 | ConditionalBranch: ... < ... | false | 62 | 62 |
| test.c:75:9:75:14 | CompareEQ: ... == ... | false | 79 | 79 |
| test.c:75:9:75:14 | CompareEQ: ... == ... | true | 76 | 76 |
| test.c:75:9:75:14 | ConditionalBranch: ... == ... | false | 79 | 79 |
| test.c:75:9:75:14 | ConditionalBranch: ... == ... | true | 76 | 76 |
| test.c:85:8:85:13 | CompareEQ: ... == ... | true | 85 | 85 |
| test.c:85:8:85:13 | CompareEQ: ... == ... | true | 86 | 86 |
| test.c:85:8:85:13 | ConditionalBranch: ... == ... | true | 85 | 85 |
| test.c:85:8:85:13 | ConditionalBranch: ... == ... | true | 86 | 86 |
| test.c:85:18:85:23 | CompareNE: ... != ... | true | 86 | 86 |
| test.c:85:18:85:23 | ConditionalBranch: ... != ... | true | 86 | 86 |
| test.c:94:11:94:16 | CompareNE: ... != ... | false | 70 | 70 |
| test.c:94:11:94:16 | CompareNE: ... != ... | false | 99 | 99 |
| test.c:94:11:94:16 | CompareNE: ... != ... | false | 102 | 102 |
@@ -1266,40 +1336,89 @@ irGuardsControl
| test.c:94:11:94:16 | CompareNE: ... != ... | false | 110 | 110 |
| test.c:94:11:94:16 | CompareNE: ... != ... | false | 113 | 113 |
| test.c:94:11:94:16 | CompareNE: ... != ... | true | 95 | 95 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | false | 70 | 70 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | false | 99 | 99 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | false | 102 | 102 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | false | 103 | 103 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | false | 107 | 107 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | false | 109 | 109 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | false | 110 | 110 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | false | 113 | 113 |
| test.c:94:11:94:16 | ConditionalBranch: ... != ... | true | 95 | 95 |
| test.c:102:16:102:21 | CompareLT: ... < ... | false | 70 | 70 |
| test.c:102:16:102:21 | CompareLT: ... < ... | false | 107 | 107 |
| test.c:102:16:102:21 | CompareLT: ... < ... | false | 109 | 109 |
| test.c:102:16:102:21 | CompareLT: ... < ... | false | 110 | 110 |
| test.c:102:16:102:21 | CompareLT: ... < ... | false | 113 | 113 |
| test.c:102:16:102:21 | CompareLT: ... < ... | true | 103 | 103 |
| test.c:102:16:102:21 | ConditionalBranch: ... < ... | false | 70 | 70 |
| test.c:102:16:102:21 | ConditionalBranch: ... < ... | false | 107 | 107 |
| test.c:102:16:102:21 | ConditionalBranch: ... < ... | false | 109 | 109 |
| test.c:102:16:102:21 | ConditionalBranch: ... < ... | false | 110 | 110 |
| test.c:102:16:102:21 | ConditionalBranch: ... < ... | false | 113 | 113 |
| test.c:102:16:102:21 | ConditionalBranch: ... < ... | true | 103 | 103 |
| test.c:109:9:109:14 | CompareEQ: ... == ... | false | 109 | 109 |
| test.c:109:9:109:14 | CompareEQ: ... == ... | false | 113 | 113 |
| test.c:109:9:109:14 | ConditionalBranch: ... == ... | false | 109 | 109 |
| test.c:109:9:109:14 | ConditionalBranch: ... == ... | false | 113 | 113 |
| test.c:109:19:109:23 | CompareLT: ... < ... | false | 113 | 113 |
| test.c:109:19:109:23 | ConditionalBranch: ... < ... | false | 113 | 113 |
| test.c:126:7:126:7 | CompareNE: 1 | false | 123 | 123 |
| test.c:126:7:126:7 | CompareNE: 1 | true | 126 | 126 |
| test.c:126:7:126:7 | CompareNE: 1 | true | 127 | 127 |
| test.c:126:7:126:7 | CompareNE: 1 | true | 131 | 131 |
| test.c:126:7:126:7 | CompareNE: 1 | true | 132 | 132 |
| test.c:126:7:126:7 | CompareNE: 1 | true | 134 | 134 |
| test.c:126:7:126:7 | ConditionalBranch: 1 | false | 123 | 123 |
| test.c:126:7:126:7 | ConditionalBranch: 1 | true | 126 | 126 |
| test.c:126:7:126:7 | ConditionalBranch: 1 | true | 127 | 127 |
| test.c:126:7:126:7 | ConditionalBranch: 1 | true | 131 | 131 |
| test.c:126:7:126:7 | ConditionalBranch: 1 | true | 132 | 132 |
| test.c:126:7:126:7 | ConditionalBranch: 1 | true | 134 | 134 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | true | 127 | 127 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | true | 132 | 132 |
| test.c:126:12:126:26 | ConditionalBranch: call to test3_condition | true | 127 | 127 |
| test.c:126:12:126:26 | ConditionalBranch: call to test3_condition | true | 132 | 132 |
| test.c:131:7:131:7 | CompareNE: b | true | 132 | 132 |
| test.c:131:7:131:7 | ConditionalBranch: b | true | 132 | 132 |
| test.c:137:7:137:7 | CompareNE: 0 | false | 142 | 142 |
| test.c:137:7:137:7 | CompareNE: 0 | true | 136 | 136 |
| test.c:137:7:137:7 | ConditionalBranch: 0 | false | 142 | 142 |
| test.c:137:7:137:7 | ConditionalBranch: 0 | true | 136 | 136 |
| test.c:146:7:146:8 | CompareEQ: ! ... | true | 147 | 147 |
| test.c:146:7:146:8 | ConditionalBranch: ! ... | true | 147 | 147 |
| test.c:152:10:152:10 | CompareNE: x | true | 152 | 152 |
| test.c:152:10:152:10 | ConditionalBranch: x | true | 152 | 152 |
| test.c:152:15:152:15 | CompareNE: y | true | 152 | 152 |
| test.c:152:15:152:15 | ConditionalBranch: y | true | 152 | 152 |
| test.c:156:9:156:19 | CompareEQ: ... == ... | true | 156 | 157 |
| test.c:156:9:156:19 | ConditionalBranch: ... == ... | true | 156 | 157 |
| test.c:159:9:159:19 | CompareEQ: ... == ... | true | 159 | 160 |
| test.c:159:9:159:19 | ConditionalBranch: ... == ... | true | 159 | 160 |
| test.c:162:9:162:18 | CompareLT: ... < ... | true | 162 | 163 |
| test.c:162:9:162:18 | ConditionalBranch: ... < ... | true | 162 | 163 |
| test.c:165:9:165:18 | CompareLT: ... < ... | true | 165 | 166 |
| test.c:165:9:165:18 | ConditionalBranch: ... < ... | true | 165 | 166 |
| test.c:175:13:175:32 | CompareEQ: ... == ... | false | 175 | 175 |
| test.c:175:13:175:32 | CompareEQ: ... == ... | true | 175 | 175 |
| test.c:175:13:175:32 | ConditionalBranch: ... == ... | false | 175 | 175 |
| test.c:175:13:175:32 | ConditionalBranch: ... == ... | true | 175 | 175 |
| test.c:181:9:181:9 | CompareNE: x | false | 184 | 184 |
| test.c:181:9:181:9 | CompareNE: x | true | 182 | 182 |
| test.c:181:9:181:9 | ConditionalBranch: x | false | 184 | 184 |
| test.c:181:9:181:9 | ConditionalBranch: x | true | 182 | 182 |
| test.cpp:18:8:18:12 | CompareNE: (bool)... | true | 19 | 19 |
| test.cpp:18:8:18:12 | ConditionalBranch: (bool)... | true | 19 | 19 |
| test.cpp:31:7:31:13 | CompareEQ: ... == ... | false | 34 | 34 |
| test.cpp:31:7:31:13 | CompareEQ: ... == ... | true | 30 | 30 |
| test.cpp:31:7:31:13 | CompareEQ: ... == ... | true | 32 | 32 |
| test.cpp:31:7:31:13 | ConditionalBranch: ... == ... | false | 34 | 34 |
| test.cpp:31:7:31:13 | ConditionalBranch: ... == ... | true | 30 | 30 |
| test.cpp:31:7:31:13 | ConditionalBranch: ... == ... | true | 32 | 32 |
| test.cpp:42:13:42:20 | Call: call to getABool | true | 44 | 44 |
| test.cpp:42:13:42:20 | Call: call to getABool | true | 45 | 45 |
| test.cpp:42:13:42:20 | ConditionalBranch: call to getABool | true | 44 | 44 |
| test.cpp:42:13:42:20 | ConditionalBranch: call to getABool | true | 45 | 45 |
irGuardsEnsure
| test.c:7:9:7:13 | CompareGT: ... > ... | test.c:7:9:7:9 | Load: x | < | test.c:7:13:7:13 | Constant: 0 | 1 | 11 | 11 |
| test.c:7:9:7:13 | CompareGT: ... > ... | test.c:7:9:7:9 | Load: x | >= | test.c:7:13:7:13 | Constant: 0 | 1 | 8 | 8 |
@@ -1365,22 +1484,28 @@ irGuardsEnsure
| test.c:34:16:34:21 | CompareLT: ... < ... | test.c:34:20:34:21 | Constant: 10 | < | test.c:34:16:34:16 | Load: j | 1 | 59 | 59 |
| test.c:34:16:34:21 | CompareLT: ... < ... | test.c:34:20:34:21 | Constant: 10 | < | test.c:34:16:34:16 | Load: j | 1 | 62 | 62 |
| test.c:34:16:34:21 | CompareLT: ... < ... | test.c:34:20:34:21 | Constant: 10 | >= | test.c:34:16:34:16 | Load: j | 1 | 35 | 35 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | test.c:42:20:42:21 | Constant: 10 | 0 | 2 | 2 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | test.c:42:20:42:21 | Constant: 10 | 0 | 43 | 43 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | test.c:42:20:42:21 | Constant: 10 | 0 | 45 | 45 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | test.c:42:20:42:21 | Constant: 10 | 0 | 46 | 46 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | test.c:42:20:42:21 | Constant: 10 | 0 | 52 | 52 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:20:42:21 | Constant: 10 | >= | test.c:42:16:42:16 | Load: j | 1 | 2 | 2 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:20:42:21 | Constant: 10 | >= | test.c:42:16:42:16 | Load: j | 1 | 43 | 43 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:20:42:21 | Constant: 10 | >= | test.c:42:16:42:16 | Load: j | 1 | 45 | 45 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:20:42:21 | Constant: 10 | >= | test.c:42:16:42:16 | Load: j | 1 | 46 | 46 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:20:42:21 | Constant: 10 | >= | test.c:42:16:42:16 | Load: j | 1 | 52 | 52 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:12 | Load: z | < | test.c:44:16:44:16 | Constant: 0 | 1 | 52 | 52 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:12 | Load: z | >= | test.c:44:16:44:16 | Constant: 0 | 1 | 2 | 2 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:12 | Load: z | >= | test.c:44:16:44:16 | Constant: 0 | 1 | 45 | 45 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:12 | Load: z | >= | test.c:44:16:44:16 | Constant: 0 | 1 | 46 | 46 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:16:44:16 | Constant: 0 | < | test.c:44:12:44:12 | Load: z | 0 | 2 | 2 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:16:44:16 | Constant: 0 | < | test.c:44:12:44:12 | Load: z | 0 | 45 | 45 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:16:44:16 | Constant: 0 | < | test.c:44:12:44:12 | Load: z | 0 | 46 | 46 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:16:44:16 | Constant: 0 | >= | test.c:44:12:44:12 | Load: z | 0 | 52 | 52 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:16:45:16 | Load: y | < | test.c:45:20:45:20 | Constant: (long)... | 1 | 2 | 2 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:16:45:16 | Load: y | >= | test.c:45:20:45:20 | Constant: (long)... | 1 | 46 | 46 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:20:45:20 | Constant: (long)... | < | test.c:45:16:45:16 | Load: y | 0 | 46 | 46 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:20:45:20 | Constant: (long)... | >= | test.c:45:16:45:16 | Load: y | 0 | 2 | 2 |
| test.c:58:9:58:14 | CompareEQ: ... == ... | test.c:58:9:58:9 | Load: x | != | test.c:58:14:58:14 | Constant: 0 | 0 | 58 | 58 |
| test.c:58:9:58:14 | CompareEQ: ... == ... | test.c:58:9:58:9 | Load: x | != | test.c:58:14:58:14 | Constant: 0 | 0 | 62 | 62 |
| test.c:58:9:58:14 | CompareEQ: ... == ... | test.c:58:14:58:14 | Constant: 0 | != | test.c:58:9:58:9 | Load: x | 0 | 58 | 58 |
@@ -1451,10 +1576,16 @@ irGuardsEnsure
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | != | test.c:126:7:126:7 | Constant: 1 | 0 | 132 | 132 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | != | test.c:126:7:126:7 | Constant: 1 | 0 | 134 | 134 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | != | test.c:126:7:126:7 | Constant: 1 | 0 | 134 | 134 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | == | test.c:126:7:126:7 | Constant: 1 | 0 | 123 | 123 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | == | test.c:126:7:126:7 | Constant: 1 | 0 | 123 | 123 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | Call: call to test3_condition | != | test.c:126:12:126:26 | Constant: call to test3_condition | 0 | 127 | 127 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | Call: call to test3_condition | != | test.c:126:12:126:26 | Constant: call to test3_condition | 0 | 132 | 132 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | Constant: call to test3_condition | != | test.c:126:12:126:26 | Call: call to test3_condition | 0 | 127 | 127 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | Constant: call to test3_condition | != | test.c:126:12:126:26 | Call: call to test3_condition | 0 | 132 | 132 |
| test.c:131:7:131:7 | CompareNE: b | test.c:131:7:131:7 | Constant: b | != | test.c:131:7:131:7 | Load: b | 0 | 132 | 132 |
| test.c:131:7:131:7 | CompareNE: b | test.c:131:7:131:7 | Load: b | != | test.c:131:7:131:7 | Constant: b | 0 | 132 | 132 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | Constant: 0 | != | test.c:137:7:137:7 | Constant: 0 | 0 | 136 | 136 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | Constant: 0 | != | test.c:137:7:137:7 | Constant: 0 | 0 | 136 | 136 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | Constant: 0 | == | test.c:137:7:137:7 | Constant: 0 | 0 | 142 | 142 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | Constant: 0 | == | test.c:137:7:137:7 | Constant: 0 | 0 | 142 | 142 |
| test.c:146:7:146:8 | CompareEQ: ! ... | test.c:146:7:146:8 | Constant: ! ... | == | test.c:146:8:146:8 | Load: x | 0 | 147 | 147 |
@@ -1592,29 +1723,38 @@ irGuardsEnsure_const
| test.c:34:16:34:21 | CompareLT: ... < ... | test.c:34:16:34:21 | CompareLT: ... < ... | == | 0 | 59 | 59 |
| test.c:34:16:34:21 | CompareLT: ... < ... | test.c:34:16:34:21 | CompareLT: ... < ... | == | 0 | 62 | 62 |
| test.c:34:16:34:21 | CompareLT: ... < ... | test.c:34:16:34:21 | CompareLT: ... < ... | == | 1 | 35 | 35 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | 10 | 2 | 2 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | 10 | 43 | 43 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | 10 | 45 | 45 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | 10 | 46 | 46 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:16 | Load: j | < | 10 | 52 | 52 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | != | 0 | 2 | 2 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | != | 0 | 43 | 43 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | != | 0 | 45 | 45 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | != | 0 | 46 | 46 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | != | 0 | 52 | 52 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | == | 1 | 2 | 2 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | == | 1 | 43 | 43 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | == | 1 | 45 | 45 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | == | 1 | 46 | 46 |
| test.c:42:16:42:21 | CompareLT: ... < ... | test.c:42:16:42:21 | CompareLT: ... < ... | == | 1 | 52 | 52 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:12 | Load: z | < | 1 | 52 | 52 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:12 | Load: z | >= | 1 | 2 | 2 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:12 | Load: z | >= | 1 | 45 | 45 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:12 | Load: z | >= | 1 | 46 | 46 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:16 | CompareGT: ... > ... | != | 0 | 2 | 2 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:16 | CompareGT: ... > ... | != | 0 | 45 | 45 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:16 | CompareGT: ... > ... | != | 0 | 46 | 46 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:16 | CompareGT: ... > ... | != | 1 | 52 | 52 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:16 | CompareGT: ... > ... | == | 0 | 52 | 52 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:16 | CompareGT: ... > ... | == | 1 | 2 | 2 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:16 | CompareGT: ... > ... | == | 1 | 45 | 45 |
| test.c:44:12:44:16 | CompareGT: ... > ... | test.c:44:12:44:16 | CompareGT: ... > ... | == | 1 | 46 | 46 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:16:45:16 | Load: y | < | 1 | 2 | 2 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:16:45:16 | Load: y | >= | 1 | 46 | 46 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:16:45:20 | CompareGT: ... > ... | != | 0 | 46 | 46 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:16:45:20 | CompareGT: ... > ... | != | 1 | 2 | 2 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:16:45:20 | CompareGT: ... > ... | == | 0 | 2 | 2 |
| test.c:45:16:45:20 | CompareGT: ... > ... | test.c:45:16:45:20 | CompareGT: ... > ... | == | 1 | 46 | 46 |
| test.c:58:9:58:14 | CompareEQ: ... == ... | test.c:58:9:58:9 | Load: x | != | 0 | 58 | 58 |
| test.c:58:9:58:14 | CompareEQ: ... == ... | test.c:58:9:58:9 | Load: x | != | 0 | 62 | 62 |
@@ -1711,6 +1851,8 @@ irGuardsEnsure_const
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | CompareNE: 1 | != | 0 | 131 | 131 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | CompareNE: 1 | != | 0 | 132 | 132 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | CompareNE: 1 | != | 0 | 134 | 134 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | CompareNE: 1 | != | 1 | 123 | 123 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | CompareNE: 1 | == | 0 | 123 | 123 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | CompareNE: 1 | == | 1 | 126 | 126 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | CompareNE: 1 | == | 1 | 127 | 127 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | CompareNE: 1 | == | 1 | 131 | 131 |
@@ -1726,14 +1868,23 @@ irGuardsEnsure_const
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | != | 1 | 131 | 131 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | != | 1 | 132 | 132 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | != | 1 | 134 | 134 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | == | 0 | 123 | 123 |
| test.c:126:7:126:7 | CompareNE: 1 | test.c:126:7:126:7 | Constant: 1 | == | 1 | 123 | 123 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | Call: call to test3_condition | != | 0 | 127 | 127 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | Call: call to test3_condition | != | 0 | 132 | 132 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | CompareNE: call to test3_condition | != | 0 | 127 | 127 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | CompareNE: call to test3_condition | != | 0 | 132 | 132 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | CompareNE: call to test3_condition | == | 1 | 127 | 127 |
| test.c:126:12:126:26 | CompareNE: call to test3_condition | test.c:126:12:126:26 | CompareNE: call to test3_condition | == | 1 | 132 | 132 |
| test.c:131:7:131:7 | CompareNE: b | test.c:131:7:131:7 | CompareNE: b | != | 0 | 132 | 132 |
| test.c:131:7:131:7 | CompareNE: b | test.c:131:7:131:7 | CompareNE: b | == | 1 | 132 | 132 |
| test.c:131:7:131:7 | CompareNE: b | test.c:131:7:131:7 | Load: b | != | 0 | 132 | 132 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | CompareNE: 0 | != | 0 | 136 | 136 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | CompareNE: 0 | != | 1 | 142 | 142 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | CompareNE: 0 | == | 0 | 142 | 142 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | CompareNE: 0 | == | 1 | 136 | 136 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | Constant: 0 | != | 0 | 136 | 136 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | Constant: 0 | != | 0 | 136 | 136 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | Constant: 0 | == | 0 | 142 | 142 |
| test.c:137:7:137:7 | CompareNE: 0 | test.c:137:7:137:7 | Constant: 0 | == | 0 | 142 | 142 |
| test.c:146:7:146:8 | CompareEQ: ! ... | test.c:146:7:146:8 | CompareEQ: ! ... | != | 0 | 147 | 147 |

1436
cpp/ql/test/library-tests/controlflow/guards/Guards.expected
View File

File diff suppressed because it is too large Load Diff

273
cpp/ql/test/library-tests/controlflow/guards/GuardsCompare.expected
View File

@@ -392,6 +392,12 @@
| test.c:206:8:206:8 | c | b >= a+0 when c is false |
| test.c:206:8:206:8 | c | c != 0 when c is true |
| test.c:206:8:206:8 | c | c == 0 when c is false |
| test.c:215:6:215:18 | ! ... | ... > ... != 0 when ! ... is false |
| test.c:215:6:215:18 | ! ... | ... > ... == 0 when ! ... is true |
| test.c:215:6:215:18 | ! ... | a < b+1 when ! ... is true |
| test.c:215:6:215:18 | ! ... | a >= b+1 when ! ... is false |
| test.c:215:6:215:18 | ! ... | b < a+0 when ! ... is false |
| test.c:215:6:215:18 | ! ... | b >= a+0 when ! ... is true |
| test.c:215:6:215:18 | call to __builtin_expect | ... > ... != 0 when call to __builtin_expect is true |
| test.c:215:6:215:18 | call to __builtin_expect | ... > ... == 0 when call to __builtin_expect is false |
| test.c:215:6:215:18 | call to __builtin_expect | a < b+1 when call to __builtin_expect is false |
@@ -402,6 +408,20 @@
| test.c:215:6:215:18 | call to __builtin_expect | call to __builtin_expect != 1 when call to __builtin_expect is false |
| test.c:215:6:215:18 | call to __builtin_expect | call to __builtin_expect == 0 when call to __builtin_expect is false |
| test.c:215:6:215:18 | call to __builtin_expect | call to __builtin_expect == 1 when call to __builtin_expect is true |
| test.c:215:13:215:17 | ... > ... | ... > ... != 0 when ... > ... is true |
| test.c:215:13:215:17 | ... > ... | ... > ... == 0 when ... > ... is false |
| test.c:215:13:215:17 | ... > ... | a < b+1 when ... > ... is false |
| test.c:215:13:215:17 | ... > ... | a >= b+1 when ... > ... is true |
| test.c:215:13:215:17 | ... > ... | b < a+0 when ... > ... is true |
| test.c:215:13:215:17 | ... > ... | b >= a+0 when ... > ... is false |
| test.c:219:9:219:22 | ! ... | 42 < a+0 when ! ... is false |
| test.c:219:9:219:22 | ! ... | 42 >= a+0 when ! ... is true |
| test.c:219:9:219:22 | ! ... | ... > ... != 0 when ! ... is false |
| test.c:219:9:219:22 | ! ... | ... > ... == 0 when ! ... is true |
| test.c:219:9:219:22 | ! ... | a < 42+1 when ! ... is true |
| test.c:219:9:219:22 | ! ... | a < 43 when ! ... is true |
| test.c:219:9:219:22 | ! ... | a >= 42+1 when ! ... is false |
| test.c:219:9:219:22 | ! ... | a >= 43 when ! ... is false |
| test.c:219:9:219:22 | call to __builtin_expect | 42 < a+0 when call to __builtin_expect is true |
| test.c:219:9:219:22 | call to __builtin_expect | 42 >= a+0 when call to __builtin_expect is false |
| test.c:219:9:219:22 | call to __builtin_expect | ... > ... != 0 when call to __builtin_expect is true |
@@ -414,6 +434,14 @@
| test.c:219:9:219:22 | call to __builtin_expect | call to __builtin_expect != 1 when call to __builtin_expect is false |
| test.c:219:9:219:22 | call to __builtin_expect | call to __builtin_expect == 0 when call to __builtin_expect is false |
| test.c:219:9:219:22 | call to __builtin_expect | call to __builtin_expect == 1 when call to __builtin_expect is true |
| test.c:219:16:219:21 | ... > ... | 42 < a+0 when ... > ... is true |
| test.c:219:16:219:21 | ... > ... | 42 >= a+0 when ... > ... is false |
| test.c:219:16:219:21 | ... > ... | ... > ... != 0 when ... > ... is true |
| test.c:219:16:219:21 | ... > ... | ... > ... == 0 when ... > ... is false |
| test.c:219:16:219:21 | ... > ... | a < 42+1 when ... > ... is false |
| test.c:219:16:219:21 | ... > ... | a < 43 when ... > ... is false |
| test.c:219:16:219:21 | ... > ... | a >= 42+1 when ... > ... is true |
| test.c:219:16:219:21 | ... > ... | a >= 43 when ... > ... is true |
| test.cpp:18:8:18:10 | call to get | call to get != 0 when call to get is true |
| test.cpp:18:8:18:10 | call to get | call to get != 1 when call to get is false |
| test.cpp:18:8:18:10 | call to get | call to get == 0 when call to get is false |
@@ -432,13 +460,52 @@
| test.cpp:42:13:42:20 | call to getABool | call to getABool != 1 when call to getABool is false |
| test.cpp:42:13:42:20 | call to getABool | call to getABool == 0 when call to getABool is false |
| test.cpp:42:13:42:20 | call to getABool | call to getABool == 1 when call to getABool is true |
| test.cpp:61:10:61:10 | i | i == 0 when i is Case[0] |
| test.cpp:61:10:61:10 | i | i == 1 when i is Case[1] |
| test.cpp:61:10:61:10 | i | i == 2 when i is Case[2] |
| test.cpp:74:10:74:10 | i | i < 11 when i is Case[0..10] |
| test.cpp:74:10:74:10 | i | i < 21 when i is Case[11..20] |
| test.cpp:74:10:74:10 | i | i >= 0 when i is Case[0..10] |
| test.cpp:74:10:74:10 | i | i >= 11 when i is Case[11..20] |
| test.cpp:60:31:60:31 | i | i != 0 when i is not 0 |
| test.cpp:60:31:60:31 | i | i != 1 when i is not 1 |
| test.cpp:60:31:60:31 | i | i != 2 when i is not 2 |
| test.cpp:60:31:60:31 | i | i == 0 when i is 0 |
| test.cpp:60:31:60:31 | i | i == 1 when i is 1 |
| test.cpp:60:31:60:31 | i | i == 2 when i is 2 |
| test.cpp:61:10:61:10 | i | i != 0 when i is not 0 |
| test.cpp:61:10:61:10 | i | i != 1 when i is not 1 |
| test.cpp:61:10:61:10 | i | i != 2 when i is not 2 |
| test.cpp:61:10:61:10 | i | i == 0 when i is 0 |
| test.cpp:61:10:61:10 | i | i == 1 when i is 1 |
| test.cpp:61:10:61:10 | i | i == 2 when i is 2 |
| test.cpp:63:12:63:12 | i | i != 0 when i is not 0 |
| test.cpp:63:12:63:12 | i | i != 1 when i is not 1 |
| test.cpp:63:12:63:12 | i | i != 2 when i is not 2 |
| test.cpp:63:12:63:12 | i | i == 0 when i is 0 |
| test.cpp:63:12:63:12 | i | i == 1 when i is 1 |
| test.cpp:63:12:63:12 | i | i == 2 when i is 2 |
| test.cpp:66:12:66:12 | i | i != 0 when i is not 0 |
| test.cpp:66:12:66:12 | i | i != 1 when i is not 1 |
| test.cpp:66:12:66:12 | i | i != 2 when i is not 2 |
| test.cpp:66:12:66:12 | i | i == 0 when i is 0 |
| test.cpp:66:12:66:12 | i | i == 1 when i is 1 |
| test.cpp:66:12:66:12 | i | i == 2 when i is 2 |
| test.cpp:69:12:69:12 | i | i != 0 when i is not 0 |
| test.cpp:69:12:69:12 | i | i != 1 when i is not 1 |
| test.cpp:69:12:69:12 | i | i != 2 when i is not 2 |
| test.cpp:69:12:69:12 | i | i == 0 when i is 0 |
| test.cpp:69:12:69:12 | i | i == 1 when i is 1 |
| test.cpp:69:12:69:12 | i | i == 2 when i is 2 |
| test.cpp:73:30:73:30 | i | i < 11 when i is 0..10 |
| test.cpp:73:30:73:30 | i | i < 21 when i is 11..20 |
| test.cpp:73:30:73:30 | i | i >= 0 when i is 0..10 |
| test.cpp:73:30:73:30 | i | i >= 11 when i is 11..20 |
| test.cpp:74:10:74:10 | i | i < 11 when i is 0..10 |
| test.cpp:74:10:74:10 | i | i < 21 when i is 11..20 |
| test.cpp:74:10:74:10 | i | i >= 0 when i is 0..10 |
| test.cpp:74:10:74:10 | i | i >= 11 when i is 11..20 |
| test.cpp:76:12:76:12 | i | i < 11 when i is 0..10 |
| test.cpp:76:12:76:12 | i | i < 21 when i is 11..20 |
| test.cpp:76:12:76:12 | i | i >= 0 when i is 0..10 |
| test.cpp:76:12:76:12 | i | i >= 11 when i is 11..20 |
| test.cpp:79:12:79:12 | i | i < 11 when i is 0..10 |
| test.cpp:79:12:79:12 | i | i < 21 when i is 11..20 |
| test.cpp:79:12:79:12 | i | i >= 0 when i is 0..10 |
| test.cpp:79:12:79:12 | i | i >= 11 when i is 11..20 |
| test.cpp:93:6:93:6 | c | c != 0 when c is true |
| test.cpp:93:6:93:6 | c | c != 1 when c is false |
| test.cpp:93:6:93:6 | c | c == 0 when c is false |
@@ -463,6 +530,10 @@
| test.cpp:111:6:111:14 | ... != ... | ... != ... == 1 when ... != ... is true |
| test.cpp:111:6:111:14 | ... != ... | i != 0.0+0 when ... != ... is true |
| test.cpp:111:6:111:14 | ... != ... | i == 0.0+0 when ... != ... is false |
| test.cpp:119:16:119:16 | b | b != 0 when b is true |
| test.cpp:119:16:119:16 | b | b != 1 when b is false |
| test.cpp:119:16:119:16 | b | b == 0 when b is false |
| test.cpp:119:16:119:16 | b | b == 1 when b is true |
| test.cpp:122:9:122:9 | b | b != 0 when b is true |
| test.cpp:122:9:122:9 | b | b != 1 when b is false |
| test.cpp:122:9:122:9 | b | b == 0 when b is false |
@@ -495,6 +566,14 @@
| test.cpp:131:6:131:21 | call to __builtin_expect | call to __builtin_expect != 1 when call to __builtin_expect is false |
| test.cpp:131:6:131:21 | call to __builtin_expect | call to __builtin_expect == 0 when call to __builtin_expect is false |
| test.cpp:131:6:131:21 | call to __builtin_expect | call to __builtin_expect == 1 when call to __builtin_expect is true |
| test.cpp:131:23:131:33 | ... == ... | ... + ... != a+0 when ... == ... is false |
| test.cpp:131:23:131:33 | ... == ... | ... + ... == a+0 when ... == ... is true |
| test.cpp:131:23:131:33 | ... == ... | a != ... + ...+0 when ... == ... is false |
| test.cpp:131:23:131:33 | ... == ... | a != b+42 when ... == ... is false |
| test.cpp:131:23:131:33 | ... == ... | a == ... + ...+0 when ... == ... is true |
| test.cpp:131:23:131:33 | ... == ... | a == b+42 when ... == ... is true |
| test.cpp:131:23:131:33 | ... == ... | b != a+-42 when ... == ... is false |
| test.cpp:131:23:131:33 | ... == ... | b == a+-42 when ... == ... is true |
| test.cpp:135:6:135:21 | call to __builtin_expect | ... + ... != a+0 when call to __builtin_expect is true |
| test.cpp:135:6:135:21 | call to __builtin_expect | ... + ... == a+0 when call to __builtin_expect is false |
| test.cpp:135:6:135:21 | call to __builtin_expect | a != ... + ...+0 when call to __builtin_expect is true |
@@ -507,6 +586,14 @@
| test.cpp:135:6:135:21 | call to __builtin_expect | call to __builtin_expect != 1 when call to __builtin_expect is false |
| test.cpp:135:6:135:21 | call to __builtin_expect | call to __builtin_expect == 0 when call to __builtin_expect is false |
| test.cpp:135:6:135:21 | call to __builtin_expect | call to __builtin_expect == 1 when call to __builtin_expect is true |
| test.cpp:135:23:135:33 | ... != ... | ... + ... != a+0 when ... != ... is true |
| test.cpp:135:23:135:33 | ... != ... | ... + ... == a+0 when ... != ... is false |
| test.cpp:135:23:135:33 | ... != ... | a != ... + ...+0 when ... != ... is true |
| test.cpp:135:23:135:33 | ... != ... | a != b+42 when ... != ... is true |
| test.cpp:135:23:135:33 | ... != ... | a == ... + ...+0 when ... != ... is false |
| test.cpp:135:23:135:33 | ... != ... | a == b+42 when ... != ... is false |
| test.cpp:135:23:135:33 | ... != ... | b != a+-42 when ... != ... is true |
| test.cpp:135:23:135:33 | ... != ... | b == a+-42 when ... != ... is false |
| test.cpp:141:6:141:21 | call to __builtin_expect | 42 != a+0 when call to __builtin_expect is false |
| test.cpp:141:6:141:21 | call to __builtin_expect | 42 == a+0 when call to __builtin_expect is true |
| test.cpp:141:6:141:21 | call to __builtin_expect | a != 42 when call to __builtin_expect is false |
@@ -517,6 +604,12 @@
| test.cpp:141:6:141:21 | call to __builtin_expect | call to __builtin_expect != 1 when call to __builtin_expect is false |
| test.cpp:141:6:141:21 | call to __builtin_expect | call to __builtin_expect == 0 when call to __builtin_expect is false |
| test.cpp:141:6:141:21 | call to __builtin_expect | call to __builtin_expect == 1 when call to __builtin_expect is true |
| test.cpp:141:23:141:29 | ... == ... | 42 != a+0 when ... == ... is false |
| test.cpp:141:23:141:29 | ... == ... | 42 == a+0 when ... == ... is true |
| test.cpp:141:23:141:29 | ... == ... | a != 42 when ... == ... is false |
| test.cpp:141:23:141:29 | ... == ... | a != 42+0 when ... == ... is false |
| test.cpp:141:23:141:29 | ... == ... | a == 42 when ... == ... is true |
| test.cpp:141:23:141:29 | ... == ... | a == 42+0 when ... == ... is true |
| test.cpp:145:6:145:21 | call to __builtin_expect | 42 != a+0 when call to __builtin_expect is true |
| test.cpp:145:6:145:21 | call to __builtin_expect | 42 == a+0 when call to __builtin_expect is false |
| test.cpp:145:6:145:21 | call to __builtin_expect | a != 42 when call to __builtin_expect is true |
@@ -527,6 +620,26 @@
| test.cpp:145:6:145:21 | call to __builtin_expect | call to __builtin_expect != 1 when call to __builtin_expect is false |
| test.cpp:145:6:145:21 | call to __builtin_expect | call to __builtin_expect == 0 when call to __builtin_expect is false |
| test.cpp:145:6:145:21 | call to __builtin_expect | call to __builtin_expect == 1 when call to __builtin_expect is true |
| test.cpp:145:23:145:29 | ... != ... | 42 != a+0 when ... != ... is true |
| test.cpp:145:23:145:29 | ... != ... | 42 == a+0 when ... != ... is false |
| test.cpp:145:23:145:29 | ... != ... | a != 42 when ... != ... is true |
| test.cpp:145:23:145:29 | ... != ... | a != 42+0 when ... != ... is true |
| test.cpp:145:23:145:29 | ... != ... | a == 42 when ... != ... is false |
| test.cpp:145:23:145:29 | ... != ... | a == 42+0 when ... != ... is false |
| test.cpp:151:8:151:13 | ... < ... | 10 < a+1 when ... < ... is false |
| test.cpp:151:8:151:13 | ... < ... | 10 >= a+1 when ... < ... is true |
| test.cpp:151:8:151:13 | ... < ... | ... < ... != 0 when ... < ... is true |
| test.cpp:151:8:151:13 | ... < ... | ... < ... != 1 when ... < ... is false |
| test.cpp:151:8:151:13 | ... < ... | ... < ... == 0 when ... < ... is false |
| test.cpp:151:8:151:13 | ... < ... | ... < ... == 1 when ... < ... is true |
| test.cpp:151:8:151:13 | ... < ... | a < 10 when ... < ... is true |
| test.cpp:151:8:151:13 | ... < ... | a < 10+0 when ... < ... is true |
| test.cpp:151:8:151:13 | ... < ... | a >= 10 when ... < ... is false |
| test.cpp:151:8:151:13 | ... < ... | a >= 10+0 when ... < ... is false |
| test.cpp:151:8:151:13 | ... < ... | b != 0 when ... < ... is true |
| test.cpp:151:8:151:13 | ... < ... | b != 1 when ... < ... is false |
| test.cpp:151:8:151:13 | ... < ... | b == 0 when ... < ... is false |
| test.cpp:151:8:151:13 | ... < ... | b == 1 when ... < ... is true |
| test.cpp:152:7:152:8 | ! ... | 10 < a+1 when ! ... is true |
| test.cpp:152:7:152:8 | ! ... | 10 >= a+1 when ! ... is false |
| test.cpp:152:7:152:8 | ! ... | ! ... != 0 when ! ... is true |
@@ -563,6 +676,18 @@
| test.cpp:152:8:152:8 | b | b != 1 when b is false |
| test.cpp:152:8:152:8 | b | b == 0 when b is false |
| test.cpp:152:8:152:8 | b | b == 1 when b is true |
| test.cpp:158:12:158:17 | ... != ... | ... != ... != 0 when ... != ... is true |
| test.cpp:158:12:158:17 | ... != ... | ... != ... != 1 when ... != ... is false |
| test.cpp:158:12:158:17 | ... != ... | ... != ... == 0 when ... != ... is false |
| test.cpp:158:12:158:17 | ... != ... | ... != ... == 1 when ... != ... is true |
| test.cpp:158:12:158:17 | ... != ... | a != b+0 when ... != ... is true |
| test.cpp:158:12:158:17 | ... != ... | a == b+0 when ... != ... is false |
| test.cpp:158:12:158:17 | ... != ... | b != a+0 when ... != ... is true |
| test.cpp:158:12:158:17 | ... != ... | b == a+0 when ... != ... is false |
| test.cpp:158:12:158:17 | ... != ... | c != 0 when ... != ... is true |
| test.cpp:158:12:158:17 | ... != ... | c != 1 when ... != ... is false |
| test.cpp:158:12:158:17 | ... != ... | c == 0 when ... != ... is false |
| test.cpp:158:12:158:17 | ... != ... | c == 1 when ... != ... is true |
| test.cpp:160:7:160:8 | ! ... | ! ... != 0 when ! ... is true |
| test.cpp:160:7:160:8 | ! ... | ! ... != 1 when ! ... is false |
| test.cpp:160:7:160:8 | ! ... | ! ... == 0 when ! ... is false |
@@ -595,6 +720,20 @@
| test.cpp:160:8:160:8 | c | c != 1 when c is false |
| test.cpp:160:8:160:8 | c | c == 0 when c is false |
| test.cpp:160:8:160:8 | c | c == 1 when c is true |
| test.cpp:166:12:166:17 | ... > ... | 10 < a+0 when ... > ... is true |
| test.cpp:166:12:166:17 | ... > ... | 10 >= a+0 when ... > ... is false |
| test.cpp:166:12:166:17 | ... > ... | ... > ... != 0 when ... > ... is true |
| test.cpp:166:12:166:17 | ... > ... | ... > ... != 1 when ... > ... is false |
| test.cpp:166:12:166:17 | ... > ... | ... > ... == 0 when ... > ... is false |
| test.cpp:166:12:166:17 | ... > ... | ... > ... == 1 when ... > ... is true |
| test.cpp:166:12:166:17 | ... > ... | a < 10+1 when ... > ... is false |
| test.cpp:166:12:166:17 | ... > ... | a < 11 when ... > ... is false |
| test.cpp:166:12:166:17 | ... > ... | a >= 10+1 when ... > ... is true |
| test.cpp:166:12:166:17 | ... > ... | a >= 11 when ... > ... is true |
| test.cpp:166:12:166:17 | ... > ... | b != 0 when ... > ... is true |
| test.cpp:166:12:166:17 | ... > ... | b != 1 when ... > ... is false |
| test.cpp:166:12:166:17 | ... > ... | b == 0 when ... > ... is false |
| test.cpp:166:12:166:17 | ... > ... | b == 1 when ... > ... is true |
| test.cpp:168:7:168:8 | ! ... | 10 < a+0 when ! ... is false |
| test.cpp:168:7:168:8 | ! ... | 10 >= a+0 when ! ... is true |
| test.cpp:168:7:168:8 | ! ... | ! ... != 0 when ! ... is true |
@@ -631,6 +770,18 @@
| test.cpp:168:8:168:8 | b | b != 1 when b is false |
| test.cpp:168:8:168:8 | b | b == 0 when b is false |
| test.cpp:168:8:168:8 | b | b == 1 when b is true |
| test.cpp:174:12:174:16 | ... > ... | ... > ... != 0 when ... > ... is true |
| test.cpp:174:12:174:16 | ... > ... | ... > ... != 1 when ... > ... is false |
| test.cpp:174:12:174:16 | ... > ... | ... > ... == 0 when ... > ... is false |
| test.cpp:174:12:174:16 | ... > ... | ... > ... == 1 when ... > ... is true |
| test.cpp:174:12:174:16 | ... > ... | a < b+1 when ... > ... is false |
| test.cpp:174:12:174:16 | ... > ... | a >= b+1 when ... > ... is true |
| test.cpp:174:12:174:16 | ... > ... | b < a+0 when ... > ... is true |
| test.cpp:174:12:174:16 | ... > ... | b >= a+0 when ... > ... is false |
| test.cpp:174:12:174:16 | ... > ... | c != 0 when ... > ... is true |
| test.cpp:174:12:174:16 | ... > ... | c != 1 when ... > ... is false |
| test.cpp:174:12:174:16 | ... > ... | c == 0 when ... > ... is false |
| test.cpp:174:12:174:16 | ... > ... | c == 1 when ... > ... is true |
| test.cpp:176:7:176:8 | ! ... | ! ... != 0 when ! ... is true |
| test.cpp:176:7:176:8 | ! ... | ! ... != 1 when ! ... is false |
| test.cpp:176:7:176:8 | ! ... | ! ... == 0 when ! ... is false |
@@ -663,6 +814,14 @@
| test.cpp:176:8:176:8 | c | c != 1 when c is false |
| test.cpp:176:8:176:8 | c | c == 0 when c is false |
| test.cpp:176:8:176:8 | c | c == 1 when c is true |
| test.cpp:181:28:181:29 | b1 | b1 != 0 when b1 is true |
| test.cpp:181:28:181:29 | b1 | b1 != 1 when b1 is false |
| test.cpp:181:28:181:29 | b1 | b1 == 0 when b1 is false |
| test.cpp:181:28:181:29 | b1 | b1 == 1 when b1 is true |
| test.cpp:181:37:181:38 | b2 | b2 != 0 when b2 is true |
| test.cpp:181:37:181:38 | b2 | b2 != 1 when b2 is false |
| test.cpp:181:37:181:38 | b2 | b2 == 0 when b2 is false |
| test.cpp:181:37:181:38 | b2 | b2 == 1 when b2 is true |
| test.cpp:182:6:182:16 | ! ... | ! ... != 0 when ! ... is true |
| test.cpp:182:6:182:16 | ! ... | ! ... != 1 when ! ... is false |
| test.cpp:182:6:182:16 | ! ... | ! ... == 0 when ! ... is false |
@@ -695,6 +854,30 @@
| test.cpp:182:14:182:15 | b2 | b2 != 1 when b2 is false |
| test.cpp:182:14:182:15 | b2 | b2 == 0 when b2 is false |
| test.cpp:182:14:182:15 | b2 | b2 == 1 when b2 is true |
| test.cpp:183:9:183:10 | b1 | b1 != 0 when b1 is true |
| test.cpp:183:9:183:10 | b1 | b1 != 1 when b1 is false |
| test.cpp:183:9:183:10 | b1 | b1 == 0 when b1 is false |
| test.cpp:183:9:183:10 | b1 | b1 == 1 when b1 is true |
| test.cpp:184:9:184:10 | b2 | b2 != 0 when b2 is true |
| test.cpp:184:9:184:10 | b2 | b2 != 1 when b2 is false |
| test.cpp:184:9:184:10 | b2 | b2 == 0 when b2 is false |
| test.cpp:184:9:184:10 | b2 | b2 == 1 when b2 is true |
| test.cpp:187:9:187:10 | b1 | b1 != 0 when b1 is true |
| test.cpp:187:9:187:10 | b1 | b1 != 1 when b1 is false |
| test.cpp:187:9:187:10 | b1 | b1 == 0 when b1 is false |
| test.cpp:187:9:187:10 | b1 | b1 == 1 when b1 is true |
| test.cpp:188:9:188:10 | b2 | b2 != 0 when b2 is true |
| test.cpp:188:9:188:10 | b2 | b2 != 1 when b2 is false |
| test.cpp:188:9:188:10 | b2 | b2 == 0 when b2 is false |
| test.cpp:188:9:188:10 | b2 | b2 == 1 when b2 is true |
| test.cpp:192:27:192:28 | b1 | b1 != 0 when b1 is true |
| test.cpp:192:27:192:28 | b1 | b1 != 1 when b1 is false |
| test.cpp:192:27:192:28 | b1 | b1 == 0 when b1 is false |
| test.cpp:192:27:192:28 | b1 | b1 == 1 when b1 is true |
| test.cpp:192:36:192:37 | b2 | b2 != 0 when b2 is true |
| test.cpp:192:36:192:37 | b2 | b2 != 1 when b2 is false |
| test.cpp:192:36:192:37 | b2 | b2 == 0 when b2 is false |
| test.cpp:192:36:192:37 | b2 | b2 == 1 when b2 is true |
| test.cpp:193:6:193:16 | ! ... | ! ... != 0 when ! ... is true |
| test.cpp:193:6:193:16 | ! ... | ! ... != 1 when ! ... is false |
| test.cpp:193:6:193:16 | ! ... | ! ... == 0 when ! ... is false |
@@ -727,6 +910,22 @@
| test.cpp:193:14:193:15 | b2 | b2 != 1 when b2 is false |
| test.cpp:193:14:193:15 | b2 | b2 == 0 when b2 is false |
| test.cpp:193:14:193:15 | b2 | b2 == 1 when b2 is true |
| test.cpp:195:9:195:10 | b1 | b1 != 0 when b1 is true |
| test.cpp:195:9:195:10 | b1 | b1 != 1 when b1 is false |
| test.cpp:195:9:195:10 | b1 | b1 == 0 when b1 is false |
| test.cpp:195:9:195:10 | b1 | b1 == 1 when b1 is true |
| test.cpp:196:9:196:10 | b2 | b2 != 0 when b2 is true |
| test.cpp:196:9:196:10 | b2 | b2 != 1 when b2 is false |
| test.cpp:196:9:196:10 | b2 | b2 == 0 when b2 is false |
| test.cpp:196:9:196:10 | b2 | b2 == 1 when b2 is true |
| test.cpp:198:9:198:10 | b1 | b1 != 0 when b1 is true |
| test.cpp:198:9:198:10 | b1 | b1 != 1 when b1 is false |
| test.cpp:198:9:198:10 | b1 | b1 == 0 when b1 is false |
| test.cpp:198:9:198:10 | b1 | b1 == 1 when b1 is true |
| test.cpp:199:9:199:10 | b2 | b2 != 0 when b2 is true |
| test.cpp:199:9:199:10 | b2 | b2 != 1 when b2 is false |
| test.cpp:199:9:199:10 | b2 | b2 == 0 when b2 is false |
| test.cpp:199:9:199:10 | b2 | b2 == 1 when b2 is true |
| test.cpp:211:9:211:15 | ... == ... | 0 != sc+0 when ... == ... is false |
| test.cpp:211:9:211:15 | ... == ... | 0 == sc+0 when ... == ... is true |
| test.cpp:211:9:211:15 | ... == ... | ... == ... != 0 when ... == ... is true |
@@ -875,6 +1074,10 @@
| test.cpp:247:6:247:18 | ... == ... | a == b+0 when ... == ... is false |
| test.cpp:247:6:247:18 | ... == ... | b != a+0 when ... == ... is true |
| test.cpp:247:6:247:18 | ... == ... | b == a+0 when ... == ... is false |
| test.cpp:247:7:247:12 | ... == ... | a != b+0 when ... == ... is false |
| test.cpp:247:7:247:12 | ... == ... | a == b+0 when ... == ... is true |
| test.cpp:247:7:247:12 | ... == ... | b != a+0 when ... == ... is false |
| test.cpp:247:7:247:12 | ... == ... | b == a+0 when ... == ... is true |
| test.cpp:253:6:253:18 | ... != ... | 0 != ... == ...+0 when ... != ... is true |
| test.cpp:253:6:253:18 | ... != ... | 0 == ... == ...+0 when ... != ... is false |
| test.cpp:253:6:253:18 | ... != ... | ... != ... != 0 when ... != ... is true |
@@ -889,6 +1092,10 @@
| test.cpp:253:6:253:18 | ... != ... | a == b+0 when ... != ... is true |
| test.cpp:253:6:253:18 | ... != ... | b != a+0 when ... != ... is false |
| test.cpp:253:6:253:18 | ... != ... | b == a+0 when ... != ... is true |
| test.cpp:253:7:253:12 | ... == ... | a != b+0 when ... == ... is false |
| test.cpp:253:7:253:12 | ... == ... | a == b+0 when ... == ... is true |
| test.cpp:253:7:253:12 | ... == ... | b != a+0 when ... == ... is false |
| test.cpp:253:7:253:12 | ... == ... | b == a+0 when ... == ... is true |
| test.cpp:260:6:260:18 | ... == ... | 0 != ... != ...+0 when ... == ... is false |
| test.cpp:260:6:260:18 | ... == ... | 0 == ... != ...+0 when ... == ... is true |
| test.cpp:260:6:260:18 | ... == ... | ... != ... != 0 when ... == ... is false |
@@ -903,6 +1110,10 @@
| test.cpp:260:6:260:18 | ... == ... | a == b+0 when ... == ... is true |
| test.cpp:260:6:260:18 | ... == ... | b != a+0 when ... == ... is false |
| test.cpp:260:6:260:18 | ... == ... | b == a+0 when ... == ... is true |
| test.cpp:260:7:260:12 | ... != ... | a != b+0 when ... != ... is true |
| test.cpp:260:7:260:12 | ... != ... | a == b+0 when ... != ... is false |
| test.cpp:260:7:260:12 | ... != ... | b != a+0 when ... != ... is true |
| test.cpp:260:7:260:12 | ... != ... | b == a+0 when ... != ... is false |
| test.cpp:266:6:266:18 | ... != ... | 0 != ... != ...+0 when ... != ... is true |
| test.cpp:266:6:266:18 | ... != ... | 0 == ... != ...+0 when ... != ... is false |
| test.cpp:266:6:266:18 | ... != ... | ... != ... != 0 when ... != ... is true |
@@ -915,6 +1126,10 @@
| test.cpp:266:6:266:18 | ... != ... | a == b+0 when ... != ... is false |
| test.cpp:266:6:266:18 | ... != ... | b != a+0 when ... != ... is true |
| test.cpp:266:6:266:18 | ... != ... | b == a+0 when ... != ... is false |
| test.cpp:266:7:266:12 | ... != ... | a != b+0 when ... != ... is true |
| test.cpp:266:7:266:12 | ... != ... | a == b+0 when ... != ... is false |
| test.cpp:266:7:266:12 | ... != ... | b != a+0 when ... != ... is true |
| test.cpp:266:7:266:12 | ... != ... | b == a+0 when ... != ... is false |
| test.cpp:273:6:273:17 | ... == ... | 0 != ... < ...+0 when ... == ... is false |
| test.cpp:273:6:273:17 | ... == ... | 0 == ... < ...+0 when ... == ... is true |
| test.cpp:273:6:273:17 | ... == ... | ... < ... != 0 when ... == ... is false |
@@ -929,6 +1144,10 @@
| test.cpp:273:6:273:17 | ... == ... | a >= b+0 when ... == ... is true |
| test.cpp:273:6:273:17 | ... == ... | b < a+1 when ... == ... is true |
| test.cpp:273:6:273:17 | ... == ... | b >= a+1 when ... == ... is false |
| test.cpp:273:7:273:11 | ... < ... | a < b+0 when ... < ... is true |
| test.cpp:273:7:273:11 | ... < ... | a >= b+0 when ... < ... is false |
| test.cpp:273:7:273:11 | ... < ... | b < a+1 when ... < ... is false |
| test.cpp:273:7:273:11 | ... < ... | b >= a+1 when ... < ... is true |
| test.cpp:279:6:279:17 | ... != ... | 0 != ... < ...+0 when ... != ... is true |
| test.cpp:279:6:279:17 | ... != ... | 0 == ... < ...+0 when ... != ... is false |
| test.cpp:279:6:279:17 | ... != ... | ... != ... != 0 when ... != ... is true |
@@ -943,6 +1162,10 @@
| test.cpp:279:6:279:17 | ... != ... | a >= b+0 when ... != ... is false |
| test.cpp:279:6:279:17 | ... != ... | b < a+1 when ... != ... is false |
| test.cpp:279:6:279:17 | ... != ... | b >= a+1 when ... != ... is true |
| test.cpp:279:7:279:11 | ... < ... | a < b+0 when ... < ... is true |
| test.cpp:279:7:279:11 | ... < ... | a >= b+0 when ... < ... is false |
| test.cpp:279:7:279:11 | ... < ... | b < a+1 when ... < ... is false |
| test.cpp:279:7:279:11 | ... < ... | b >= a+1 when ... < ... is true |
| test.cpp:287:6:287:19 | ... == ... | 0 != ... == ...+0 when ... == ... is false |
| test.cpp:287:6:287:19 | ... == ... | 0 == ... == ...+0 when ... == ... is true |
| test.cpp:287:6:287:19 | ... == ... | 42 != a+0 when ... == ... is true |
@@ -959,6 +1182,12 @@
| test.cpp:287:6:287:19 | ... == ... | a != 42+0 when ... == ... is true |
| test.cpp:287:6:287:19 | ... == ... | a == 42 when ... == ... is false |
| test.cpp:287:6:287:19 | ... == ... | a == 42+0 when ... == ... is false |
| test.cpp:287:7:287:13 | ... == ... | 42 != a+0 when ... == ... is false |
| test.cpp:287:7:287:13 | ... == ... | 42 == a+0 when ... == ... is true |
| test.cpp:287:7:287:13 | ... == ... | a != 42 when ... == ... is false |
| test.cpp:287:7:287:13 | ... == ... | a != 42+0 when ... == ... is false |
| test.cpp:287:7:287:13 | ... == ... | a == 42 when ... == ... is true |
| test.cpp:287:7:287:13 | ... == ... | a == 42+0 when ... == ... is true |
| test.cpp:293:6:293:19 | ... != ... | 0 != ... == ...+0 when ... != ... is true |
| test.cpp:293:6:293:19 | ... != ... | 0 == ... == ...+0 when ... != ... is false |
| test.cpp:293:6:293:19 | ... != ... | 42 != a+0 when ... != ... is false |
@@ -975,6 +1204,12 @@
| test.cpp:293:6:293:19 | ... != ... | a != 42+0 when ... != ... is false |
| test.cpp:293:6:293:19 | ... != ... | a == 42 when ... != ... is true |
| test.cpp:293:6:293:19 | ... != ... | a == 42+0 when ... != ... is true |
| test.cpp:293:7:293:13 | ... == ... | 42 != a+0 when ... == ... is false |
| test.cpp:293:7:293:13 | ... == ... | 42 == a+0 when ... == ... is true |
| test.cpp:293:7:293:13 | ... == ... | a != 42 when ... == ... is false |
| test.cpp:293:7:293:13 | ... == ... | a != 42+0 when ... == ... is false |
| test.cpp:293:7:293:13 | ... == ... | a == 42 when ... == ... is true |
| test.cpp:293:7:293:13 | ... == ... | a == 42+0 when ... == ... is true |
| test.cpp:300:6:300:19 | ... == ... | 0 != ... != ...+0 when ... == ... is false |
| test.cpp:300:6:300:19 | ... == ... | 0 == ... != ...+0 when ... == ... is true |
| test.cpp:300:6:300:19 | ... == ... | 42 != a+0 when ... == ... is false |
@@ -991,6 +1226,12 @@
| test.cpp:300:6:300:19 | ... == ... | a != 42+0 when ... == ... is false |
| test.cpp:300:6:300:19 | ... == ... | a == 42 when ... == ... is true |
| test.cpp:300:6:300:19 | ... == ... | a == 42+0 when ... == ... is true |
| test.cpp:300:7:300:13 | ... != ... | 42 != a+0 when ... != ... is true |
| test.cpp:300:7:300:13 | ... != ... | 42 == a+0 when ... != ... is false |
| test.cpp:300:7:300:13 | ... != ... | a != 42 when ... != ... is true |
| test.cpp:300:7:300:13 | ... != ... | a != 42+0 when ... != ... is true |
| test.cpp:300:7:300:13 | ... != ... | a == 42 when ... != ... is false |
| test.cpp:300:7:300:13 | ... != ... | a == 42+0 when ... != ... is false |
| test.cpp:306:6:306:19 | ... != ... | 0 != ... != ...+0 when ... != ... is true |
| test.cpp:306:6:306:19 | ... != ... | 0 == ... != ...+0 when ... != ... is false |
| test.cpp:306:6:306:19 | ... != ... | 42 != a+0 when ... != ... is true |
@@ -1005,6 +1246,12 @@
| test.cpp:306:6:306:19 | ... != ... | a != 42+0 when ... != ... is true |
| test.cpp:306:6:306:19 | ... != ... | a == 42 when ... != ... is false |
| test.cpp:306:6:306:19 | ... != ... | a == 42+0 when ... != ... is false |
| test.cpp:306:7:306:13 | ... != ... | 42 != a+0 when ... != ... is true |
| test.cpp:306:7:306:13 | ... != ... | 42 == a+0 when ... != ... is false |
| test.cpp:306:7:306:13 | ... != ... | a != 42 when ... != ... is true |
| test.cpp:306:7:306:13 | ... != ... | a != 42+0 when ... != ... is true |
| test.cpp:306:7:306:13 | ... != ... | a == 42 when ... != ... is false |
| test.cpp:306:7:306:13 | ... != ... | a == 42+0 when ... != ... is false |
| test.cpp:312:6:312:18 | ... == ... | 0 != ... < ...+0 when ... == ... is false |
| test.cpp:312:6:312:18 | ... == ... | 0 == ... < ...+0 when ... == ... is true |
| test.cpp:312:6:312:18 | ... == ... | 42 < a+1 when ... == ... is true |
@@ -1021,6 +1268,12 @@
| test.cpp:312:6:312:18 | ... == ... | a < 42+0 when ... == ... is false |
| test.cpp:312:6:312:18 | ... == ... | a >= 42 when ... == ... is true |
| test.cpp:312:6:312:18 | ... == ... | a >= 42+0 when ... == ... is true |
| test.cpp:312:7:312:12 | ... < ... | 42 < a+1 when ... < ... is false |
| test.cpp:312:7:312:12 | ... < ... | 42 >= a+1 when ... < ... is true |
| test.cpp:312:7:312:12 | ... < ... | a < 42 when ... < ... is true |
| test.cpp:312:7:312:12 | ... < ... | a < 42+0 when ... < ... is true |
| test.cpp:312:7:312:12 | ... < ... | a >= 42 when ... < ... is false |
| test.cpp:312:7:312:12 | ... < ... | a >= 42+0 when ... < ... is false |
| test.cpp:318:6:318:18 | ... != ... | 0 != ... < ...+0 when ... != ... is true |
| test.cpp:318:6:318:18 | ... != ... | 0 == ... < ...+0 when ... != ... is false |
| test.cpp:318:6:318:18 | ... != ... | 42 < a+1 when ... != ... is false |
@@ -1037,3 +1290,9 @@
| test.cpp:318:6:318:18 | ... != ... | a < 42+0 when ... != ... is true |
| test.cpp:318:6:318:18 | ... != ... | a >= 42 when ... != ... is false |
| test.cpp:318:6:318:18 | ... != ... | a >= 42+0 when ... != ... is false |
| test.cpp:318:7:318:12 | ... < ... | 42 < a+1 when ... < ... is false |
| test.cpp:318:7:318:12 | ... < ... | 42 >= a+1 when ... < ... is true |
| test.cpp:318:7:318:12 | ... < ... | a < 42 when ... < ... is true |
| test.cpp:318:7:318:12 | ... < ... | a < 42+0 when ... < ... is true |
| test.cpp:318:7:318:12 | ... < ... | a >= 42 when ... < ... is false |
| test.cpp:318:7:318:12 | ... < ... | a >= 42+0 when ... < ... is false |

142
cpp/ql/test/library-tests/controlflow/guards/GuardsControl.expected
View File

@@ -43,16 +43,36 @@
| test.c:44:12:44:16 | ... > ... | true | test.c:45:13:45:20 | if (...) ... |
| test.c:44:12:44:16 | ... > ... | true | test.c:45:23:47:22 | { ... } |
| test.c:45:16:45:20 | ... > ... | true | test.c:45:23:47:22 | { ... } |
| test.c:58:9:58:9 | x | not 0 | test.c:58:19:58:23 | y |
| test.c:58:9:58:9 | x | not 0 | test.c:62:9:62:16 | return ... |
| test.c:58:9:58:14 | ... == ... | false | test.c:58:19:58:23 | y |
| test.c:58:9:58:14 | ... == ... | false | test.c:62:9:62:16 | return ... |
| test.c:58:9:58:23 | ... \|\| ... | false | test.c:62:9:62:16 | return ... |
| test.c:58:19:58:23 | ... < ... | false | test.c:62:9:62:16 | return ... |
| test.c:70:15:70:15 | x | 0 | test.c:75:17:77:14 | { ... } |
| test.c:70:15:70:15 | x | 0 | test.c:85:18:85:23 | y |
| test.c:70:15:70:15 | x | 0 | test.c:86:9:86:14 | ExprStmt |
| test.c:70:15:70:15 | x | not 0 | test.c:78:12:79:14 | { ... } |
| test.c:75:9:75:9 | x | 0 | test.c:75:17:77:14 | { ... } |
| test.c:75:9:75:9 | x | not 0 | test.c:78:12:79:14 | { ... } |
| test.c:75:9:75:14 | ... == ... | false | test.c:78:12:79:14 | { ... } |
| test.c:75:9:75:14 | ... == ... | true | test.c:75:17:77:14 | { ... } |
| test.c:85:8:85:8 | x | 0 | test.c:85:18:85:23 | y |
| test.c:85:8:85:8 | x | 0 | test.c:86:9:86:14 | ExprStmt |
| test.c:85:8:85:13 | ... == ... | true | test.c:85:18:85:23 | y |
| test.c:85:8:85:13 | ... == ... | true | test.c:86:9:86:14 | ExprStmt |
| test.c:85:8:85:23 | ... && ... | true | test.c:86:9:86:14 | ExprStmt |
| test.c:85:18:85:18 | y | not 0 | test.c:86:9:86:14 | ExprStmt |
| test.c:85:18:85:23 | ... != ... | true | test.c:86:9:86:14 | ExprStmt |
| test.c:94:11:94:11 | x | 0 | test.c:70:5:70:9 | test2 |
| test.c:94:11:94:11 | x | 0 | test.c:99:5:102:13 | ExprStmt |
| test.c:94:11:94:11 | x | 0 | test.c:102:16:102:21 | j |
| test.c:94:11:94:11 | x | 0 | test.c:102:29:102:26 | { ... } |
| test.c:94:11:94:11 | x | 0 | test.c:107:5:109:14 | ExprStmt |
| test.c:94:11:94:11 | x | 0 | test.c:109:19:109:23 | y |
| test.c:94:11:94:11 | x | 0 | test.c:109:26:117:12 | { ... } |
| test.c:94:11:94:11 | x | 0 | test.c:113:9:113:16 | return ... |
| test.c:94:11:94:11 | x | not 0 | test.c:94:19:96:11 | { ... } |
| test.c:94:11:94:16 | ... != ... | false | test.c:70:5:70:9 | test2 |
| test.c:94:11:94:16 | ... != ... | false | test.c:99:5:102:13 | ExprStmt |
| test.c:94:11:94:16 | ... != ... | false | test.c:102:16:102:21 | j |
@@ -68,98 +88,184 @@
| test.c:102:16:102:21 | ... < ... | false | test.c:109:26:117:12 | { ... } |
| test.c:102:16:102:21 | ... < ... | false | test.c:113:9:113:16 | return ... |
| test.c:102:16:102:21 | ... < ... | true | test.c:102:29:102:26 | { ... } |
| test.c:109:9:109:9 | x | not 0 | test.c:109:19:109:23 | y |
| test.c:109:9:109:9 | x | not 0 | test.c:113:9:113:16 | return ... |
| test.c:109:9:109:14 | ... == ... | false | test.c:109:19:109:23 | y |
| test.c:109:9:109:14 | ... == ... | false | test.c:113:9:113:16 | return ... |
| test.c:109:9:109:23 | ... \|\| ... | false | test.c:113:9:113:16 | return ... |
| test.c:109:19:109:23 | ... < ... | false | test.c:113:9:113:16 | return ... |
| test.c:126:7:126:7 | 1 | not 0 | test.c:126:12:126:26 | call to test3_condition |
| test.c:126:7:126:7 | 1 | not 0 | test.c:126:31:128:16 | { ... } |
| test.c:126:7:126:7 | 1 | not 0 | test.c:131:3:131:7 | if (...) ... |
| test.c:126:7:126:7 | 1 | not 0 | test.c:131:10:132:16 | { ... } |
| test.c:126:7:126:7 | 1 | not 0 | test.c:134:1:123:10 | return ... |
| test.c:126:7:126:7 | 1 | true | test.c:126:12:126:26 | call to test3_condition |
| test.c:126:7:126:7 | 1 | true | test.c:126:31:128:16 | { ... } |
| test.c:126:7:126:7 | 1 | true | test.c:131:3:131:7 | if (...) ... |
| test.c:126:7:126:7 | 1 | true | test.c:131:10:132:16 | { ... } |
| test.c:126:7:126:7 | 1 | true | test.c:134:1:123:10 | return ... |
| test.c:126:7:126:28 | ... && ... | not 0 | test.c:126:31:128:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | not 0 | test.c:131:10:132:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | true | test.c:126:31:128:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | true | test.c:131:10:132:16 | { ... } |
| test.c:126:12:126:26 | call to test3_condition | not 0 | test.c:126:31:128:16 | { ... } |
| test.c:126:12:126:26 | call to test3_condition | not 0 | test.c:131:10:132:16 | { ... } |
| test.c:126:12:126:26 | call to test3_condition | true | test.c:126:31:128:16 | { ... } |
| test.c:126:12:126:26 | call to test3_condition | true | test.c:131:10:132:16 | { ... } |
| test.c:127:9:127:9 | 1 | not 0 | test.c:131:10:132:16 | { ... } |
| test.c:131:7:131:7 | b | not 0 | test.c:131:10:132:16 | { ... } |
| test.c:131:7:131:7 | b | true | test.c:131:10:132:16 | { ... } |
| test.c:137:7:137:7 | 0 | 0 | test.c:142:3:136:10 | return ... |
| test.c:137:7:137:7 | 0 | false | test.c:142:3:136:10 | return ... |
| test.c:145:16:145:16 | x | 0 | test.c:146:11:147:9 | { ... } |
| test.c:146:7:146:8 | ! ... | true | test.c:146:11:147:9 | { ... } |
| test.c:146:8:146:8 | x | 0 | test.c:146:11:147:9 | { ... } |
| test.c:146:8:146:8 | x | false | test.c:146:11:147:9 | { ... } |
| test.c:151:18:151:18 | p | not null | test.c:152:11:154:5 | { ... } |
| test.c:152:8:152:8 | p | not null | test.c:152:11:154:5 | { ... } |
| test.c:152:8:152:8 | p | true | test.c:152:11:154:5 | { ... } |
| test.c:157:18:157:18 | p | null | test.c:158:12:160:5 | { ... } |
| test.c:158:8:158:9 | ! ... | true | test.c:158:12:160:5 | { ... } |
| test.c:158:9:158:9 | p | false | test.c:158:12:160:5 | { ... } |
| test.c:158:9:158:9 | p | null | test.c:158:12:160:5 | { ... } |
| test.c:163:18:163:18 | s | not 0 | test.c:164:11:166:5 | { ... } |
| test.c:164:8:164:8 | s | not 0 | test.c:164:11:166:5 | { ... } |
| test.c:164:8:164:8 | s | true | test.c:164:11:166:5 | { ... } |
| test.c:169:18:169:18 | s | 0 | test.c:170:12:172:5 | { ... } |
| test.c:170:8:170:9 | ! ... | true | test.c:170:12:172:5 | { ... } |
| test.c:170:9:170:9 | s | 0 | test.c:170:12:172:5 | { ... } |
| test.c:170:9:170:9 | s | false | test.c:170:12:172:5 | { ... } |
| test.c:176:8:176:15 | ! ... | true | test.c:176:18:178:5 | { ... } |
| test.c:176:10:176:14 | ... < ... | 0 | test.c:176:18:178:5 | { ... } |
| test.c:176:10:176:14 | ... < ... | false | test.c:176:18:178:5 | { ... } |
| test.c:182:8:182:34 | ! ... | true | test.c:182:37:184:5 | { ... } |
| test.c:182:10:182:20 | ... >= ... | true | test.c:181:25:182:20 | { ... } |
| test.c:182:10:182:20 | ... >= ... | true | test.c:182:25:182:33 | foo |
| test.c:182:10:182:33 | ... && ... | 0 | test.c:182:37:184:5 | { ... } |
| test.c:182:10:182:33 | ... && ... | false | test.c:182:37:184:5 | { ... } |
| test.c:182:10:182:33 | ... && ... | true | test.c:181:25:182:20 | { ... } |
| test.c:182:25:182:33 | ... < ... | true | test.c:181:25:182:20 | { ... } |
| test.c:188:11:188:16 | ... != ... | 0 | test.c:190:11:192:3 | { ... } |
| test.c:190:7:190:8 | ! ... | true | test.c:190:11:192:3 | { ... } |
| test.c:190:8:190:8 | c | 0 | test.c:190:11:192:3 | { ... } |
| test.c:190:8:190:8 | c | false | test.c:190:11:192:3 | { ... } |
| test.c:196:11:196:16 | ... > ... | 0 | test.c:198:11:200:3 | { ... } |
| test.c:198:7:198:8 | ! ... | true | test.c:198:11:200:3 | { ... } |
| test.c:198:8:198:8 | b | 0 | test.c:198:11:200:3 | { ... } |
| test.c:198:8:198:8 | b | false | test.c:198:11:200:3 | { ... } |
| test.c:204:11:204:15 | ... > ... | 0 | test.c:206:11:208:3 | { ... } |
| test.c:206:7:206:8 | ! ... | true | test.c:206:11:208:3 | { ... } |
| test.c:206:8:206:8 | c | 0 | test.c:206:11:208:3 | { ... } |
| test.c:206:8:206:8 | c | false | test.c:206:11:208:3 | { ... } |
| test.c:215:6:215:18 | call to __builtin_expect | not 0 | test.c:215:21:217:5 | { ... } |
| test.c:215:6:215:18 | call to __builtin_expect | true | test.c:215:21:217:5 | { ... } |
| test.c:219:9:219:22 | call to __builtin_expect | not 0 | test.c:219:25:221:5 | { ... } |
| test.c:219:9:219:22 | call to __builtin_expect | true | test.c:219:25:221:5 | { ... } |
| test.cpp:18:8:18:10 | call to get | not null | test.cpp:19:5:19:14 | ExprStmt |
| test.cpp:18:8:18:10 | call to get | true | test.cpp:19:5:19:14 | ExprStmt |
| test.cpp:30:22:30:22 | x | -1 | test.cpp:30:6:30:16 | doSomething |
| test.cpp:30:22:30:22 | x | -1 | test.cpp:31:16:32:21 | { ... } |
| test.cpp:30:22:30:22 | x | not -1 | test.cpp:30:6:30:16 | doSomething |
| test.cpp:30:22:30:22 | x | not -1 | test.cpp:34:1:34:1 | return ... |
| test.cpp:31:7:31:7 | x | -1 | test.cpp:30:6:30:16 | doSomething |
| test.cpp:31:7:31:7 | x | -1 | test.cpp:31:16:32:21 | { ... } |
| test.cpp:31:7:31:7 | x | not -1 | test.cpp:30:6:30:16 | doSomething |
| test.cpp:31:7:31:7 | x | not -1 | test.cpp:34:1:34:1 | return ... |
| test.cpp:31:7:31:13 | ... == ... | false | test.cpp:30:6:30:16 | doSomething |
| test.cpp:31:7:31:13 | ... == ... | false | test.cpp:34:1:34:1 | return ... |
| test.cpp:31:7:31:13 | ... == ... | true | test.cpp:30:6:30:16 | doSomething |
| test.cpp:31:7:31:13 | ... == ... | true | test.cpp:31:16:32:21 | { ... } |
| test.cpp:42:13:42:20 | call to getABool | true | test.cpp:43:9:45:23 | { ... } |
| test.cpp:61:10:61:10 | i | Case[0] | test.cpp:62:5:64:12 | case ...: |
| test.cpp:61:10:61:10 | i | Case[1] | test.cpp:65:5:66:10 | case ...: |
| test.cpp:74:10:74:10 | i | Case[0..10] | test.cpp:75:5:77:12 | case ...: |
| test.cpp:74:10:74:10 | i | Case[11..20] | test.cpp:78:5:79:10 | case ...: |
| test.cpp:60:31:60:31 | i | 0 | test.cpp:62:5:64:12 | case ...: |
| test.cpp:60:31:60:31 | i | 1 | test.cpp:65:5:66:10 | case ...: |
| test.cpp:61:10:61:10 | i | 0 | test.cpp:62:5:64:12 | case ...: |
| test.cpp:61:10:61:10 | i | 1 | test.cpp:65:5:66:10 | case ...: |
| test.cpp:73:30:73:30 | i | 0..10 | test.cpp:75:5:77:12 | case ...: |
| test.cpp:73:30:73:30 | i | 11..20 | test.cpp:78:5:79:10 | case ...: |
| test.cpp:74:10:74:10 | i | 0..10 | test.cpp:75:5:77:12 | case ...: |
| test.cpp:74:10:74:10 | i | 11..20 | test.cpp:78:5:79:10 | case ...: |
| test.cpp:92:31:92:31 | c | not null | test.cpp:93:9:94:7 | { ... } |
| test.cpp:93:6:93:6 | c | not null | test.cpp:93:9:94:7 | { ... } |
| test.cpp:93:6:93:6 | c | true | test.cpp:93:9:94:7 | { ... } |
| test.cpp:99:6:99:6 | f | true | test.cpp:99:9:100:7 | { ... } |
| test.cpp:105:6:105:14 | ... != ... | true | test.cpp:105:17:106:7 | { ... } |
| test.cpp:111:6:111:14 | ... != ... | true | test.cpp:111:17:112:7 | { ... } |
| test.cpp:119:16:119:16 | b | true | test.cpp:123:5:125:20 | { ... } |
| test.cpp:119:16:119:16 | b | true | test.cpp:125:23:125:29 | return ... |
| test.cpp:122:9:122:9 | b | true | test.cpp:123:5:125:20 | { ... } |
| test.cpp:122:9:122:9 | b | true | test.cpp:125:23:125:29 | return ... |
| test.cpp:125:13:125:20 | ! ... | true | test.cpp:125:23:125:29 | return ... |
| test.cpp:125:14:125:17 | call to safe | false | test.cpp:125:23:125:29 | return ... |
| test.cpp:131:6:131:21 | call to __builtin_expect | not 0 | test.cpp:131:40:132:9 | { ... } |
| test.cpp:131:6:131:21 | call to __builtin_expect | true | test.cpp:131:40:132:9 | { ... } |
| test.cpp:135:6:135:21 | call to __builtin_expect | not 0 | test.cpp:135:40:136:9 | { ... } |
| test.cpp:135:6:135:21 | call to __builtin_expect | true | test.cpp:135:40:136:9 | { ... } |
| test.cpp:141:6:141:21 | call to __builtin_expect | not 0 | test.cpp:141:36:142:9 | { ... } |
| test.cpp:141:6:141:21 | call to __builtin_expect | true | test.cpp:141:36:142:9 | { ... } |
| test.cpp:145:6:145:21 | call to __builtin_expect | not 0 | test.cpp:145:36:146:9 | { ... } |
| test.cpp:145:6:145:21 | call to __builtin_expect | true | test.cpp:145:36:146:9 | { ... } |
| test.cpp:151:8:151:13 | ... < ... | false | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:7:152:8 | ! ... | true | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:8:152:8 | b | false | test.cpp:152:11:153:9 | { ... } |
| test.cpp:158:12:158:17 | ... != ... | false | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:7:160:8 | ! ... | true | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:8:160:8 | c | false | test.cpp:160:11:162:3 | { ... } |
| test.cpp:166:12:166:17 | ... > ... | false | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:7:168:8 | ! ... | true | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:8:168:8 | b | false | test.cpp:168:11:170:3 | { ... } |
| test.cpp:174:12:174:16 | ... > ... | false | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:7:176:8 | ! ... | true | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:8:176:8 | c | false | test.cpp:176:11:178:3 | { ... } |
| test.cpp:181:28:181:29 | b1 | true | test.cpp:181:41:182:9 | { ... } |
| test.cpp:181:28:181:29 | b1 | true | test.cpp:182:14:182:15 | b2 |
| test.cpp:181:28:181:29 | b1 | true | test.cpp:185:10:188:7 | { ... } |
| test.cpp:181:37:181:38 | b2 | true | test.cpp:181:41:182:9 | { ... } |
| test.cpp:181:37:181:38 | b2 | true | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:6:182:16 | ! ... | false | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:6:182:16 | ! ... | true | test.cpp:182:19:184:7 | { ... } |
| test.cpp:182:8:182:9 | b1 | true | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:8:182:9 | b1 | true | test.cpp:182:14:182:15 | b2 |
| test.cpp:182:8:182:9 | b1 | true | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:8:182:15 | ... && ... | false | test.cpp:182:19:184:7 | { ... } |
| test.cpp:182:8:182:15 | ... && ... | true | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:8:182:15 | ... && ... | true | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:14:182:15 | b2 | true | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:14:182:15 | b2 | true | test.cpp:185:10:188:7 | { ... } |
| test.cpp:192:27:192:28 | b1 | false | test.cpp:192:40:193:9 | { ... } |
| test.cpp:192:27:192:28 | b1 | false | test.cpp:193:14:193:15 | b2 |
| test.cpp:192:27:192:28 | b1 | false | test.cpp:193:19:196:7 | { ... } |
| test.cpp:192:36:192:37 | b2 | false | test.cpp:192:40:193:9 | { ... } |
| test.cpp:192:36:192:37 | b2 | false | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:6:193:16 | ! ... | false | test.cpp:197:10:199:7 | { ... } |
| test.cpp:193:6:193:16 | ! ... | true | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:8:193:9 | b1 | false | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:8:193:9 | b1 | false | test.cpp:193:14:193:15 | b2 |
| test.cpp:193:8:193:9 | b1 | false | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:8:193:15 | ... \|\| ... | false | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:8:193:15 | ... \|\| ... | false | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:8:193:15 | ... \|\| ... | true | test.cpp:197:10:199:7 | { ... } |
| test.cpp:193:14:193:15 | b2 | false | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:14:193:15 | b2 | false | test.cpp:193:19:196:7 | { ... } |
| test.cpp:208:28:208:29 | sc | 0 | test.cpp:211:18:212:13 | { ... } |
| test.cpp:208:28:208:29 | sc | 0 | test.cpp:214:20:215:13 | { ... } |
| test.cpp:208:46:208:47 | ul | 0 | test.cpp:217:18:218:13 | { ... } |
| test.cpp:208:74:208:74 | b | 0 | test.cpp:229:17:230:13 | { ... } |
| test.cpp:208:74:208:74 | b | 0 | test.cpp:232:21:233:13 | { ... } |
| test.cpp:211:9:211:10 | sc | 0 | test.cpp:211:18:212:13 | { ... } |
| test.cpp:211:9:211:15 | ... == ... | true | test.cpp:211:18:212:13 | { ... } |
| test.cpp:214:9:214:10 | sc | 0 | test.cpp:214:20:215:13 | { ... } |
| test.cpp:214:9:214:17 | ... == ... | true | test.cpp:214:20:215:13 | { ... } |
| test.cpp:217:9:217:10 | ul | 0 | test.cpp:217:18:218:13 | { ... } |
| test.cpp:217:9:217:15 | ... == ... | true | test.cpp:217:18:218:13 | { ... } |
| test.cpp:220:9:220:14 | ... == ... | true | test.cpp:220:17:221:13 | { ... } |
| test.cpp:223:9:223:16 | ... == ... | true | test.cpp:223:19:224:13 | { ... } |
| test.cpp:226:9:226:14 | ... == ... | true | test.cpp:226:17:227:13 | { ... } |
| test.cpp:229:9:229:9 | b | 0 | test.cpp:229:17:230:13 | { ... } |
| test.cpp:229:9:229:14 | ... == ... | true | test.cpp:229:17:230:13 | { ... } |
| test.cpp:232:9:232:9 | b | 0 | test.cpp:232:21:233:13 | { ... } |
| test.cpp:232:9:232:18 | ... == ... | true | test.cpp:232:21:233:13 | { ... } |
| test.cpp:235:9:235:17 | ... == ... | true | test.cpp:235:20:236:13 | { ... } |
| test.cpp:235:12:235:12 | i | 0 | test.cpp:235:20:236:13 | { ... } |
| test.cpp:238:9:238:17 | ... == ... | true | test.cpp:238:20:239:13 | { ... } |
| test.cpp:241:9:241:17 | ... == ... | true | test.cpp:241:22:241:30 | ms |
| test.cpp:241:9:241:17 | ... == ... | true | test.cpp:241:35:241:43 | ms |
@@ -167,30 +273,58 @@
| test.cpp:241:9:241:30 | ... && ... | true | test.cpp:241:35:241:43 | ms |
| test.cpp:241:9:241:30 | ... && ... | true | test.cpp:241:46:242:13 | { ... } |
| test.cpp:241:9:241:43 | ... && ... | true | test.cpp:241:46:242:13 | { ... } |
| test.cpp:241:12:241:12 | i | 0 | test.cpp:241:22:241:30 | ms |
| test.cpp:241:12:241:12 | i | 0 | test.cpp:241:35:241:43 | ms |
| test.cpp:241:12:241:12 | i | 0 | test.cpp:241:46:242:13 | { ... } |
| test.cpp:241:22:241:30 | ... == ... | true | test.cpp:241:35:241:43 | ms |
| test.cpp:241:22:241:30 | ... == ... | true | test.cpp:241:46:242:13 | { ... } |
| test.cpp:241:35:241:43 | ... == ... | true | test.cpp:241:46:242:13 | { ... } |
| test.cpp:241:38:241:38 | i | 0 | test.cpp:241:46:242:13 | { ... } |
| test.cpp:247:6:247:18 | ... == ... | false | test.cpp:249:10:251:3 | { ... } |
| test.cpp:247:6:247:18 | ... == ... | true | test.cpp:247:21:249:3 | { ... } |
| test.cpp:247:7:247:12 | ... == ... | 0 | test.cpp:247:21:249:3 | { ... } |
| test.cpp:247:7:247:12 | ... == ... | not 0 | test.cpp:249:10:251:3 | { ... } |
| test.cpp:253:6:253:18 | ... != ... | false | test.cpp:255:10:257:3 | { ... } |
| test.cpp:253:6:253:18 | ... != ... | true | test.cpp:253:21:255:3 | { ... } |
| test.cpp:253:7:253:12 | ... == ... | 0 | test.cpp:255:10:257:3 | { ... } |
| test.cpp:253:7:253:12 | ... == ... | not 0 | test.cpp:253:21:255:3 | { ... } |
| test.cpp:260:6:260:18 | ... == ... | false | test.cpp:262:10:264:3 | { ... } |
| test.cpp:260:6:260:18 | ... == ... | true | test.cpp:260:21:262:3 | { ... } |
| test.cpp:260:7:260:12 | ... != ... | 0 | test.cpp:260:21:262:3 | { ... } |
| test.cpp:260:7:260:12 | ... != ... | not 0 | test.cpp:262:10:264:3 | { ... } |
| test.cpp:266:6:266:18 | ... != ... | false | test.cpp:268:10:270:3 | { ... } |
| test.cpp:266:6:266:18 | ... != ... | true | test.cpp:266:21:268:3 | { ... } |
| test.cpp:266:7:266:12 | ... != ... | 0 | test.cpp:268:10:270:3 | { ... } |
| test.cpp:266:7:266:12 | ... != ... | not 0 | test.cpp:266:21:268:3 | { ... } |
| test.cpp:273:6:273:17 | ... == ... | false | test.cpp:275:10:277:3 | { ... } |
| test.cpp:273:6:273:17 | ... == ... | true | test.cpp:273:20:275:3 | { ... } |
| test.cpp:273:7:273:11 | ... < ... | 0 | test.cpp:273:20:275:3 | { ... } |
| test.cpp:273:7:273:11 | ... < ... | not 0 | test.cpp:275:10:277:3 | { ... } |
| test.cpp:279:6:279:17 | ... != ... | false | test.cpp:281:10:283:3 | { ... } |
| test.cpp:279:6:279:17 | ... != ... | true | test.cpp:279:20:281:3 | { ... } |
| test.cpp:279:7:279:11 | ... < ... | 0 | test.cpp:281:10:283:3 | { ... } |
| test.cpp:279:7:279:11 | ... < ... | not 0 | test.cpp:279:20:281:3 | { ... } |
| test.cpp:287:6:287:19 | ... == ... | false | test.cpp:289:10:291:3 | { ... } |
| test.cpp:287:6:287:19 | ... == ... | true | test.cpp:287:22:289:3 | { ... } |
| test.cpp:287:7:287:13 | ... == ... | 0 | test.cpp:287:22:289:3 | { ... } |
| test.cpp:287:7:287:13 | ... == ... | not 0 | test.cpp:289:10:291:3 | { ... } |
| test.cpp:293:6:293:19 | ... != ... | false | test.cpp:295:10:297:3 | { ... } |
| test.cpp:293:6:293:19 | ... != ... | true | test.cpp:293:22:295:3 | { ... } |
| test.cpp:293:7:293:13 | ... == ... | 0 | test.cpp:295:10:297:3 | { ... } |
| test.cpp:293:7:293:13 | ... == ... | not 0 | test.cpp:293:22:295:3 | { ... } |
| test.cpp:300:6:300:19 | ... == ... | false | test.cpp:302:10:304:3 | { ... } |
| test.cpp:300:6:300:19 | ... == ... | true | test.cpp:300:22:302:3 | { ... } |
| test.cpp:300:7:300:13 | ... != ... | 0 | test.cpp:300:22:302:3 | { ... } |
| test.cpp:300:7:300:13 | ... != ... | not 0 | test.cpp:302:10:304:3 | { ... } |
| test.cpp:306:6:306:19 | ... != ... | false | test.cpp:308:10:310:3 | { ... } |
| test.cpp:306:6:306:19 | ... != ... | true | test.cpp:306:22:308:3 | { ... } |
| test.cpp:306:7:306:13 | ... != ... | 0 | test.cpp:308:10:310:3 | { ... } |
| test.cpp:306:7:306:13 | ... != ... | not 0 | test.cpp:306:22:308:3 | { ... } |
| test.cpp:312:6:312:18 | ... == ... | false | test.cpp:314:10:316:3 | { ... } |
| test.cpp:312:6:312:18 | ... == ... | true | test.cpp:312:21:314:3 | { ... } |
| test.cpp:312:7:312:12 | ... < ... | 0 | test.cpp:312:21:314:3 | { ... } |
| test.cpp:312:7:312:12 | ... < ... | not 0 | test.cpp:314:10:316:3 | { ... } |
| test.cpp:318:6:318:18 | ... != ... | false | test.cpp:320:10:322:3 | { ... } |
| test.cpp:318:6:318:18 | ... != ... | true | test.cpp:318:21:320:3 | { ... } |
| test.cpp:318:7:318:12 | ... < ... | 0 | test.cpp:320:10:322:3 | { ... } |
| test.cpp:318:7:318:12 | ... < ... | not 0 | test.cpp:318:21:320:3 | { ... } |

70
cpp/ql/test/library-tests/controlflow/guards/GuardsEnsure.expected
View File

@@ -219,18 +219,26 @@ binary
| test.cpp:141:6:141:21 | call to __builtin_expect | test.cpp:141:28:141:29 | 42 | == | test.cpp:141:23:141:23 | a | 0 | test.cpp:141:36:142:9 | { ... } |
| test.cpp:145:6:145:21 | call to __builtin_expect | test.cpp:145:23:145:23 | a | != | test.cpp:145:28:145:29 | 42 | 0 | test.cpp:145:36:146:9 | { ... } |
| test.cpp:145:6:145:21 | call to __builtin_expect | test.cpp:145:28:145:29 | 42 | != | test.cpp:145:23:145:23 | a | 0 | test.cpp:145:36:146:9 | { ... } |
| test.cpp:151:8:151:13 | ... < ... | test.cpp:151:8:151:8 | a | >= | test.cpp:151:12:151:13 | 10 | 0 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:151:8:151:13 | ... < ... | test.cpp:151:12:151:13 | 10 | < | test.cpp:151:8:151:8 | a | 1 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:7:152:8 | ! ... | test.cpp:151:8:151:8 | a | >= | test.cpp:151:12:151:13 | 10 | 0 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:7:152:8 | ! ... | test.cpp:151:12:151:13 | 10 | < | test.cpp:151:8:151:8 | a | 1 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:8:152:8 | b | test.cpp:151:8:151:8 | a | >= | test.cpp:151:12:151:13 | 10 | 0 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:8:152:8 | b | test.cpp:151:12:151:13 | 10 | < | test.cpp:151:8:151:8 | a | 1 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:158:12:158:17 | ... != ... | test.cpp:158:12:158:12 | a | == | test.cpp:158:17:158:17 | b | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:158:12:158:17 | ... != ... | test.cpp:158:17:158:17 | b | == | test.cpp:158:12:158:12 | a | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:7:160:8 | ! ... | test.cpp:158:12:158:12 | a | == | test.cpp:158:17:158:17 | b | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:7:160:8 | ! ... | test.cpp:158:17:158:17 | b | == | test.cpp:158:12:158:12 | a | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:8:160:8 | c | test.cpp:158:12:158:12 | a | == | test.cpp:158:17:158:17 | b | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:8:160:8 | c | test.cpp:158:17:158:17 | b | == | test.cpp:158:12:158:12 | a | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:166:12:166:17 | ... > ... | test.cpp:166:12:166:12 | a | < | test.cpp:166:16:166:17 | 10 | 1 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:166:12:166:17 | ... > ... | test.cpp:166:16:166:17 | 10 | >= | test.cpp:166:12:166:12 | a | 0 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:7:168:8 | ! ... | test.cpp:166:12:166:12 | a | < | test.cpp:166:16:166:17 | 10 | 1 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:7:168:8 | ! ... | test.cpp:166:16:166:17 | 10 | >= | test.cpp:166:12:166:12 | a | 0 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:8:168:8 | b | test.cpp:166:12:166:12 | a | < | test.cpp:166:16:166:17 | 10 | 1 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:8:168:8 | b | test.cpp:166:16:166:17 | 10 | >= | test.cpp:166:12:166:12 | a | 0 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:174:12:174:16 | ... > ... | test.cpp:174:12:174:12 | a | < | test.cpp:174:16:174:16 | b | 1 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:174:12:174:16 | ... > ... | test.cpp:174:16:174:16 | b | >= | test.cpp:174:12:174:12 | a | 0 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:7:176:8 | ! ... | test.cpp:174:12:174:12 | a | < | test.cpp:174:16:174:16 | b | 1 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:7:176:8 | ! ... | test.cpp:174:16:174:16 | b | >= | test.cpp:174:12:174:12 | a | 0 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:8:176:8 | c | test.cpp:174:12:174:12 | a | < | test.cpp:174:16:174:16 | b | 1 | test.cpp:176:11:178:3 | { ... } |
@@ -736,11 +744,17 @@ unary
| test.c:126:7:126:7 | 1 | test.c:126:7:126:7 | 1 | == | 1 | test.c:131:10:132:16 | { ... } |
| test.c:126:7:126:7 | 1 | test.c:126:7:126:7 | 1 | == | 1 | test.c:134:1:123:10 | return ... |
| test.c:126:7:126:28 | ... && ... | test.c:126:7:126:7 | 1 | != | 0 | test.c:126:31:128:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | test.c:126:7:126:7 | 1 | != | 0 | test.c:131:10:132:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | test.c:126:7:126:7 | 1 | == | 1 | test.c:126:31:128:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | test.c:126:7:126:7 | 1 | == | 1 | test.c:131:10:132:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | test.c:126:12:126:26 | call to test3_condition | != | 0 | test.c:126:31:128:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | test.c:126:12:126:26 | call to test3_condition | != | 0 | test.c:131:10:132:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | test.c:126:12:126:26 | call to test3_condition | == | 1 | test.c:126:31:128:16 | { ... } |
| test.c:126:7:126:28 | ... && ... | test.c:126:12:126:26 | call to test3_condition | == | 1 | test.c:131:10:132:16 | { ... } |
| test.c:126:12:126:26 | call to test3_condition | test.c:126:12:126:26 | call to test3_condition | != | 0 | test.c:126:31:128:16 | { ... } |
| test.c:126:12:126:26 | call to test3_condition | test.c:126:12:126:26 | call to test3_condition | != | 0 | test.c:131:10:132:16 | { ... } |
| test.c:126:12:126:26 | call to test3_condition | test.c:126:12:126:26 | call to test3_condition | == | 1 | test.c:126:31:128:16 | { ... } |
| test.c:126:12:126:26 | call to test3_condition | test.c:126:12:126:26 | call to test3_condition | == | 1 | test.c:131:10:132:16 | { ... } |
| test.c:131:7:131:7 | b | test.c:131:7:131:7 | b | != | 0 | test.c:131:10:132:16 | { ... } |
| test.c:131:7:131:7 | b | test.c:131:7:131:7 | b | == | 1 | test.c:131:10:132:16 | { ... } |
| test.c:137:7:137:7 | 0 | test.c:137:7:137:7 | 0 | != | 1 | test.c:142:3:136:10 | return ... |
@@ -835,8 +849,14 @@ unary
| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:13 | ... == ... | == | 1 | test.cpp:31:16:32:21 | { ... } |
| test.cpp:42:13:42:20 | call to getABool | test.cpp:42:13:42:20 | call to getABool | != | 0 | test.cpp:43:9:45:23 | { ... } |
| test.cpp:42:13:42:20 | call to getABool | test.cpp:42:13:42:20 | call to getABool | == | 1 | test.cpp:43:9:45:23 | { ... } |
| test.cpp:60:31:60:31 | i | test.cpp:61:10:61:10 | i | == | 0 | test.cpp:62:5:64:12 | case ...: |
| test.cpp:60:31:60:31 | i | test.cpp:61:10:61:10 | i | == | 1 | test.cpp:65:5:66:10 | case ...: |
| test.cpp:61:10:61:10 | i | test.cpp:61:10:61:10 | i | == | 0 | test.cpp:62:5:64:12 | case ...: |
| test.cpp:61:10:61:10 | i | test.cpp:61:10:61:10 | i | == | 1 | test.cpp:65:5:66:10 | case ...: |
| test.cpp:73:30:73:30 | i | test.cpp:74:10:74:10 | i | < | 11 | test.cpp:75:5:77:12 | case ...: |
| test.cpp:73:30:73:30 | i | test.cpp:74:10:74:10 | i | < | 21 | test.cpp:78:5:79:10 | case ...: |
| test.cpp:73:30:73:30 | i | test.cpp:74:10:74:10 | i | >= | 0 | test.cpp:75:5:77:12 | case ...: |
| test.cpp:73:30:73:30 | i | test.cpp:74:10:74:10 | i | >= | 11 | test.cpp:78:5:79:10 | case ...: |
| test.cpp:74:10:74:10 | i | test.cpp:74:10:74:10 | i | < | 11 | test.cpp:75:5:77:12 | case ...: |
| test.cpp:74:10:74:10 | i | test.cpp:74:10:74:10 | i | < | 21 | test.cpp:78:5:79:10 | case ...: |
| test.cpp:74:10:74:10 | i | test.cpp:74:10:74:10 | i | >= | 0 | test.cpp:75:5:77:12 | case ...: |
@@ -849,6 +869,10 @@ unary
| test.cpp:105:6:105:14 | ... != ... | test.cpp:105:6:105:14 | ... != ... | == | 1 | test.cpp:105:17:106:7 | { ... } |
| test.cpp:111:6:111:14 | ... != ... | test.cpp:111:6:111:14 | ... != ... | != | 0 | test.cpp:111:17:112:7 | { ... } |
| test.cpp:111:6:111:14 | ... != ... | test.cpp:111:6:111:14 | ... != ... | == | 1 | test.cpp:111:17:112:7 | { ... } |
| test.cpp:119:16:119:16 | b | test.cpp:122:9:122:9 | b | != | 0 | test.cpp:123:5:125:20 | { ... } |
| test.cpp:119:16:119:16 | b | test.cpp:122:9:122:9 | b | != | 0 | test.cpp:125:23:125:29 | return ... |
| test.cpp:119:16:119:16 | b | test.cpp:122:9:122:9 | b | == | 1 | test.cpp:123:5:125:20 | { ... } |
| test.cpp:119:16:119:16 | b | test.cpp:122:9:122:9 | b | == | 1 | test.cpp:125:23:125:29 | return ... |
| test.cpp:122:9:122:9 | b | test.cpp:122:9:122:9 | b | != | 0 | test.cpp:123:5:125:20 | { ... } |
| test.cpp:122:9:122:9 | b | test.cpp:122:9:122:9 | b | != | 0 | test.cpp:125:23:125:29 | return ... |
| test.cpp:122:9:122:9 | b | test.cpp:122:9:122:9 | b | == | 1 | test.cpp:123:5:125:20 | { ... } |
@@ -871,6 +895,11 @@ unary
| test.cpp:145:6:145:21 | call to __builtin_expect | test.cpp:145:6:145:21 | call to __builtin_expect | != | 0 | test.cpp:145:36:146:9 | { ... } |
| test.cpp:145:6:145:21 | call to __builtin_expect | test.cpp:145:6:145:21 | call to __builtin_expect | == | 1 | test.cpp:145:36:146:9 | { ... } |
| test.cpp:145:6:145:21 | call to __builtin_expect | test.cpp:145:23:145:23 | a | != | 42 | test.cpp:145:36:146:9 | { ... } |
| test.cpp:151:8:151:13 | ... < ... | test.cpp:151:8:151:8 | a | >= | 10 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:151:8:151:13 | ... < ... | test.cpp:151:8:151:13 | ... < ... | != | 1 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:151:8:151:13 | ... < ... | test.cpp:151:8:151:13 | ... < ... | == | 0 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:151:8:151:13 | ... < ... | test.cpp:152:8:152:8 | b | != | 1 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:151:8:151:13 | ... < ... | test.cpp:152:8:152:8 | b | == | 0 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:7:152:8 | ! ... | test.cpp:151:8:151:8 | a | >= | 10 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:7:152:8 | ! ... | test.cpp:151:8:151:13 | ... < ... | != | 1 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:7:152:8 | ! ... | test.cpp:151:8:151:13 | ... < ... | == | 0 | test.cpp:152:11:153:9 | { ... } |
@@ -885,6 +914,10 @@ unary
| test.cpp:152:8:152:8 | b | test.cpp:152:7:152:8 | ! ... | == | 1 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:8:152:8 | b | test.cpp:152:8:152:8 | b | != | 1 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:152:8:152:8 | b | test.cpp:152:8:152:8 | b | == | 0 | test.cpp:152:11:153:9 | { ... } |
| test.cpp:158:12:158:17 | ... != ... | test.cpp:158:12:158:17 | ... != ... | != | 1 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:158:12:158:17 | ... != ... | test.cpp:158:12:158:17 | ... != ... | == | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:158:12:158:17 | ... != ... | test.cpp:160:8:160:8 | c | != | 1 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:158:12:158:17 | ... != ... | test.cpp:160:8:160:8 | c | == | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:7:160:8 | ! ... | test.cpp:158:12:158:17 | ... != ... | != | 1 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:7:160:8 | ! ... | test.cpp:158:12:158:17 | ... != ... | == | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:7:160:8 | ! ... | test.cpp:160:7:160:8 | ! ... | != | 0 | test.cpp:160:11:162:3 | { ... } |
@@ -897,6 +930,11 @@ unary
| test.cpp:160:8:160:8 | c | test.cpp:160:7:160:8 | ! ... | == | 1 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:8:160:8 | c | test.cpp:160:8:160:8 | c | != | 1 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:160:8:160:8 | c | test.cpp:160:8:160:8 | c | == | 0 | test.cpp:160:11:162:3 | { ... } |
| test.cpp:166:12:166:17 | ... > ... | test.cpp:166:12:166:12 | a | < | 11 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:166:12:166:17 | ... > ... | test.cpp:166:12:166:17 | ... > ... | != | 1 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:166:12:166:17 | ... > ... | test.cpp:166:12:166:17 | ... > ... | == | 0 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:166:12:166:17 | ... > ... | test.cpp:168:8:168:8 | b | != | 1 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:166:12:166:17 | ... > ... | test.cpp:168:8:168:8 | b | == | 0 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:7:168:8 | ! ... | test.cpp:166:12:166:12 | a | < | 11 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:7:168:8 | ! ... | test.cpp:166:12:166:17 | ... > ... | != | 1 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:7:168:8 | ! ... | test.cpp:166:12:166:17 | ... > ... | == | 0 | test.cpp:168:11:170:3 | { ... } |
@@ -911,6 +949,10 @@ unary
| test.cpp:168:8:168:8 | b | test.cpp:168:7:168:8 | ! ... | == | 1 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:8:168:8 | b | test.cpp:168:8:168:8 | b | != | 1 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:168:8:168:8 | b | test.cpp:168:8:168:8 | b | == | 0 | test.cpp:168:11:170:3 | { ... } |
| test.cpp:174:12:174:16 | ... > ... | test.cpp:174:12:174:16 | ... > ... | != | 1 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:174:12:174:16 | ... > ... | test.cpp:174:12:174:16 | ... > ... | == | 0 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:174:12:174:16 | ... > ... | test.cpp:176:8:176:8 | c | != | 1 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:174:12:174:16 | ... > ... | test.cpp:176:8:176:8 | c | == | 0 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:7:176:8 | ! ... | test.cpp:174:12:174:16 | ... > ... | != | 1 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:7:176:8 | ! ... | test.cpp:174:12:174:16 | ... > ... | == | 0 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:7:176:8 | ! ... | test.cpp:176:7:176:8 | ! ... | != | 0 | test.cpp:176:11:178:3 | { ... } |
@@ -923,6 +965,16 @@ unary
| test.cpp:176:8:176:8 | c | test.cpp:176:7:176:8 | ! ... | == | 1 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:8:176:8 | c | test.cpp:176:8:176:8 | c | != | 1 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:176:8:176:8 | c | test.cpp:176:8:176:8 | c | == | 0 | test.cpp:176:11:178:3 | { ... } |
| test.cpp:181:28:181:29 | b1 | test.cpp:182:8:182:9 | b1 | != | 0 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:181:28:181:29 | b1 | test.cpp:182:8:182:9 | b1 | != | 0 | test.cpp:182:14:182:15 | b2 |
| test.cpp:181:28:181:29 | b1 | test.cpp:182:8:182:9 | b1 | != | 0 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:181:28:181:29 | b1 | test.cpp:182:8:182:9 | b1 | == | 1 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:181:28:181:29 | b1 | test.cpp:182:8:182:9 | b1 | == | 1 | test.cpp:182:14:182:15 | b2 |
| test.cpp:181:28:181:29 | b1 | test.cpp:182:8:182:9 | b1 | == | 1 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:181:37:181:38 | b2 | test.cpp:182:14:182:15 | b2 | != | 0 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:181:37:181:38 | b2 | test.cpp:182:14:182:15 | b2 | != | 0 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:181:37:181:38 | b2 | test.cpp:182:14:182:15 | b2 | == | 1 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:181:37:181:38 | b2 | test.cpp:182:14:182:15 | b2 | == | 1 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:6:182:16 | ! ... | test.cpp:182:6:182:16 | ! ... | != | 0 | test.cpp:182:19:184:7 | { ... } |
| test.cpp:182:6:182:16 | ! ... | test.cpp:182:6:182:16 | ! ... | != | 1 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:6:182:16 | ! ... | test.cpp:182:6:182:16 | ! ... | == | 0 | test.cpp:185:10:188:7 | { ... } |
@@ -937,8 +989,10 @@ unary
| test.cpp:182:6:182:16 | ! ... | test.cpp:182:14:182:15 | b2 | == | 1 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:8:182:9 | b1 | test.cpp:182:8:182:9 | b1 | != | 0 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:8:182:9 | b1 | test.cpp:182:8:182:9 | b1 | != | 0 | test.cpp:182:14:182:15 | b2 |
| test.cpp:182:8:182:9 | b1 | test.cpp:182:8:182:9 | b1 | != | 0 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:8:182:9 | b1 | test.cpp:182:8:182:9 | b1 | == | 1 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:8:182:9 | b1 | test.cpp:182:8:182:9 | b1 | == | 1 | test.cpp:182:14:182:15 | b2 |
| test.cpp:182:8:182:9 | b1 | test.cpp:182:8:182:9 | b1 | == | 1 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:8:182:15 | ... && ... | test.cpp:182:6:182:16 | ! ... | != | 0 | test.cpp:182:19:184:7 | { ... } |
| test.cpp:182:8:182:15 | ... && ... | test.cpp:182:6:182:16 | ! ... | != | 1 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:8:182:15 | ... && ... | test.cpp:182:6:182:16 | ! ... | != | 1 | test.cpp:185:10:188:7 | { ... } |
@@ -960,7 +1014,19 @@ unary
| test.cpp:182:8:182:15 | ... && ... | test.cpp:182:14:182:15 | b2 | == | 1 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:8:182:15 | ... && ... | test.cpp:182:14:182:15 | b2 | == | 1 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:14:182:15 | b2 | test.cpp:182:14:182:15 | b2 | != | 0 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:14:182:15 | b2 | test.cpp:182:14:182:15 | b2 | != | 0 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:182:14:182:15 | b2 | test.cpp:182:14:182:15 | b2 | == | 1 | test.cpp:181:41:182:9 | { ... } |
| test.cpp:182:14:182:15 | b2 | test.cpp:182:14:182:15 | b2 | == | 1 | test.cpp:185:10:188:7 | { ... } |
| test.cpp:192:27:192:28 | b1 | test.cpp:193:8:193:9 | b1 | != | 1 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:192:27:192:28 | b1 | test.cpp:193:8:193:9 | b1 | != | 1 | test.cpp:193:14:193:15 | b2 |
| test.cpp:192:27:192:28 | b1 | test.cpp:193:8:193:9 | b1 | != | 1 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:192:27:192:28 | b1 | test.cpp:193:8:193:9 | b1 | == | 0 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:192:27:192:28 | b1 | test.cpp:193:8:193:9 | b1 | == | 0 | test.cpp:193:14:193:15 | b2 |
| test.cpp:192:27:192:28 | b1 | test.cpp:193:8:193:9 | b1 | == | 0 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:192:36:192:37 | b2 | test.cpp:193:14:193:15 | b2 | != | 1 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:192:36:192:37 | b2 | test.cpp:193:14:193:15 | b2 | != | 1 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:192:36:192:37 | b2 | test.cpp:193:14:193:15 | b2 | == | 0 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:192:36:192:37 | b2 | test.cpp:193:14:193:15 | b2 | == | 0 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:6:193:16 | ! ... | test.cpp:193:6:193:16 | ! ... | != | 0 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:6:193:16 | ! ... | test.cpp:193:6:193:16 | ! ... | != | 1 | test.cpp:197:10:199:7 | { ... } |
| test.cpp:193:6:193:16 | ! ... | test.cpp:193:6:193:16 | ! ... | == | 0 | test.cpp:197:10:199:7 | { ... } |
@@ -975,8 +1041,10 @@ unary
| test.cpp:193:6:193:16 | ! ... | test.cpp:193:14:193:15 | b2 | == | 0 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:8:193:9 | b1 | test.cpp:193:8:193:9 | b1 | != | 1 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:8:193:9 | b1 | test.cpp:193:8:193:9 | b1 | != | 1 | test.cpp:193:14:193:15 | b2 |
| test.cpp:193:8:193:9 | b1 | test.cpp:193:8:193:9 | b1 | != | 1 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:8:193:9 | b1 | test.cpp:193:8:193:9 | b1 | == | 0 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:8:193:9 | b1 | test.cpp:193:8:193:9 | b1 | == | 0 | test.cpp:193:14:193:15 | b2 |
| test.cpp:193:8:193:9 | b1 | test.cpp:193:8:193:9 | b1 | == | 0 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:8:193:15 | ... \|\| ... | test.cpp:193:6:193:16 | ! ... | != | 0 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:8:193:15 | ... \|\| ... | test.cpp:193:6:193:16 | ! ... | != | 0 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:8:193:15 | ... \|\| ... | test.cpp:193:6:193:16 | ! ... | != | 1 | test.cpp:197:10:199:7 | { ... } |
@@ -998,7 +1066,9 @@ unary
| test.cpp:193:8:193:15 | ... \|\| ... | test.cpp:193:14:193:15 | b2 | == | 0 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:8:193:15 | ... \|\| ... | test.cpp:193:14:193:15 | b2 | == | 0 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:14:193:15 | b2 | test.cpp:193:14:193:15 | b2 | != | 1 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:14:193:15 | b2 | test.cpp:193:14:193:15 | b2 | != | 1 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:193:14:193:15 | b2 | test.cpp:193:14:193:15 | b2 | == | 0 | test.cpp:192:40:193:9 | { ... } |
| test.cpp:193:14:193:15 | b2 | test.cpp:193:14:193:15 | b2 | == | 0 | test.cpp:193:19:196:7 | { ... } |
| test.cpp:211:9:211:15 | ... == ... | test.cpp:211:9:211:10 | sc | == | 0 | test.cpp:211:18:212:13 | { ... } |
| test.cpp:211:9:211:15 | ... == ... | test.cpp:211:9:211:15 | ... == ... | != | 0 | test.cpp:211:18:212:13 | { ... } |
| test.cpp:211:9:211:15 | ... == ... | test.cpp:211:9:211:15 | ... == ... | == | 1 | test.cpp:211:18:212:13 | { ... } |

1
cpp/ql/test/query-tests/Critical/MissingCheckScanf/IncorrectCheckScanf.expected
View File

@@ -1,5 +1,6 @@
| test.cpp:162:7:162:11 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |
| test.cpp:171:7:171:11 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |
| test.cpp:193:7:193:11 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |
| test.cpp:204:7:204:11 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |
| test.cpp:436:7:436:11 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |
| test.cpp:443:11:443:15 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |

3
cpp/ql/test/query-tests/Critical/MissingCheckScanf/MissingCheckScanf.expected
View File

@@ -15,7 +15,6 @@ edges
| test.cpp:141:19:141:20 | scanf output argument | test.cpp:143:8:143:8 | i | provenance | |
| test.cpp:150:23:150:24 | scanf output argument | test.cpp:154:9:154:9 | i | provenance | |
| test.cpp:181:19:181:20 | scanf output argument | test.cpp:185:8:185:8 | i | provenance | |
| test.cpp:193:19:193:20 | scanf output argument | test.cpp:197:8:197:8 | i | provenance | |
| test.cpp:211:22:211:23 | scanf output argument | test.cpp:213:8:213:8 | i | provenance | |
| test.cpp:221:22:221:23 | scanf output argument | test.cpp:223:8:223:8 | i | provenance | |
| test.cpp:221:26:221:27 | scanf output argument | test.cpp:224:8:224:8 | j | provenance | |
@@ -89,8 +88,6 @@ nodes
| test.cpp:154:9:154:9 | i | semmle.label | i |
| test.cpp:181:19:181:20 | scanf output argument | semmle.label | scanf output argument |
| test.cpp:185:8:185:8 | i | semmle.label | i |
| test.cpp:193:19:193:20 | scanf output argument | semmle.label | scanf output argument |
| test.cpp:197:8:197:8 | i | semmle.label | i |
| test.cpp:211:22:211:23 | scanf output argument | semmle.label | scanf output argument |
| test.cpp:213:8:213:8 | i | semmle.label | i |
| test.cpp:221:22:221:23 | scanf output argument | semmle.label | scanf output argument |

2
cpp/ql/test/query-tests/Critical/MissingCheckScanf/test.cpp
View File

@@ -194,7 +194,7 @@ int main()
if (b >= 1)
{
use(i); // BAD [NOT DETECTED]: scanf can return EOF (boolifies true)
use(i); // BAD: scanf can return EOF (boolifies true)
}
}