Skip to content

Commit b5897e5

Browse files
MathiasVPMathiasVP
committed
C++: Accept sign analysis changes.
1 parent 2d9036e commit b5897e5

File tree

1 file changed

+42
-42
lines changed

1 file changed

+42
-42
lines changed

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

Lines changed: 42 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -497,18 +497,18 @@
497497
| test.c:358:24:358:24 | Load: x | positive |
498498
| test.c:365:7:365:7 | Load: x | positive |
499499
| test.c:365:11:365:13 | Constant: (unsigned int)... | positive strictlyPositive |
500-
| test.c:366:5:366:15 | Store: ... = ... | positive |
500+
| test.c:366:5:366:15 | Store: ... = ... | positive strictlyPositive |
501501
| test.c:366:10:366:10 | Load: x | positive |
502-
| test.c:366:10:366:15 | Load: ... ? ... : ... | positive |
503-
| test.c:366:10:366:15 | Phi: ... ? ... : ... | positive |
504-
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive |
502+
| test.c:366:10:366:15 | Load: ... ? ... : ... | positive strictlyPositive |
503+
| test.c:366:10:366:15 | Phi: ... ? ... : ... | positive strictlyPositive |
504+
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive strictlyPositive |
505505
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive strictlyPositive |
506506
| test.c:366:15:366:15 | Constant: (unsigned int)... | positive strictlyPositive |
507-
| test.c:367:5:367:17 | Store: ... = ... | positive |
507+
| test.c:367:5:367:17 | Store: ... = ... | positive strictlyPositive |
508508
| test.c:367:10:367:10 | Load: x | positive |
509-
| test.c:367:10:367:17 | Load: ... ? ... : ... | positive |
510-
| test.c:367:10:367:17 | Phi: ... ? ... : ... | positive |
511-
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive |
509+
| test.c:367:10:367:17 | Load: ... ? ... : ... | positive strictlyPositive |
510+
| test.c:367:10:367:17 | Phi: ... ? ... : ... | positive strictlyPositive |
511+
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive strictlyPositive |
512512
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive strictlyPositive |
513513
| test.c:367:15:367:17 | Constant: (unsigned int)... | positive strictlyPositive |
514514
| test.c:368:5:368:21 | Store: ... = ... | positive strictlyPositive |
@@ -520,33 +520,33 @@
520520
| test.c:368:11:368:13 | Add: ... + ... | positive strictlyPositive |
521521
| test.c:368:13:368:13 | Constant: (unsigned int)... | positive strictlyPositive |
522522
| test.c:368:19:368:21 | Constant: (unsigned int)... | positive strictlyPositive |
523-
| test.c:369:5:369:36 | Store: ... = ... | positive |
524-
| test.c:369:10:369:36 | Convert: (unsigned int)... | positive |
525-
| test.c:369:10:369:36 | Load: ... ? ... : ... | positive |
526-
| test.c:369:10:369:36 | Phi: ... ? ... : ... | positive |
527-
| test.c:369:10:369:36 | Store: ... ? ... : ... | positive |
523+
| test.c:369:5:369:36 | Store: ... = ... | positive strictlyPositive |
524+
| test.c:369:10:369:36 | Convert: (unsigned int)... | positive strictlyPositive |
525+
| test.c:369:10:369:36 | Load: ... ? ... : ... | positive strictlyPositive |
526+
| test.c:369:10:369:36 | Phi: ... ? ... : ... | positive strictlyPositive |
527+
| test.c:369:10:369:36 | Store: ... ? ... : ... | positive strictlyPositive |
528528
| test.c:369:10:369:36 | Store: ... ? ... : ... | positive strictlyPositive |
529529
| test.c:369:11:369:30 | Convert: (unsigned char)... | positive |
530530
| test.c:369:27:369:27 | Load: x | positive |
531531
| test.c:369:27:369:29 | Add: ... + ... | positive strictlyPositive |
532532
| test.c:369:29:369:29 | Constant: (unsigned int)... | positive strictlyPositive |
533533
| test.c:369:36:369:36 | Constant: 5 | positive strictlyPositive |
534-
| test.c:370:5:370:38 | Store: ... = ... | positive |
535-
| test.c:370:10:370:38 | Convert: (unsigned int)... | positive |
536-
| test.c:370:10:370:38 | Load: ... ? ... : ... | positive |
537-
| test.c:370:10:370:38 | Phi: ... ? ... : ... | positive |
538-
| test.c:370:10:370:38 | Store: ... ? ... : ... | positive |
534+
| test.c:370:5:370:38 | Store: ... = ... | positive strictlyPositive |
535+
| test.c:370:10:370:38 | Convert: (unsigned int)... | positive strictlyPositive |
536+
| test.c:370:10:370:38 | Load: ... ? ... : ... | positive strictlyPositive |
537+
| test.c:370:10:370:38 | Phi: ... ? ... : ... | positive strictlyPositive |
538+
| test.c:370:10:370:38 | Store: ... ? ... : ... | positive strictlyPositive |
539539
| test.c:370:10:370:38 | Store: ... ? ... : ... | positive strictlyPositive |
540540
| test.c:370:11:370:30 | Convert: (unsigned char)... | positive |
541541
| test.c:370:27:370:27 | Load: x | positive |
542542
| test.c:370:27:370:29 | Add: ... + ... | positive strictlyPositive |
543543
| test.c:370:29:370:29 | Constant: (unsigned int)... | positive strictlyPositive |
544544
| test.c:370:36:370:38 | Constant: 500 | positive strictlyPositive |
545-
| test.c:371:5:371:39 | Store: ... = ... | positive |
546-
| test.c:371:10:371:39 | Convert: (unsigned int)... | positive |
547-
| test.c:371:10:371:39 | Load: ... ? ... : ... | positive |
548-
| test.c:371:10:371:39 | Phi: ... ? ... : ... | positive |
549-
| test.c:371:10:371:39 | Store: ... ? ... : ... | positive |
545+
| test.c:371:5:371:39 | Store: ... = ... | positive strictlyPositive |
546+
| test.c:371:10:371:39 | Convert: (unsigned int)... | positive strictlyPositive |
547+
| test.c:371:10:371:39 | Load: ... ? ... : ... | positive strictlyPositive |
548+
| test.c:371:10:371:39 | Phi: ... ? ... : ... | positive strictlyPositive |
549+
| test.c:371:10:371:39 | Store: ... ? ... : ... | positive strictlyPositive |
550550
| test.c:371:10:371:39 | Store: ... ? ... : ... | positive strictlyPositive |
551551
| test.c:371:11:371:31 | Convert: (unsigned short)... | positive |
552552
| test.c:371:28:371:28 | Load: x | positive |
@@ -607,48 +607,48 @@
607607
| test.c:383:8:383:11 | Constant: (unsigned int)... | positive strictlyPositive |
608608
| test.c:384:7:384:7 | Load: x | positive |
609609
| test.c:384:12:384:14 | Constant: (unsigned int)... | positive strictlyPositive |
610-
| test.c:385:5:385:21 | Store: ... = ... | positive |
611-
| test.c:385:10:385:21 | Load: ... ? ... : ... | positive |
612-
| test.c:385:10:385:21 | Phi: ... ? ... : ... | positive |
613-
| test.c:385:10:385:21 | Store: ... ? ... : ... | positive |
610+
| test.c:385:5:385:21 | Store: ... = ... | positive strictlyPositive |
611+
| test.c:385:10:385:21 | Load: ... ? ... : ... | positive strictlyPositive |
612+
| test.c:385:10:385:21 | Phi: ... ? ... : ... | positive strictlyPositive |
613+
| test.c:385:10:385:21 | Store: ... ? ... : ... | positive strictlyPositive |
614614
| test.c:385:10:385:21 | Store: ... ? ... : ... | positive strictlyPositive |
615615
| test.c:385:11:385:11 | Load: x | positive strictlyPositive |
616616
| test.c:385:11:385:15 | Sub: ... - ... | positive |
617617
| test.c:385:13:385:15 | Constant: (unsigned int)... | positive strictlyPositive |
618618
| test.c:385:21:385:21 | Constant: (unsigned int)... | positive strictlyPositive |
619-
| test.c:386:5:386:21 | Store: ... = ... | positive |
620-
| test.c:386:10:386:21 | Load: ... ? ... : ... | positive |
621-
| test.c:386:10:386:21 | Phi: ... ? ... : ... | positive |
622-
| test.c:386:10:386:21 | Store: ... ? ... : ... | positive |
619+
| test.c:386:5:386:21 | Store: ... = ... | positive strictlyPositive |
620+
| test.c:386:10:386:21 | Load: ... ? ... : ... | positive strictlyPositive |
621+
| test.c:386:10:386:21 | Phi: ... ? ... : ... | positive strictlyPositive |
622+
| test.c:386:10:386:21 | Store: ... ? ... : ... | positive strictlyPositive |
623623
| test.c:386:10:386:21 | Store: ... ? ... : ... | positive strictlyPositive |
624624
| test.c:386:11:386:11 | Load: x | positive strictlyPositive |
625625
| test.c:386:11:386:15 | Sub: ... - ... | positive |
626626
| test.c:386:13:386:15 | Constant: (unsigned int)... | positive strictlyPositive |
627627
| test.c:386:21:386:21 | Constant: (unsigned int)... | positive strictlyPositive |
628-
| test.c:387:5:387:38 | Store: ... = ... | positive |
629-
| test.c:387:10:387:38 | Convert: (unsigned int)... | positive |
630-
| test.c:387:10:387:38 | Load: ... ? ... : ... | positive |
631-
| test.c:387:10:387:38 | Phi: ... ? ... : ... | positive |
632-
| test.c:387:10:387:38 | Store: ... ? ... : ... | positive |
628+
| test.c:387:5:387:38 | Store: ... = ... | positive strictlyPositive |
629+
| test.c:387:10:387:38 | Convert: (unsigned int)... | positive strictlyPositive |
630+
| test.c:387:10:387:38 | Load: ... ? ... : ... | positive strictlyPositive |
631+
| test.c:387:10:387:38 | Phi: ... ? ... : ... | positive strictlyPositive |
632+
| test.c:387:10:387:38 | Store: ... ? ... : ... | positive strictlyPositive |
633633
| test.c:387:10:387:38 | Store: ... ? ... : ... | positive strictlyPositive |
634634
| test.c:387:11:387:32 | Convert: (unsigned char)... | positive |
635635
| test.c:387:27:387:27 | Load: x | positive strictlyPositive |
636636
| test.c:387:27:387:31 | Sub: ... - ... | positive |
637637
| test.c:387:29:387:31 | Constant: (unsigned int)... | positive strictlyPositive |
638638
| test.c:387:38:387:38 | Constant: 5 | positive strictlyPositive |
639-
| test.c:389:3:389:32 | Phi: return ... | positive |
640-
| test.c:389:3:389:32 | Phi: return ... | positive |
641-
| test.c:389:3:389:32 | Phi: return ... | positive |
639+
| test.c:389:3:389:32 | Phi: return ... | positive strictlyPositive |
640+
| test.c:389:3:389:32 | Phi: return ... | positive strictlyPositive |
641+
| test.c:389:3:389:32 | Phi: return ... | positive strictlyPositive |
642642
| test.c:389:10:389:11 | Load: y1 | positive strictlyPositive |
643643
| test.c:389:10:389:16 | Add: ... + ... | positive strictlyPositive |
644644
| test.c:389:10:389:21 | Add: ... + ... | positive strictlyPositive |
645645
| test.c:389:10:389:26 | Add: ... + ... | positive strictlyPositive |
646646
| test.c:389:10:389:31 | Add: ... + ... | positive strictlyPositive |
647647
| test.c:389:10:389:31 | Store: ... + ... | positive strictlyPositive |
648648
| test.c:389:15:389:16 | Load: y2 | positive strictlyPositive |
649-
| test.c:389:20:389:21 | Load: y3 | positive |
650-
| test.c:389:25:389:26 | Load: y4 | positive |
651-
| test.c:389:30:389:31 | Load: y5 | positive |
649+
| test.c:389:20:389:21 | Load: y3 | positive strictlyPositive |
650+
| test.c:389:25:389:26 | Load: y4 | positive strictlyPositive |
651+
| test.c:389:30:389:31 | Load: y5 | positive strictlyPositive |
652652
| test.c:393:40:393:40 | InitializeParameter: x | positive |
653653
| test.c:394:20:394:20 | Load: x | positive |
654654
| test.c:394:20:394:36 | Load: ... ? ... : ... | positive |

0 commit comments

Comments
 (0)