Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 11da4a5

Browse files
jbjjbj
committed
C++: Accept test results for GVN and sign analysis
1 parent 7a6ec83 commit 11da4a5

2 files changed

Lines changed: 101 additions & 161 deletions

File tree

‎cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected‎

Lines changed: 0 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@
1313
| bounded_bounds.c:16:12:16:12 | Load: x | negative strictlyNegative |
1414
| bounded_bounds.c:16:12:16:12 | Store: x | negative strictlyNegative |
1515
| inline_assembly.c:9:23:9:23 | Uninitialized: definition of y | positive |
16-
| inline_assembly.c:10:3:10:7 | CopyValue: ... = ... | positive strictlyPositive |
1716
| inline_assembly.c:10:3:10:7 | Store: ... = ... | positive strictlyPositive |
1817
| inline_assembly.c:10:7:10:7 | Constant: (unsigned int)... | positive strictlyPositive |
1918
| inline_assembly.c:12:32:12:32 | Load: y | positive strictlyPositive |
@@ -28,10 +27,8 @@
2827
| minmax.c:18:37:18:37 | Load: x | positive strictlyPositive |
2928
| minmax.c:18:40:18:40 | Load: y | positive strictlyPositive |
3029
| minmax.c:18:43:18:43 | Load: z | positive strictlyPositive |
31-
| minmax.c:20:2:24:3 | CopyValue: ... = ... | positive |
3230
| minmax.c:20:2:24:3 | Store: ... = ... | positive |
3331
| minmax.c:20:6:24:3 | CopyValue: (statement expression) | positive |
34-
| minmax.c:22:18:22:22 | CopyValue: ... = ... | positive strictlyPositive |
3532
| minmax.c:22:18:22:22 | Store: ... = ... | positive strictlyPositive |
3633
| minmax.c:22:22:22:22 | Load: x | positive strictlyPositive |
3734
| minmax.c:23:3:23:3 | Load: t | positive |
@@ -40,15 +37,13 @@
4037
| minmax.c:26:40:26:40 | Load: y | positive strictlyPositive |
4138
| minmax.c:26:43:26:43 | Load: z | positive |
4239
| test.c:7:10:7:10 | Phi: p | positive |
43-
| test.c:8:5:8:19 | CopyValue: ... = ... | positive strictlyPositive |
4440
| test.c:8:5:8:19 | Store: ... = ... | positive strictlyPositive |
4541
| test.c:8:13:8:17 | Load: count | positive |
4642
| test.c:8:13:8:19 | Add: ... + ... | positive strictlyPositive |
4743
| test.c:8:19:8:19 | Constant: 1 | positive strictlyPositive |
4844
| test.c:10:10:10:14 | Load: count | positive |
4945
| test.c:10:10:10:14 | Store: count | positive |
5046
| test.c:15:10:15:10 | Phi: p | positive |
51-
| test.c:16:5:16:26 | CopyValue: ... = ... | positive |
5247
| test.c:16:5:16:26 | Store: ... = ... | positive |
5348
| test.c:16:13:16:26 | Rem: ... % ... | positive |
5449
| test.c:16:14:16:18 | Load: count | positive |
@@ -62,7 +57,6 @@
6257
| test.c:24:5:24:11 | Constant: ... ++ | positive strictlyPositive |
6358
| test.c:24:5:24:11 | Load: ... ++ | positive |
6459
| test.c:24:5:24:11 | Store: ... ++ | positive strictlyPositive |
65-
| test.c:25:5:25:22 | CopyValue: ... = ... | positive |
6660
| test.c:25:5:25:22 | Store: ... = ... | positive |
6761
| test.c:25:13:25:17 | Load: count | positive strictlyPositive |
6862
| test.c:25:13:25:22 | Rem: ... % ... | positive |
@@ -73,7 +67,6 @@
7367
| test.c:33:15:33:15 | Phi: i | positive |
7468
| test.c:33:15:33:15 | Phi: i | positive |
7569
| test.c:33:19:33:19 | Constant: 2 | positive strictlyPositive |
76-
| test.c:33:22:33:28 | CopyValue: ... = ... | positive strictlyPositive |
7770
| test.c:33:22:33:28 | Store: ... = ... | positive strictlyPositive |
7871
| test.c:33:26:33:26 | Load: i | positive |
7972
| test.c:33:26:33:28 | Add: ... + ... | positive strictlyPositive |
@@ -108,7 +101,6 @@
108101
| test.c:51:15:51:17 | Add: ... + ... | positive strictlyPositive |
109102
| test.c:51:17:51:17 | Constant: 2 | positive strictlyPositive |
110103
| test.c:51:21:51:21 | Constant: 4 | positive strictlyPositive |
111-
| test.c:51:24:51:30 | CopyValue: ... = ... | positive strictlyPositive |
112104
| test.c:51:24:51:30 | Store: ... = ... | positive strictlyPositive |
113105
| test.c:51:28:51:28 | Load: i | positive |
114106
| test.c:51:28:51:30 | Add: ... + ... | positive strictlyPositive |
@@ -467,7 +459,6 @@
467459
| test.c:343:5:343:7 | Constant: ... ++ | positive strictlyPositive |
468460
| test.c:343:5:343:7 | Load: ... ++ | positive |
469461
| test.c:343:5:343:7 | Store: ... ++ | positive strictlyPositive |
470-
| test.c:345:3:345:7 | CopyValue: ... = ... | positive strictlyPositive |
471462
| test.c:345:3:345:7 | Store: ... = ... | positive strictlyPositive |
472463
| test.c:345:7:345:7 | Load: i | positive strictlyPositive |
473464
| test.c:346:7:346:7 | Load: x | positive |
@@ -483,7 +474,6 @@
483474
| test.c:356:36:356:37 | Uninitialized: definition of y6 | positive |
484475
| test.c:356:40:356:41 | Uninitialized: definition of y7 | positive |
485476
| test.c:356:44:356:45 | Uninitialized: definition of y8 | positive |
486-
| test.c:357:3:357:23 | CopyValue: ... = ... | positive |
487477
| test.c:357:3:357:23 | Store: ... = ... | positive |
488478
| test.c:357:8:357:8 | Load: x | positive |
489479
| test.c:357:8:357:23 | Load: ... ? ... : ... | positive |
@@ -493,7 +483,6 @@
493483
| test.c:357:12:357:14 | Constant: (unsigned int)... | positive strictlyPositive |
494484
| test.c:357:18:357:18 | Load: x | positive |
495485
| test.c:357:22:357:23 | Constant: (unsigned int)... | positive strictlyPositive |
496-
| test.c:358:3:358:24 | CopyValue: ... = ... | positive |
497486
| test.c:358:3:358:24 | Store: ... = ... | positive |
498487
| test.c:358:8:358:8 | Load: x | positive |
499488
| test.c:358:8:358:24 | Load: ... ? ... : ... | positive |
@@ -505,31 +494,27 @@
505494
| test.c:358:24:358:24 | Load: x | positive |
506495
| test.c:365:7:365:7 | Load: x | positive |
507496
| test.c:365:11:365:13 | Constant: (unsigned int)... | positive strictlyPositive |
508-
| test.c:366:5:366:15 | CopyValue: ... = ... | positive |
509497
| test.c:366:5:366:15 | Store: ... = ... | positive |
510498
| test.c:366:10:366:10 | Load: x | positive |
511499
| test.c:366:10:366:15 | Load: ... ? ... : ... | positive |
512500
| test.c:366:10:366:15 | Phi: ... ? ... : ... | positive |
513501
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive |
514502
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive strictlyPositive |
515503
| test.c:366:15:366:15 | Constant: (unsigned int)... | positive strictlyPositive |
516-
| test.c:367:5:367:17 | CopyValue: ... = ... | positive |
517504
| test.c:367:5:367:17 | Store: ... = ... | positive |
518505
| test.c:367:10:367:10 | Load: x | positive |
519506
| test.c:367:10:367:17 | Load: ... ? ... : ... | positive |
520507
| test.c:367:10:367:17 | Phi: ... ? ... : ... | positive |
521508
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive |
522509
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive strictlyPositive |
523510
| test.c:367:15:367:17 | Constant: (unsigned int)... | positive strictlyPositive |
524-
| test.c:368:5:368:21 | CopyValue: ... = ... | positive strictlyPositive |
525511
| test.c:368:5:368:21 | Store: ... = ... | positive strictlyPositive |
526512
| test.c:368:10:368:21 | Load: ... ? ... : ... | positive strictlyPositive |
527513
| test.c:368:10:368:21 | Store: ... ? ... : ... | positive strictlyPositive |
528514
| test.c:368:11:368:11 | Load: x | positive |
529515
| test.c:368:11:368:13 | Add: ... + ... | positive strictlyPositive |
530516
| test.c:368:13:368:13 | Constant: (unsigned int)... | positive strictlyPositive |
531517
| test.c:368:19:368:21 | Constant: (unsigned int)... | positive strictlyPositive |
532-
| test.c:369:5:369:36 | CopyValue: ... = ... | positive strictlyPositive |
533518
| test.c:369:5:369:36 | Store: ... = ... | positive strictlyPositive |
534519
| test.c:369:10:369:36 | Convert: (unsigned int)... | positive strictlyPositive |
535520
| test.c:369:10:369:36 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -539,7 +524,6 @@
539524
| test.c:369:27:369:29 | Add: ... + ... | positive strictlyPositive |
540525
| test.c:369:29:369:29 | Constant: (unsigned int)... | positive strictlyPositive |
541526
| test.c:369:36:369:36 | Constant: 5 | positive strictlyPositive |
542-
| test.c:370:5:370:38 | CopyValue: ... = ... | positive strictlyPositive |
543527
| test.c:370:5:370:38 | Store: ... = ... | positive strictlyPositive |
544528
| test.c:370:10:370:38 | Convert: (unsigned int)... | positive strictlyPositive |
545529
| test.c:370:10:370:38 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -549,7 +533,6 @@
549533
| test.c:370:27:370:29 | Add: ... + ... | positive strictlyPositive |
550534
| test.c:370:29:370:29 | Constant: (unsigned int)... | positive strictlyPositive |
551535
| test.c:370:36:370:38 | Constant: 500 | positive strictlyPositive |
552-
| test.c:371:5:371:39 | CopyValue: ... = ... | positive strictlyPositive |
553536
| test.c:371:5:371:39 | Store: ... = ... | positive strictlyPositive |
554537
| test.c:371:10:371:39 | Convert: (unsigned int)... | positive strictlyPositive |
555538
| test.c:371:10:371:39 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -587,7 +570,6 @@
587570
| test.c:378:24:378:25 | Uninitialized: definition of y3 | positive |
588571
| test.c:378:28:378:29 | Uninitialized: definition of y4 | positive |
589572
| test.c:378:32:378:33 | Uninitialized: definition of y5 | positive |
590-
| test.c:379:3:379:24 | CopyValue: ... = ... | positive strictlyPositive |
591573
| test.c:379:3:379:24 | Store: ... = ... | positive strictlyPositive |
592574
| test.c:379:8:379:8 | Load: x | positive |
593575
| test.c:379:8:379:24 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -597,7 +579,6 @@
597579
| test.c:379:12:379:14 | Constant: (unsigned int)... | positive strictlyPositive |
598580
| test.c:379:18:379:18 | Load: x | positive strictlyPositive |
599581
| test.c:379:22:379:24 | Constant: (unsigned int)... | positive strictlyPositive |
600-
| test.c:380:3:380:25 | CopyValue: ... = ... | positive strictlyPositive |
601582
| test.c:380:3:380:25 | Store: ... = ... | positive strictlyPositive |
602583
| test.c:380:8:380:8 | Load: x | positive |
603584
| test.c:380:8:380:25 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -607,34 +588,28 @@
607588
| test.c:380:13:380:15 | Constant: (unsigned int)... | positive strictlyPositive |
608589
| test.c:380:19:380:21 | Constant: (unsigned int)... | positive strictlyPositive |
609590
| test.c:380:25:380:25 | Load: x | positive strictlyPositive |
610-
| test.c:381:3:381:11 | CopyValue: ... = ... | positive strictlyPositive |
611591
| test.c:381:3:381:11 | Store: ... = ... | positive strictlyPositive |
612592
| test.c:381:8:381:11 | Constant: (unsigned int)... | positive strictlyPositive |
613-
| test.c:382:3:382:11 | CopyValue: ... = ... | positive strictlyPositive |
614593
| test.c:382:3:382:11 | Store: ... = ... | positive strictlyPositive |
615594
| test.c:382:8:382:11 | Constant: (unsigned int)... | positive strictlyPositive |
616-
| test.c:383:3:383:11 | CopyValue: ... = ... | positive strictlyPositive |
617595
| test.c:383:3:383:11 | Store: ... = ... | positive strictlyPositive |
618596
| test.c:383:8:383:11 | Constant: (unsigned int)... | positive strictlyPositive |
619597
| test.c:384:7:384:7 | Load: x | positive |
620598
| test.c:384:12:384:14 | Constant: (unsigned int)... | positive strictlyPositive |
621-
| test.c:385:5:385:21 | CopyValue: ... = ... | positive strictlyPositive |
622599
| test.c:385:5:385:21 | Store: ... = ... | positive strictlyPositive |
623600
| test.c:385:10:385:21 | Load: ... ? ... : ... | positive strictlyPositive |
624601
| test.c:385:10:385:21 | Store: ... ? ... : ... | positive strictlyPositive |
625602
| test.c:385:11:385:11 | Load: x | positive strictlyPositive |
626603
| test.c:385:11:385:15 | Sub: ... - ... | positive |
627604
| test.c:385:13:385:15 | Constant: (unsigned int)... | positive strictlyPositive |
628605
| test.c:385:21:385:21 | Constant: (unsigned int)... | positive strictlyPositive |
629-
| test.c:386:5:386:21 | CopyValue: ... = ... | positive strictlyPositive |
630606
| test.c:386:5:386:21 | Store: ... = ... | positive strictlyPositive |
631607
| test.c:386:10:386:21 | Load: ... ? ... : ... | positive strictlyPositive |
632608
| test.c:386:10:386:21 | Store: ... ? ... : ... | positive strictlyPositive |
633609
| test.c:386:11:386:11 | Load: x | positive strictlyPositive |
634610
| test.c:386:11:386:15 | Sub: ... - ... | positive |
635611
| test.c:386:13:386:15 | Constant: (unsigned int)... | positive strictlyPositive |
636612
| test.c:386:21:386:21 | Constant: (unsigned int)... | positive strictlyPositive |
637-
| test.c:387:5:387:38 | CopyValue: ... = ... | positive strictlyPositive |
638613
| test.c:387:5:387:38 | Store: ... = ... | positive strictlyPositive |
639614
| test.c:387:10:387:38 | Convert: (unsigned int)... | positive strictlyPositive |
640615
| test.c:387:10:387:38 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -669,21 +644,18 @@
669644
| test.c:394:34:394:36 | Constant: (unsigned int)... | positive strictlyPositive |
670645
| test.c:395:16:395:17 | Uninitialized: definition of y1 | positive |
671646
| test.c:396:16:396:17 | Uninitialized: definition of y2 | positive |
672-
| test.c:397:3:397:15 | CopyValue: ... = ... | positive strictlyPositive |
673647
| test.c:397:3:397:15 | Store: ... = ... | positive strictlyPositive |
674648
| test.c:397:9:397:11 | Add: ++ ... | positive strictlyPositive |
675649
| test.c:397:9:397:11 | Constant: ++ ... | positive strictlyPositive |
676650
| test.c:397:9:397:11 | Load: ++ ... | positive |
677651
| test.c:397:9:397:11 | Store: ++ ... | positive strictlyPositive |
678652
| test.c:397:9:397:14 | CopyValue: ... , ... | positive strictlyPositive |
679653
| test.c:397:14:397:14 | Load: y | positive strictlyPositive |
680-
| test.c:398:3:398:23 | CopyValue: ... = ... | positive strictlyPositive |
681654
| test.c:398:3:398:23 | Store: ... = ... | positive strictlyPositive |
682655
| test.c:398:9:398:11 | Add: ... ++ | positive strictlyPositive |
683656
| test.c:398:9:398:11 | Constant: ... ++ | positive strictlyPositive |
684657
| test.c:398:9:398:11 | Load: ... ++ | positive strictlyPositive |
685658
| test.c:398:9:398:11 | Store: ... ++ | positive strictlyPositive |
686-
| test.c:398:9:398:19 | CopyValue: ... , ... | positive strictlyPositive |
687659
| test.c:398:9:398:22 | CopyValue: ... , ... | positive strictlyPositive |
688660
| test.c:398:14:398:19 | Add: ... += ... | positive strictlyPositive |
689661
| test.c:398:14:398:19 | Load: ... += ... | positive strictlyPositive |

0 commit comments

Comments
 (0)