github
/
codeql
зеркало из https://github.com/github/codeql.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

C++: Accept sign analysis test changes 

The IR now contains extra loads that need to be accounted for.
This commit is contained in:
Jeroen Ketema 2023-08-04 15:01:56 +02:00
Родитель 5036135f01
Коммит 554087161b
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 0D28C783F1AAA17F
1 изменённых файлов: 41 добавлений и 0 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

41
cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected
Просмотреть файл

@ -13,6 +13,7 @@
| 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 |
@ -26,8 +27,10 @@
| 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 |
@ -36,6 +39,7 @@
| 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 |
@ -43,6 +47,7 @@
| 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 |
@ -56,6 +61,7 @@
| 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 |
@ -66,12 +72,14 @@
| 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 |
@ -88,6 +96,7 @@
| 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 |
@ -100,12 +109,14 @@
| 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 |
@ -152,6 +163,7 @@
| 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 |
@ -243,6 +255,7 @@
| 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 |
@ -257,6 +270,7 @@
| 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 |
@ -296,6 +310,7 @@
| 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 |
@ -309,6 +324,7 @@
| 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 |
@ -368,6 +384,7 @@
| 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 |
@ -380,6 +397,7 @@
| 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 |
@ -413,6 +431,7 @@
| 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 |
@ -426,6 +445,7 @@
| 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 |
@ -461,6 +481,7 @@
| 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 |
@ -476,6 +497,7 @@
| 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 |
@ -485,6 +507,7 @@
| 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 |
@ -496,6 +519,7 @@
| 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 |
@ -503,6 +527,7 @@
| 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 |
@ -510,6 +535,7 @@
| 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 |
@ -519,6 +545,7 @@
| 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 |
@ -530,6 +557,7 @@
| 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 |
@ -541,6 +569,7 @@
| 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 |
@ -580,6 +609,7 @@
| 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 |
@ -589,6 +619,7 @@
| 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 |
@ -598,14 +629,18 @@
| 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 |
@ -615,6 +650,7 @@
| 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 |
@ -624,6 +660,7 @@
| 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 |
@ -660,13 +697,16 @@
| 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 |
@ -675,6 +715,7 @@
| test.c:398:9:398:22 | CopyValue: ... , ... | positive strictlyPositive |
| test.c:398:14:398:14 | Load: y | positive strictlyPositive |
| test.c:398:14:398:19 | Add: ... += ... | positive strictlyPositive |
| test.c:398:14:398:19 | Load: ... += ... | positive strictlyPositive |
| test.c:398:14:398:19 | Store: ... += ... | positive strictlyPositive |
| test.c:398:19:398:19 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:398:22:398:22 | Load: y | positive strictlyPositive |