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

C++: Update expected test results after outputting less loads from the extractor

Browse Source
This commit is contained in:
Jeroen Ketema
2023-08-18 19:26:27 +02:00
parent bec3e62771
commit 7e71d9e619
9 changed files with 115 additions and 439 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected
View File

@@ -13,7 +13,6 @@
| bounded_bounds.c:16:12:16:12 | Load: x | negative strictlyNegative |
| bounded_bounds.c:16:12:16:12 | Store: x | negative strictlyNegative |
| inline_assembly.c:9:23:9:23 | Uninitialized: definition of y | positive |
| inline_assembly.c:10:3:10:7 | Load: ... = ... | positive strictlyPositive |
| inline_assembly.c:10:3:10:7 | Store: ... = ... | positive strictlyPositive |
| inline_assembly.c:10:7:10:7 | Constant: (unsigned int)... | positive strictlyPositive |
| inline_assembly.c:12:32:12:32 | Load: y | positive strictlyPositive |
@@ -27,10 +26,8 @@
| minmax.c:18:37:18:37 | Load: x | positive strictlyPositive |
| minmax.c:18:40:18:40 | Load: y | positive strictlyPositive |
| minmax.c:18:43:18:43 | Load: z | positive strictlyPositive |
| minmax.c:20:2:24:3 | Load: ... = ... | positive |
| minmax.c:20:2:24:3 | Store: ... = ... | positive |
| minmax.c:20:6:24:3 | CopyValue: (statement expression) | positive |
| minmax.c:22:18:22:22 | Load: ... = ... | positive strictlyPositive |
| minmax.c:22:18:22:22 | Store: ... = ... | positive strictlyPositive |
| minmax.c:22:22:22:22 | Load: x | positive strictlyPositive |
| minmax.c:23:3:23:3 | Load: t | positive |
@@ -39,7 +36,6 @@
| minmax.c:26:40:26:40 | Load: y | positive strictlyPositive |
| minmax.c:26:43:26:43 | Load: z | positive |
| test.c:7:10:7:10 | Phi: p | positive |
| test.c:8:5:8:19 | Load: ... = ... | positive strictlyPositive |
| test.c:8:5:8:19 | Store: ... = ... | positive strictlyPositive |
| test.c:8:13:8:17 | Load: count | positive |
| test.c:8:13:8:19 | Add: ... + ... | positive strictlyPositive |
@@ -47,7 +43,6 @@
| test.c:10:10:10:14 | Load: count | positive |
| test.c:10:10:10:14 | Store: count | positive |
| test.c:15:10:15:10 | Phi: p | positive |
| test.c:16:5:16:26 | Load: ... = ... | positive |
| test.c:16:5:16:26 | Store: ... = ... | positive |
| test.c:16:13:16:26 | Rem: ... % ... | positive |
| test.c:16:14:16:18 | Load: count | positive |
@@ -61,7 +56,6 @@
| test.c:24:5:24:11 | Add: ... ++ | positive strictlyPositive |
| test.c:24:5:24:11 | Constant: ... ++ | positive strictlyPositive |
| test.c:24:5:24:11 | Store: ... ++ | positive strictlyPositive |
| test.c:25:5:25:22 | Load: ... = ... | positive |
| test.c:25:5:25:22 | Store: ... = ... | positive |
| test.c:25:13:25:17 | Load: count | positive strictlyPositive |
| test.c:25:13:25:22 | Rem: ... % ... | positive |
@@ -72,14 +66,12 @@
| test.c:33:15:33:15 | Phi: i | positive |
| test.c:33:15:33:15 | Phi: i | positive |
| test.c:33:19:33:19 | Constant: 2 | positive strictlyPositive |
| test.c:33:22:33:28 | Load: ... = ... | positive strictlyPositive |
| test.c:33:22:33:28 | Store: ... = ... | positive strictlyPositive |
| test.c:33:26:33:26 | Load: i | positive |
| test.c:33:26:33:28 | Add: ... + ... | positive strictlyPositive |
| test.c:33:28:33:28 | Constant: 1 | positive strictlyPositive |
| test.c:34:5:34:9 | Load: total | positive |
| test.c:34:5:34:14 | Add: ... += ... | positive |
| test.c:34:5:34:14 | Load: ... += ... | positive |
| test.c:34:5:34:14 | Store: ... += ... | positive |
| test.c:34:14:34:14 | Load: i | positive |
| test.c:36:10:36:14 | Load: total | positive |
@@ -96,7 +88,6 @@
| test.c:42:22:42:24 | Store: ... ++ | positive strictlyPositive |
| test.c:43:5:43:9 | Load: total | positive |
| test.c:43:5:43:14 | Add: ... += ... | positive |
| test.c:43:5:43:14 | Load: ... += ... | positive |
| test.c:43:5:43:14 | Store: ... += ... | positive |
| test.c:43:14:43:14 | Load: i | positive |
| test.c:45:10:45:14 | Load: total | positive |
@@ -109,14 +100,12 @@
| test.c:51:15:51:17 | Add: ... + ... | positive strictlyPositive |
| test.c:51:17:51:17 | Constant: 2 | positive strictlyPositive |
| test.c:51:21:51:21 | Constant: 4 | positive strictlyPositive |
| test.c:51:24:51:30 | Load: ... = ... | positive strictlyPositive |
| test.c:51:24:51:30 | Store: ... = ... | positive strictlyPositive |
| test.c:51:28:51:28 | Load: i | positive |
| test.c:51:28:51:30 | Add: ... + ... | positive strictlyPositive |
| test.c:51:30:51:30 | Constant: 1 | positive strictlyPositive |
| test.c:52:5:52:9 | Load: total | positive |
| test.c:52:5:52:14 | Add: ... += ... | positive |
| test.c:52:5:52:14 | Load: ... += ... | positive |
| test.c:52:5:52:14 | Store: ... += ... | positive |
| test.c:52:14:52:14 | Load: i | positive |
| test.c:54:10:54:14 | Load: total | positive |
@@ -163,7 +152,6 @@
| test.c:126:31:126:43 | Store: call to test12_helper | positive |
| test.c:127:6:127:10 | Load: Start | positive |
| test.c:127:6:127:24 | Add: ... += ... | positive strictlyPositive |
| test.c:127:6:127:24 | Load: ... += ... | positive strictlyPositive |
| test.c:127:6:127:24 | Store: ... += ... | positive strictlyPositive |
| test.c:127:15:127:20 | Load: Length | positive |
| test.c:127:15:127:24 | Add: ... + ... | positive strictlyPositive |
@@ -255,7 +243,6 @@
| test.c:201:13:201:15 | Store: ... * ... | positive strictlyPositive |
| test.c:201:15:201:15 | Load: b | positive strictlyPositive |
| test.c:202:5:202:14 | Add: ... += ... | positive strictlyPositive |
| test.c:202:5:202:14 | Load: ... += ... | positive strictlyPositive |
| test.c:202:5:202:14 | Store: ... += ... | positive strictlyPositive |
| test.c:202:14:202:14 | Load: r | positive strictlyPositive |
| test.c:204:7:204:7 | Constant: 3 | positive strictlyPositive |
@@ -270,7 +257,6 @@
| test.c:205:15:205:15 | Load: b | positive |
| test.c:206:5:206:9 | Load: total | positive |
| test.c:206:5:206:14 | Add: ... += ... | positive |
| test.c:206:5:206:14 | Load: ... += ... | positive |
| test.c:206:5:206:14 | Store: ... += ... | positive |
| test.c:206:14:206:14 | Load: r | positive |
| test.c:208:7:208:7 | Constant: 3 | positive strictlyPositive |
@@ -310,7 +296,6 @@
| test.c:229:13:229:15 | Store: ... * ... | positive |
| test.c:229:15:229:15 | Load: b | positive strictlyPositive |
| test.c:230:5:230:14 | Add: ... += ... | positive |
| test.c:230:5:230:14 | Load: ... += ... | positive |
| test.c:230:5:230:14 | Store: ... += ... | positive |
| test.c:230:14:230:14 | Load: r | positive |
| test.c:232:7:232:7 | Phi: 0 | positive |
@@ -324,7 +309,6 @@
| test.c:233:15:233:15 | Load: b | positive |
| test.c:234:5:234:9 | Load: total | positive |
| test.c:234:5:234:14 | Add: ... += ... | positive |
| test.c:234:5:234:14 | Load: ... += ... | positive |
| test.c:234:5:234:14 | Store: ... += ... | positive |
| test.c:234:14:234:14 | Load: r | positive |
| test.c:236:7:236:7 | Phi: 0 | positive |
@@ -384,7 +368,6 @@
| test.c:285:13:285:15 | Store: ... * ... | negative |
| test.c:285:15:285:15 | Load: b | positive strictlyPositive |
| test.c:286:5:286:14 | Add: ... += ... | negative |
| test.c:286:5:286:14 | Load: ... += ... | negative |
| test.c:286:5:286:14 | Store: ... += ... | negative |
| test.c:286:14:286:14 | Load: r | negative |
| test.c:288:7:288:9 | Constant: - ... | negative strictlyNegative |
@@ -397,7 +380,6 @@
| test.c:289:15:289:15 | Load: b | positive |
| test.c:290:5:290:9 | Load: total | negative |
| test.c:290:5:290:14 | Add: ... += ... | negative |
| test.c:290:5:290:14 | Load: ... += ... | negative |
| test.c:290:5:290:14 | Store: ... += ... | negative |
| test.c:290:14:290:14 | Load: r | negative |
| test.c:292:7:292:9 | Constant: - ... | negative strictlyNegative |
@@ -431,7 +413,6 @@
| test.c:313:13:313:15 | Store: ... * ... | negative strictlyNegative |
| test.c:313:15:313:15 | Load: b | positive strictlyPositive |
| test.c:314:5:314:14 | Add: ... += ... | negative strictlyNegative |
| test.c:314:5:314:14 | Load: ... += ... | negative strictlyNegative |
| test.c:314:5:314:14 | Store: ... += ... | negative strictlyNegative |
| test.c:314:14:314:14 | Load: r | negative strictlyNegative |
| test.c:316:7:316:9 | Constant: - ... | negative strictlyNegative |
@@ -445,7 +426,6 @@
| test.c:317:15:317:15 | Load: b | positive |
| test.c:318:5:318:9 | Load: total | negative |
| test.c:318:5:318:14 | Add: ... += ... | negative |
| test.c:318:5:318:14 | Load: ... += ... | negative |
| test.c:318:5:318:14 | Store: ... += ... | negative |
| test.c:318:14:318:14 | Load: r | negative |
| test.c:320:7:320:9 | Constant: - ... | negative strictlyNegative |
@@ -481,7 +461,6 @@
| test.c:343:5:343:7 | Add: ... ++ | positive strictlyPositive |
| test.c:343:5:343:7 | Constant: ... ++ | positive strictlyPositive |
| test.c:343:5:343:7 | Store: ... ++ | positive strictlyPositive |
| test.c:345:3:345:7 | Load: ... = ... | positive strictlyPositive |
| test.c:345:3:345:7 | Store: ... = ... | positive strictlyPositive |
| test.c:345:7:345:7 | Load: i | positive strictlyPositive |
| test.c:346:7:346:7 | Load: x | positive |
@@ -497,7 +476,6 @@
| test.c:356:36:356:37 | Uninitialized: definition of y6 | positive |
| test.c:356:40:356:41 | Uninitialized: definition of y7 | positive |
| test.c:356:44:356:45 | Uninitialized: definition of y8 | positive |
| test.c:357:3:357:23 | Load: ... = ... | positive |
| test.c:357:3:357:23 | Store: ... = ... | positive |
| test.c:357:8:357:8 | Load: x | positive |
| test.c:357:8:357:23 | Load: ... ? ... : ... | positive |
@@ -507,7 +485,6 @@
| test.c:357:12:357:14 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:357:18:357:18 | Load: x | positive |
| test.c:357:22:357:23 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:358:3:358:24 | Load: ... = ... | positive |
| test.c:358:3:358:24 | Store: ... = ... | positive |
| test.c:358:8:358:8 | Load: x | positive |
| test.c:358:8:358:24 | Load: ... ? ... : ... | positive |
@@ -519,7 +496,6 @@
| test.c:358:24:358:24 | Load: x | positive |
| test.c:365:7:365:7 | Load: x | positive |
| test.c:365:11:365:13 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:366:5:366:15 | Load: ... = ... | positive |
| test.c:366:5:366:15 | Store: ... = ... | positive |
| test.c:366:10:366:10 | Load: x | positive |
| test.c:366:10:366:15 | Load: ... ? ... : ... | positive |
@@ -527,7 +503,6 @@
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive |
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive strictlyPositive |
| test.c:366:15:366:15 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:367:5:367:17 | Load: ... = ... | positive |
| test.c:367:5:367:17 | Store: ... = ... | positive |
| test.c:367:10:367:10 | Load: x | positive |
| test.c:367:10:367:17 | Load: ... ? ... : ... | positive |
@@ -535,7 +510,6 @@
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive |
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive strictlyPositive |
| test.c:367:15:367:17 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:368:5:368:21 | Load: ... = ... | positive strictlyPositive |
| test.c:368:5:368:21 | Store: ... = ... | positive strictlyPositive |
| test.c:368:10:368:21 | Load: ... ? ... : ... | positive strictlyPositive |
| test.c:368:10:368:21 | Phi: ... ? ... : ... | positive strictlyPositive |
@@ -545,7 +519,6 @@
| test.c:368:11:368:13 | Add: ... + ... | positive strictlyPositive |
| test.c:368:13:368:13 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:368:19:368:21 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:369:5:369:36 | Load: ... = ... | positive |
| test.c:369:5:369:36 | Store: ... = ... | positive |
| test.c:369:10:369:36 | Convert: (unsigned int)... | positive |
| test.c:369:10:369:36 | Load: ... ? ... : ... | positive |
@@ -557,7 +530,6 @@
| test.c:369:27:369:29 | Add: ... + ... | positive strictlyPositive |
| test.c:369:29:369:29 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:369:36:369:36 | Constant: 5 | positive strictlyPositive |
| test.c:370:5:370:38 | Load: ... = ... | positive |
| test.c:370:5:370:38 | Store: ... = ... | positive |
| test.c:370:10:370:38 | Convert: (unsigned int)... | positive |
| test.c:370:10:370:38 | Load: ... ? ... : ... | positive |
@@ -569,7 +541,6 @@
| test.c:370:27:370:29 | Add: ... + ... | positive strictlyPositive |
| test.c:370:29:370:29 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:370:36:370:38 | Constant: 500 | positive strictlyPositive |
| test.c:371:5:371:39 | Load: ... = ... | positive |
| test.c:371:5:371:39 | Store: ... = ... | positive |
| test.c:371:10:371:39 | Convert: (unsigned int)... | positive |
| test.c:371:10:371:39 | Load: ... ? ... : ... | positive |
@@ -609,7 +580,6 @@
| test.c:378:24:378:25 | Uninitialized: definition of y3 | positive |
| test.c:378:28:378:29 | Uninitialized: definition of y4 | positive |
| test.c:378:32:378:33 | Uninitialized: definition of y5 | positive |
| test.c:379:3:379:24 | Load: ... = ... | positive strictlyPositive |
| test.c:379:3:379:24 | Store: ... = ... | positive strictlyPositive |
| test.c:379:8:379:8 | Load: x | positive |
| test.c:379:8:379:24 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -619,7 +589,6 @@
| test.c:379:12:379:14 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:379:18:379:18 | Load: x | positive strictlyPositive |
| test.c:379:22:379:24 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:380:3:380:25 | Load: ... = ... | positive strictlyPositive |
| test.c:380:3:380:25 | Store: ... = ... | positive strictlyPositive |
| test.c:380:8:380:8 | Load: x | positive |
| test.c:380:8:380:25 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -629,18 +598,14 @@
| test.c:380:13:380:15 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:380:19:380:21 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:380:25:380:25 | Load: x | positive strictlyPositive |
| test.c:381:3:381:11 | Load: ... = ... | positive strictlyPositive |
| test.c:381:3:381:11 | Store: ... = ... | positive strictlyPositive |
| test.c:381:8:381:11 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:382:3:382:11 | Load: ... = ... | positive strictlyPositive |
| test.c:382:3:382:11 | Store: ... = ... | positive strictlyPositive |
| test.c:382:8:382:11 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:383:3:383:11 | Load: ... = ... | positive strictlyPositive |
| test.c:383:3:383:11 | Store: ... = ... | positive strictlyPositive |
| test.c:383:8:383:11 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:384:7:384:7 | Load: x | positive |
| test.c:384:12:384:14 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:385:5:385:21 | Load: ... = ... | positive |
| test.c:385:5:385:21 | Store: ... = ... | positive |
| test.c:385:10:385:21 | Load: ... ? ... : ... | positive |
| test.c:385:10:385:21 | Phi: ... ? ... : ... | positive |
@@ -650,7 +615,6 @@
| test.c:385:11:385:15 | Sub: ... - ... | positive |
| test.c:385:13:385:15 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:385:21:385:21 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:386:5:386:21 | Load: ... = ... | positive |
| test.c:386:5:386:21 | Store: ... = ... | positive |
| test.c:386:10:386:21 | Load: ... ? ... : ... | positive |
| test.c:386:10:386:21 | Phi: ... ? ... : ... | positive |
@@ -660,7 +624,6 @@
| test.c:386:11:386:15 | Sub: ... - ... | positive |
| test.c:386:13:386:15 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:386:21:386:21 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:387:5:387:38 | Load: ... = ... | positive |
| test.c:387:5:387:38 | Store: ... = ... | positive |
| test.c:387:10:387:38 | Convert: (unsigned int)... | positive |
| test.c:387:10:387:38 | Load: ... ? ... : ... | positive |
@@ -697,16 +660,13 @@
| test.c:394:34:394:36 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:395:16:395:17 | Uninitialized: definition of y1 | positive |
| test.c:396:16:396:17 | Uninitialized: definition of y2 | positive |
| test.c:397:3:397:15 | Load: ... = ... | positive strictlyPositive |
| test.c:397:3:397:15 | Store: ... = ... | positive strictlyPositive |
| test.c:397:9:397:11 | Add: ++ ... | positive strictlyPositive |
| test.c:397:9:397:11 | Constant: ++ ... | positive strictlyPositive |
| test.c:397:9:397:11 | Load: ++ ... | positive strictlyPositive |
| test.c:397:9:397:11 | Store: ++ ... | positive strictlyPositive |
| test.c:397:9:397:14 | CopyValue: ... , ... | positive strictlyPositive |
| test.c:397:11:397:11 | Load: y | positive |
| test.c:397:14:397:14 | Load: y | positive strictlyPositive |
| test.c:398:3:398:23 | Load: ... = ... | positive strictlyPositive |
| test.c:398:3:398:23 | Store: ... = ... | positive strictlyPositive |
| test.c:398:9:398:9 | Load: y | positive strictlyPositive |
| test.c:398:9:398:11 | Add: ... ++ | positive strictlyPositive |