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

Skip to content

Commit fee5570

Browse files
author
Dave Bartolomeo
committed
C++: Update SignAnalysis test results
1 parent 1428811 commit fee5570

1 file changed

Lines changed: 36 additions & 22 deletions

File tree

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

Lines changed: 36 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -512,32 +512,40 @@
512512
| test.c:367:15:367:17 | Constant: (unsigned int)... | positive strictlyPositive |
513513
| test.c:368:5:368:21 | Store: ... = ... | positive strictlyPositive |
514514
| test.c:368:10:368:21 | Load: ... ? ... : ... | positive strictlyPositive |
515+
| test.c:368:10:368:21 | Phi: ... ? ... : ... | positive strictlyPositive |
516+
| test.c:368:10:368:21 | Store: ... ? ... : ... | positive strictlyPositive |
515517
| test.c:368:10:368:21 | Store: ... ? ... : ... | positive strictlyPositive |
516518
| test.c:368:11:368:11 | Load: x | positive |
517519
| test.c:368:11:368:13 | Add: ... + ... | positive strictlyPositive |
518520
| test.c:368:13:368:13 | Constant: (unsigned int)... | positive strictlyPositive |
519521
| test.c:368:19:368:21 | Constant: (unsigned int)... | positive strictlyPositive |
520-
| test.c:369:5:369:36 | Store: ... = ... | positive strictlyPositive |
521-
| test.c:369:10:369:36 | Convert: (unsigned int)... | positive strictlyPositive |
522-
| test.c:369:10:369:36 | Load: ... ? ... : ... | positive strictlyPositive |
522+
| test.c:369:5:369:36 | Store: ... = ... | positive |
523+
| test.c:369:10:369:36 | Convert: (unsigned int)... | positive |
524+
| test.c:369:10:369:36 | Load: ... ? ... : ... | positive |
525+
| test.c:369:10:369:36 | Phi: ... ? ... : ... | positive |
526+
| test.c:369:10:369:36 | Store: ... ? ... : ... | positive |
523527
| test.c:369:10:369:36 | Store: ... ? ... : ... | positive strictlyPositive |
524528
| test.c:369:11:369:30 | Convert: (unsigned char)... | positive |
525529
| test.c:369:27:369:27 | Load: x | positive |
526530
| test.c:369:27:369:29 | Add: ... + ... | positive strictlyPositive |
527531
| test.c:369:29:369:29 | Constant: (unsigned int)... | positive strictlyPositive |
528532
| test.c:369:36:369:36 | Constant: 5 | positive strictlyPositive |
529-
| test.c:370:5:370:38 | Store: ... = ... | positive strictlyPositive |
530-
| test.c:370:10:370:38 | Convert: (unsigned int)... | positive strictlyPositive |
531-
| test.c:370:10:370:38 | Load: ... ? ... : ... | positive strictlyPositive |
533+
| test.c:370:5:370:38 | Store: ... = ... | positive |
534+
| test.c:370:10:370:38 | Convert: (unsigned int)... | positive |
535+
| test.c:370:10:370:38 | Load: ... ? ... : ... | positive |
536+
| test.c:370:10:370:38 | Phi: ... ? ... : ... | positive |
537+
| test.c:370:10:370:38 | Store: ... ? ... : ... | positive |
532538
| test.c:370:10:370:38 | Store: ... ? ... : ... | positive strictlyPositive |
533539
| test.c:370:11:370:30 | Convert: (unsigned char)... | positive |
534540
| test.c:370:27:370:27 | Load: x | positive |
535541
| test.c:370:27:370:29 | Add: ... + ... | positive strictlyPositive |
536542
| test.c:370:29:370:29 | Constant: (unsigned int)... | positive strictlyPositive |
537543
| test.c:370:36:370:38 | Constant: 500 | positive strictlyPositive |
538-
| test.c:371:5:371:39 | Store: ... = ... | positive strictlyPositive |
539-
| test.c:371:10:371:39 | Convert: (unsigned int)... | positive strictlyPositive |
540-
| test.c:371:10:371:39 | Load: ... ? ... : ... | positive strictlyPositive |
544+
| test.c:371:5:371:39 | Store: ... = ... | positive |
545+
| test.c:371:10:371:39 | Convert: (unsigned int)... | positive |
546+
| test.c:371:10:371:39 | Load: ... ? ... : ... | positive |
547+
| test.c:371:10:371:39 | Phi: ... ? ... : ... | positive |
548+
| test.c:371:10:371:39 | Store: ... ? ... : ... | positive |
541549
| test.c:371:10:371:39 | Store: ... ? ... : ... | positive strictlyPositive |
542550
| test.c:371:11:371:31 | Convert: (unsigned short)... | positive |
543551
| test.c:371:28:371:28 | Load: x | positive |
@@ -598,42 +606,48 @@
598606
| test.c:383:8:383:11 | Constant: (unsigned int)... | positive strictlyPositive |
599607
| test.c:384:7:384:7 | Load: x | positive |
600608
| test.c:384:12:384:14 | Constant: (unsigned int)... | positive strictlyPositive |
601-
| test.c:385:5:385:21 | Store: ... = ... | positive strictlyPositive |
602-
| test.c:385:10:385:21 | Load: ... ? ... : ... | positive strictlyPositive |
609+
| test.c:385:5:385:21 | Store: ... = ... | positive |
610+
| test.c:385:10:385:21 | Load: ... ? ... : ... | positive |
611+
| test.c:385:10:385:21 | Phi: ... ? ... : ... | positive |
612+
| test.c:385:10:385:21 | Store: ... ? ... : ... | positive |
603613
| test.c:385:10:385:21 | Store: ... ? ... : ... | positive strictlyPositive |
604614
| test.c:385:11:385:11 | Load: x | positive strictlyPositive |
605615
| test.c:385:11:385:15 | Sub: ... - ... | positive |
606616
| test.c:385:13:385:15 | Constant: (unsigned int)... | positive strictlyPositive |
607617
| test.c:385:21:385:21 | Constant: (unsigned int)... | positive strictlyPositive |
608-
| test.c:386:5:386:21 | Store: ... = ... | positive strictlyPositive |
609-
| test.c:386:10:386:21 | Load: ... ? ... : ... | positive strictlyPositive |
618+
| test.c:386:5:386:21 | Store: ... = ... | positive |
619+
| test.c:386:10:386:21 | Load: ... ? ... : ... | positive |
620+
| test.c:386:10:386:21 | Phi: ... ? ... : ... | positive |
621+
| test.c:386:10:386:21 | Store: ... ? ... : ... | positive |
610622
| test.c:386:10:386:21 | Store: ... ? ... : ... | positive strictlyPositive |
611623
| test.c:386:11:386:11 | Load: x | positive strictlyPositive |
612624
| test.c:386:11:386:15 | Sub: ... - ... | positive |
613625
| test.c:386:13:386:15 | Constant: (unsigned int)... | positive strictlyPositive |
614626
| test.c:386:21:386:21 | Constant: (unsigned int)... | positive strictlyPositive |
615-
| test.c:387:5:387:38 | Store: ... = ... | positive strictlyPositive |
616-
| test.c:387:10:387:38 | Convert: (unsigned int)... | positive strictlyPositive |
617-
| test.c:387:10:387:38 | Load: ... ? ... : ... | positive strictlyPositive |
627+
| test.c:387:5:387:38 | Store: ... = ... | positive |
628+
| test.c:387:10:387:38 | Convert: (unsigned int)... | positive |
629+
| test.c:387:10:387:38 | Load: ... ? ... : ... | positive |
630+
| test.c:387:10:387:38 | Phi: ... ? ... : ... | positive |
631+
| test.c:387:10:387:38 | Store: ... ? ... : ... | positive |
618632
| test.c:387:10:387:38 | Store: ... ? ... : ... | positive strictlyPositive |
619633
| test.c:387:11:387:32 | Convert: (unsigned char)... | positive |
620634
| test.c:387:27:387:27 | Load: x | positive strictlyPositive |
621635
| test.c:387:27:387:31 | Sub: ... - ... | positive |
622636
| test.c:387:29:387:31 | Constant: (unsigned int)... | positive strictlyPositive |
623637
| test.c:387:38:387:38 | Constant: 5 | positive strictlyPositive |
624-
| test.c:389:3:389:32 | Phi: return ... | positive strictlyPositive |
625-
| test.c:389:3:389:32 | Phi: return ... | positive strictlyPositive |
626-
| test.c:389:3:389:32 | Phi: return ... | positive strictlyPositive |
638+
| test.c:389:3:389:32 | Phi: return ... | positive |
639+
| test.c:389:3:389:32 | Phi: return ... | positive |
640+
| test.c:389:3:389:32 | Phi: return ... | positive |
627641
| test.c:389:10:389:11 | Load: y1 | positive strictlyPositive |
628642
| test.c:389:10:389:16 | Add: ... + ... | positive strictlyPositive |
629643
| test.c:389:10:389:21 | Add: ... + ... | positive strictlyPositive |
630644
| test.c:389:10:389:26 | Add: ... + ... | positive strictlyPositive |
631645
| test.c:389:10:389:31 | Add: ... + ... | positive strictlyPositive |
632646
| test.c:389:10:389:31 | Store: ... + ... | positive strictlyPositive |
633647
| test.c:389:15:389:16 | Load: y2 | positive strictlyPositive |
634-
| test.c:389:20:389:21 | Load: y3 | positive strictlyPositive |
635-
| test.c:389:25:389:26 | Load: y4 | positive strictlyPositive |
636-
| test.c:389:30:389:31 | Load: y5 | positive strictlyPositive |
648+
| test.c:389:20:389:21 | Load: y3 | positive |
649+
| test.c:389:25:389:26 | Load: y4 | positive |
650+
| test.c:389:30:389:31 | Load: y5 | positive |
637651
| test.c:393:40:393:40 | InitializeParameter: x | positive |
638652
| test.c:394:20:394:20 | Load: x | positive |
639653
| test.c:394:20:394:36 | Load: ... ? ... : ... | positive |

0 commit comments

Comments
 (0)