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

C++: Extend nested ternary test with two more terms in the addition

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-01-13 13:46:44 +01:00
parent dcdc43933b
commit e9f2a8b017
5 changed files with 454 additions and 408 deletions
Download Patch File Download Diff File Expand all files Collapse all files

412
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/lowerBound.expected
View File

@@ -462,208 +462,220 @@
| test.c:403:22:403:22 | o | -Infinity |
| test.c:403:26:403:26 | p | -Infinity |
| test.c:403:30:403:30 | q | -Infinity |
| test.c:409:19:409:19 | a | 0.143339 |
| test.c:409:23:409:23 | b | 0.222479 |
| test.c:409:27:409:27 | c | 0.051213 |
| test.c:409:31:409:31 | d | 0.369769 |
| test.c:409:35:409:35 | e | 0.105977 |
| test.c:409:39:409:39 | f | 0.107867 |
| test.c:409:43:409:43 | g | 0.025243 |
| test.c:409:47:409:47 | h | 0.149635 |
| test.c:409:51:409:51 | i | 0.053282 |
| test.c:409:55:409:55 | j | 0.276432 |
| test.c:411:10:411:15 | output | 1.505235 |
| test.c:416:20:416:20 | x | 0 |
| test.c:416:30:416:30 | x | 0 |
| test.c:419:3:419:4 | y1 | 0 |
| test.c:419:11:419:11 | y | 0 |
| test.c:419:14:419:14 | y | 1 |
| test.c:420:3:420:4 | y2 | 0 |
| test.c:420:9:420:9 | y | 1 |
| test.c:420:14:420:14 | y | 2 |
| test.c:420:22:420:22 | y | 5 |
| test.c:421:10:421:11 | y1 | 1 |
| test.c:421:15:421:16 | y2 | 5 |
| test.c:429:3:429:3 | i | -2147483648 |
| test.c:430:7:430:7 | i | 10 |
| test.c:432:3:432:3 | i | -2147483648 |
| test.c:433:3:433:3 | i | 10 |
| test.c:434:7:434:7 | i | 20 |
| test.c:436:3:436:3 | i | -2147483648 |
| test.c:437:3:437:3 | i | 40 |
| test.c:438:7:438:7 | i | 30 |
| test.c:440:3:440:3 | i | -2147483648 |
| test.c:440:7:440:7 | j | -2147483648 |
| test.c:441:7:441:7 | i | 40 |
| test.c:443:3:443:3 | i | -2147483648 |
| test.c:443:8:443:8 | j | 40 |
| test.c:444:7:444:7 | i | 50 |
| test.c:446:3:446:3 | i | -2147483648 |
| test.c:446:13:446:13 | j | 50 |
| test.c:447:7:447:7 | i | 60 |
| test.c:454:12:454:12 | a | 0 |
| test.c:454:17:454:17 | a | 3 |
| test.c:454:33:454:33 | b | 0 |
| test.c:454:38:454:38 | b | 5 |
| test.c:455:13:455:13 | a | 3 |
| test.c:455:15:455:15 | b | 5 |
| test.c:456:5:456:9 | total | 0 |
| test.c:456:14:456:14 | r | 15 |
| test.c:458:12:458:12 | a | 0 |
| test.c:458:17:458:17 | a | 3 |
| test.c:458:33:458:33 | b | 0 |
| test.c:458:38:458:38 | b | 0 |
| test.c:459:13:459:13 | a | 3 |
| test.c:459:15:459:15 | b | 0 |
| test.c:460:5:460:9 | total | 0 |
| test.c:460:14:460:14 | r | 0 |
| test.c:462:12:462:12 | a | 0 |
| test.c:462:17:462:17 | a | 3 |
| test.c:462:34:462:34 | b | 0 |
| test.c:462:39:462:39 | b | 13 |
| test.c:463:13:463:13 | a | 3 |
| test.c:463:15:463:15 | b | 13 |
| test.c:464:5:464:9 | total | 0 |
| test.c:464:14:464:14 | r | 39 |
| test.c:467:10:467:14 | total | 0 |
| test.c:473:12:473:12 | b | 0 |
| test.c:473:17:473:17 | b | 5 |
| test.c:474:16:474:16 | b | 5 |
| test.c:475:5:475:9 | total | 0 |
| test.c:475:14:475:14 | r | 55 |
| test.c:477:12:477:12 | b | 0 |
| test.c:477:17:477:17 | b | 0 |
| test.c:478:16:478:16 | b | 0 |
| test.c:479:5:479:9 | total | 0 |
| test.c:479:14:479:14 | r | 0 |
| test.c:481:13:481:13 | b | 0 |
| test.c:481:18:481:18 | b | 13 |
| test.c:482:16:482:16 | b | 13 |
| test.c:483:5:483:9 | total | 0 |
| test.c:483:14:483:14 | r | 143 |
| test.c:486:10:486:14 | total | 0 |
| test.c:491:3:491:3 | x | 0 |
| test.c:491:7:491:7 | y | 0 |
| test.c:492:3:492:4 | xy | 0 |
| test.c:492:8:492:8 | x | 1000000003 |
| test.c:492:12:492:12 | y | 1000000003 |
| test.c:493:10:493:11 | xy | 1000000006000000000 |
| test.c:498:3:498:3 | x | 0 |
| test.c:499:3:499:3 | y | 0 |
| test.c:500:3:500:4 | xy | 0 |
| test.c:500:8:500:8 | x | 274177 |
| test.c:500:12:500:12 | y | 67280421310721 |
| test.c:501:10:501:11 | xy | 18446744073709551616 |
| test.c:505:7:505:8 | ui | 0 |
| test.c:506:43:506:44 | ui | 10 |
| test.c:506:48:506:49 | ui | 10 |
| test.c:507:12:507:17 | result | 100 |
| test.c:509:7:509:8 | ul | 0 |
| test.c:510:28:510:29 | ul | 10 |
| test.c:510:33:510:34 | ul | 10 |
| test.c:511:12:511:17 | result | 0 |
| test.c:517:7:517:8 | ui | 0 |
| test.c:517:19:517:20 | ui | 0 |
| test.c:518:5:518:6 | ui | 2 |
| test.c:518:11:518:12 | ui | 2 |
| test.c:519:12:519:13 | ui | 4 |
| test.c:523:3:523:9 | uiconst | 10 |
| test.c:526:3:526:9 | ulconst | 10 |
| test.c:527:10:527:16 | uiconst | 40 |
| test.c:527:20:527:26 | ulconst | 40 |
| test.c:531:7:531:7 | i | -2147483648 |
| test.c:531:18:531:18 | i | -1 |
| test.c:532:5:532:5 | i | -2147483648 |
| test.c:532:13:532:13 | i | -1 |
| test.c:533:9:533:9 | i | -5 |
| test.c:535:5:535:5 | i | -2147483648 |
| test.c:404:14:404:14 | m | -Infinity |
| test.c:404:18:404:18 | n | -Infinity |
| test.c:404:22:404:22 | o | -Infinity |
| test.c:404:26:404:26 | p | -Infinity |
| test.c:404:30:404:30 | q | -Infinity |
| test.c:405:14:405:14 | m | -Infinity |
| test.c:405:18:405:18 | n | -Infinity |
| test.c:405:22:405:22 | o | -Infinity |
| test.c:405:26:405:26 | p | -Infinity |
| test.c:405:30:405:30 | q | -Infinity |
| test.c:411:19:411:19 | a | 0.143339 |
| test.c:411:23:411:23 | b | 0.222479 |
| test.c:411:27:411:27 | c | 0.051213 |
| test.c:411:31:411:31 | d | 0.369769 |
| test.c:411:35:411:35 | e | 0.105977 |
| test.c:411:39:411:39 | f | 0.107867 |
| test.c:411:43:411:43 | g | 0.025243 |
| test.c:411:47:411:47 | h | 0.149635 |
| test.c:411:51:411:51 | i | 0.053282 |
| test.c:411:55:411:55 | j | 0.276432 |
| test.c:411:59:411:59 | k | 0.205191 |
| test.c:411:63:411:63 | l | 0.132041 |
| test.c:413:10:413:15 | output | 1.842468 |
| test.c:418:20:418:20 | x | 0 |
| test.c:418:30:418:30 | x | 0 |
| test.c:421:3:421:4 | y1 | 0 |
| test.c:421:11:421:11 | y | 0 |
| test.c:421:14:421:14 | y | 1 |
| test.c:422:3:422:4 | y2 | 0 |
| test.c:422:9:422:9 | y | 1 |
| test.c:422:14:422:14 | y | 2 |
| test.c:422:22:422:22 | y | 5 |
| test.c:423:10:423:11 | y1 | 1 |
| test.c:423:15:423:16 | y2 | 5 |
| test.c:431:3:431:3 | i | -2147483648 |
| test.c:432:7:432:7 | i | 10 |
| test.c:434:3:434:3 | i | -2147483648 |
| test.c:435:3:435:3 | i | 10 |
| test.c:436:7:436:7 | i | 20 |
| test.c:438:3:438:3 | i | -2147483648 |
| test.c:439:3:439:3 | i | 40 |
| test.c:440:7:440:7 | i | 30 |
| test.c:442:3:442:3 | i | -2147483648 |
| test.c:442:7:442:7 | j | -2147483648 |
| test.c:443:7:443:7 | i | 40 |
| test.c:445:3:445:3 | i | -2147483648 |
| test.c:445:8:445:8 | j | 40 |
| test.c:446:7:446:7 | i | 50 |
| test.c:448:3:448:3 | i | -2147483648 |
| test.c:448:13:448:13 | j | 50 |
| test.c:449:7:449:7 | i | 60 |
| test.c:456:12:456:12 | a | 0 |
| test.c:456:17:456:17 | a | 3 |
| test.c:456:33:456:33 | b | 0 |
| test.c:456:38:456:38 | b | 5 |
| test.c:457:13:457:13 | a | 3 |
| test.c:457:15:457:15 | b | 5 |
| test.c:458:5:458:9 | total | 0 |
| test.c:458:14:458:14 | r | 15 |
| test.c:460:12:460:12 | a | 0 |
| test.c:460:17:460:17 | a | 3 |
| test.c:460:33:460:33 | b | 0 |
| test.c:460:38:460:38 | b | 0 |
| test.c:461:13:461:13 | a | 3 |
| test.c:461:15:461:15 | b | 0 |
| test.c:462:5:462:9 | total | 0 |
| test.c:462:14:462:14 | r | 0 |
| test.c:464:12:464:12 | a | 0 |
| test.c:464:17:464:17 | a | 3 |
| test.c:464:34:464:34 | b | 0 |
| test.c:464:39:464:39 | b | 13 |
| test.c:465:13:465:13 | a | 3 |
| test.c:465:15:465:15 | b | 13 |
| test.c:466:5:466:9 | total | 0 |
| test.c:466:14:466:14 | r | 39 |
| test.c:469:10:469:14 | total | 0 |
| test.c:475:12:475:12 | b | 0 |
| test.c:475:17:475:17 | b | 5 |
| test.c:476:16:476:16 | b | 5 |
| test.c:477:5:477:9 | total | 0 |
| test.c:477:14:477:14 | r | 55 |
| test.c:479:12:479:12 | b | 0 |
| test.c:479:17:479:17 | b | 0 |
| test.c:480:16:480:16 | b | 0 |
| test.c:481:5:481:9 | total | 0 |
| test.c:481:14:481:14 | r | 0 |
| test.c:483:13:483:13 | b | 0 |
| test.c:483:18:483:18 | b | 13 |
| test.c:484:16:484:16 | b | 13 |
| test.c:485:5:485:9 | total | 0 |
| test.c:485:14:485:14 | r | 143 |
| test.c:488:10:488:14 | total | 0 |
| test.c:493:3:493:3 | x | 0 |
| test.c:493:7:493:7 | y | 0 |
| test.c:494:3:494:4 | xy | 0 |
| test.c:494:8:494:8 | x | 1000000003 |
| test.c:494:12:494:12 | y | 1000000003 |
| test.c:495:10:495:11 | xy | 1000000006000000000 |
| test.c:500:3:500:3 | x | 0 |
| test.c:501:3:501:3 | y | 0 |
| test.c:502:3:502:4 | xy | 0 |
| test.c:502:8:502:8 | x | 274177 |
| test.c:502:12:502:12 | y | 67280421310721 |
| test.c:503:10:503:11 | xy | 18446744073709551616 |
| test.c:507:7:507:8 | ui | 0 |
| test.c:508:43:508:44 | ui | 10 |
| test.c:508:48:508:49 | ui | 10 |
| test.c:509:12:509:17 | result | 100 |
| test.c:511:7:511:8 | ul | 0 |
| test.c:512:28:512:29 | ul | 10 |
| test.c:512:33:512:34 | ul | 10 |
| test.c:513:12:513:17 | result | 0 |
| test.c:519:7:519:8 | ui | 0 |
| test.c:519:19:519:20 | ui | 0 |
| test.c:520:5:520:6 | ui | 2 |
| test.c:520:11:520:12 | ui | 2 |
| test.c:521:12:521:13 | ui | 4 |
| test.c:525:3:525:9 | uiconst | 10 |
| test.c:528:3:528:9 | ulconst | 10 |
| test.c:529:10:529:16 | uiconst | 40 |
| test.c:529:20:529:26 | ulconst | 40 |
| test.c:533:7:533:7 | i | -2147483648 |
| test.c:533:18:533:18 | i | -1 |
| test.c:534:5:534:5 | i | -2147483648 |
| test.c:534:13:534:13 | i | -1 |
| test.c:535:9:535:9 | i | -5 |
| test.c:536:9:536:9 | i | -30 |
| test.c:538:5:538:5 | i | -30 |
| test.c:539:9:539:9 | i | -210 |
| test.c:541:5:541:5 | i | -210 |
| test.c:542:9:542:9 | i | -1155 |
| test.c:544:7:544:7 | i | -2147483648 |
| test.c:545:5:545:5 | i | -2147483648 |
| test.c:545:9:545:9 | i | -1 |
| test.c:546:9:546:9 | i | 1 |
| test.c:548:3:548:3 | i | -2147483648 |
| test.c:548:7:548:7 | i | -2147483648 |
| test.c:549:10:549:10 | i | -2147483648 |
| test.c:552:3:552:3 | i | -2147483648 |
| test.c:552:10:552:11 | sc | 1 |
| test.c:554:7:554:7 | i | -128 |
| test.c:561:7:561:7 | n | 0 |
| test.c:537:5:537:5 | i | -2147483648 |
| test.c:537:9:537:9 | i | -5 |
| test.c:538:9:538:9 | i | -30 |
| test.c:540:5:540:5 | i | -30 |
| test.c:541:9:541:9 | i | -210 |
| test.c:543:5:543:5 | i | -210 |
| test.c:544:9:544:9 | i | -1155 |
| test.c:546:7:546:7 | i | -2147483648 |
| test.c:547:5:547:5 | i | -2147483648 |
| test.c:547:9:547:9 | i | -1 |
| test.c:548:9:548:9 | i | 1 |
| test.c:550:3:550:3 | i | -2147483648 |
| test.c:550:7:550:7 | i | -2147483648 |
| test.c:551:10:551:10 | i | -2147483648 |
| test.c:554:3:554:3 | i | -2147483648 |
| test.c:554:10:554:11 | sc | 1 |
| test.c:556:7:556:7 | i | -128 |
| test.c:563:7:563:7 | n | 0 |
| test.c:564:9:564:9 | n | 1 |
| test.c:567:7:567:7 | n | 0 |
| test.c:568:9:568:9 | n | 1 |
| test.c:570:9:570:9 | n | 0 |
| test.c:573:8:573:8 | n | 0 |
| test.c:574:9:574:9 | n | 0 |
| test.c:576:9:576:9 | n | 1 |
| test.c:579:10:579:10 | n | 0 |
| test.c:580:5:580:5 | n | 1 |
| test.c:583:7:583:7 | n | 0 |
| test.c:587:7:587:7 | n | -32768 |
| test.c:590:7:590:7 | n | 0 |
| test.c:591:9:591:9 | n | 0 |
| test.c:593:9:593:9 | n | 1 |
| test.c:596:7:596:7 | n | 0 |
| test.c:597:9:597:9 | n | 1 |
| test.c:599:9:599:9 | n | 0 |
| test.c:602:10:602:10 | n | 0 |
| test.c:603:5:603:5 | n | 1 |
| test.c:606:7:606:7 | n | 0 |
| test.c:610:7:610:7 | n | -32768 |
| test.c:611:9:611:9 | n | -32768 |
| test.c:612:11:612:11 | n | 0 |
| test.c:616:7:616:7 | n | -32768 |
| test.c:617:13:617:13 | n | 5 |
| test.c:620:9:620:9 | n | 6 |
| test.c:623:7:623:7 | n | -32768 |
| test.c:623:22:623:22 | n | -32767 |
| test.c:624:9:624:9 | n | -32766 |
| test.c:627:7:627:7 | n | -32768 |
| test.c:628:5:628:5 | n | 0 |
| test.c:628:10:628:10 | n | 1 |
| test.c:628:14:628:14 | n | 0 |
| test.c:629:6:629:6 | n | 0 |
| test.c:629:10:629:10 | n | 0 |
| test.c:629:14:629:14 | n | 1 |
| test.c:640:7:640:8 | ss | -32768 |
| test.c:641:9:641:10 | ss | 0 |
| test.c:644:7:644:8 | ss | -32768 |
| test.c:645:9:645:10 | ss | -32768 |
| test.c:648:14:648:15 | us | 0 |
| test.c:649:9:649:10 | us | 0 |
| test.c:652:14:652:15 | us | 0 |
| test.c:653:9:653:10 | us | 0 |
| test.c:656:7:656:8 | ss | -32768 |
| test.c:657:9:657:10 | ss | -32768 |
| test.c:660:7:660:8 | ss | -32768 |
| test.c:661:9:661:10 | ss | -1 |
| test.c:667:8:667:8 | s | -2147483648 |
| test.c:667:15:667:15 | s | 0 |
| test.c:667:23:667:23 | s | 0 |
| test.c:668:18:668:18 | s | 0 |
| test.c:668:22:668:22 | s | 0 |
| test.c:669:9:669:14 | result | 0 |
| test.c:675:7:675:7 | i | 0 |
| test.c:676:9:676:9 | i | -2147483648 |
| test.c:680:7:680:7 | u | 0 |
| test.c:681:9:681:9 | u | 0 |
| test.c:686:12:686:12 | s | -2147483648 |
| test.c:687:7:687:8 | s2 | -4 |
| test.c:692:7:692:7 | x | -2147483648 |
| test.c:693:9:693:9 | y | -2147483648 |
| test.c:697:7:697:7 | y | -2147483648 |
| test.c:706:7:706:7 | x | -2147483648 |
| test.c:711:7:711:7 | x | -2147483648 |
| test.c:718:8:718:8 | x | 2147483647 |
| test.c:718:12:718:12 | y | 256 |
| test.c:719:9:719:9 | x | 2147483647 |
| test.c:720:9:720:9 | y | 256 |
| test.c:565:7:565:7 | n | 0 |
| test.c:566:9:566:9 | n | 1 |
| test.c:569:7:569:7 | n | 0 |
| test.c:570:9:570:9 | n | 1 |
| test.c:572:9:572:9 | n | 0 |
| test.c:575:8:575:8 | n | 0 |
| test.c:576:9:576:9 | n | 0 |
| test.c:578:9:578:9 | n | 1 |
| test.c:581:10:581:10 | n | 0 |
| test.c:582:5:582:5 | n | 1 |
| test.c:585:7:585:7 | n | 0 |
| test.c:589:7:589:7 | n | -32768 |
| test.c:592:7:592:7 | n | 0 |
| test.c:593:9:593:9 | n | 0 |
| test.c:595:9:595:9 | n | 1 |
| test.c:598:7:598:7 | n | 0 |
| test.c:599:9:599:9 | n | 1 |
| test.c:601:9:601:9 | n | 0 |
| test.c:604:10:604:10 | n | 0 |
| test.c:605:5:605:5 | n | 1 |
| test.c:608:7:608:7 | n | 0 |
| test.c:612:7:612:7 | n | -32768 |
| test.c:613:9:613:9 | n | -32768 |
| test.c:614:11:614:11 | n | 0 |
| test.c:618:7:618:7 | n | -32768 |
| test.c:619:13:619:13 | n | 5 |
| test.c:622:9:622:9 | n | 6 |
| test.c:625:7:625:7 | n | -32768 |
| test.c:625:22:625:22 | n | -32767 |
| test.c:626:9:626:9 | n | -32766 |
| test.c:629:7:629:7 | n | -32768 |
| test.c:630:5:630:5 | n | 0 |
| test.c:630:10:630:10 | n | 1 |
| test.c:630:14:630:14 | n | 0 |
| test.c:631:6:631:6 | n | 0 |
| test.c:631:10:631:10 | n | 0 |
| test.c:631:14:631:14 | n | 1 |
| test.c:642:7:642:8 | ss | -32768 |
| test.c:643:9:643:10 | ss | 0 |
| test.c:646:7:646:8 | ss | -32768 |
| test.c:647:9:647:10 | ss | -32768 |
| test.c:650:14:650:15 | us | 0 |
| test.c:651:9:651:10 | us | 0 |
| test.c:654:14:654:15 | us | 0 |
| test.c:655:9:655:10 | us | 0 |
| test.c:658:7:658:8 | ss | -32768 |
| test.c:659:9:659:10 | ss | -32768 |
| test.c:662:7:662:8 | ss | -32768 |
| test.c:663:9:663:10 | ss | -1 |
| test.c:669:8:669:8 | s | -2147483648 |
| test.c:669:15:669:15 | s | 0 |
| test.c:669:23:669:23 | s | 0 |
| test.c:670:18:670:18 | s | 0 |
| test.c:670:22:670:22 | s | 0 |
| test.c:671:9:671:14 | result | 0 |
| test.c:677:7:677:7 | i | 0 |
| test.c:678:9:678:9 | i | -2147483648 |
| test.c:682:7:682:7 | u | 0 |
| test.c:683:9:683:9 | u | 0 |
| test.c:688:12:688:12 | s | -2147483648 |
| test.c:689:7:689:8 | s2 | -4 |
| test.c:694:7:694:7 | x | -2147483648 |
| test.c:695:9:695:9 | y | -2147483648 |
| test.c:699:7:699:7 | y | -2147483648 |
| test.c:708:7:708:7 | x | -2147483648 |
| test.c:713:7:713:7 | x | -2147483648 |
| test.c:720:8:720:8 | x | 2147483647 |
| test.c:720:12:720:12 | y | 256 |
| test.c:721:9:721:9 | x | 2147483647 |
| test.c:722:9:722:9 | y | 256 |
| test.cpp:10:7:10:7 | b | -2147483648 |
| test.cpp:11:5:11:5 | x | -2147483648 |
| test.cpp:13:10:13:10 | x | -2147483648 |

16
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/ternaryLower.expected
View File

@@ -62,8 +62,18 @@
| test.c:403:22:403:82 | ... ? ... : ... | 0.27643238 | 0.27643238 | 0.55679274 |
| test.c:403:26:403:69 | ... ? ... : ... | 0.27643238 | 0.41736536 | 0.27643238 |
| test.c:403:30:403:56 | ... ? ... : ... | 0.41736536 | 0.41736536 | 0.76826628 |
| test.c:416:20:416:36 | ... ? ... : ... | 0.0 | 0.0 | 100.0 |
| test.c:628:5:628:14 | ... ? ... : ... | 0.0 | 1.0 | 0.0 |
| test.c:629:5:629:14 | ... ? ... : ... | 0.0 | 0.0 | 1.0 |
| test.c:404:14:404:108 | ... ? ... : ... | 0.2051911 | 0.2051911 | 0.81372798 |
| test.c:404:18:404:95 | ... ? ... : ... | 0.2051911 | 0.2051911 | 0.88745559 |
| test.c:404:22:404:82 | ... ? ... : ... | 0.2051911 | 0.29904824 | 0.2051911 |
| test.c:404:26:404:69 | ... ? ... : ... | 0.29904824 | 0.29904824 | 0.76242583 |
| test.c:404:30:404:56 | ... ? ... : ... | 0.29904824 | 0.88955345 | 0.29904824 |
| test.c:405:14:405:108 | ... ? ... : ... | 0.13204114 | 0.13204114 | 0.42762647 |
| test.c:405:18:405:95 | ... ? ... : ... | 0.13204114 | 0.13204114 | 0.52031241 |
| test.c:405:22:405:82 | ... ? ... : ... | 0.13204114 | 0.42186276 | 0.13204114 |
| test.c:405:26:405:69 | ... ? ... : ... | 0.42186276 | 0.42186276 | 0.44996679 |
| test.c:405:30:405:56 | ... ? ... : ... | 0.42186276 | 0.42186276 | 0.53843358 |
| test.c:418:20:418:36 | ... ? ... : ... | 0.0 | 0.0 | 100.0 |
| test.c:630:5:630:14 | ... ? ... : ... | 0.0 | 1.0 | 0.0 |
| test.c:631:5:631:14 | ... ? ... : ... | 0.0 | 0.0 | 1.0 |
| test.cpp:121:3:121:12 | ... ? ... : ... | 0.0 | 1.0 | 0.0 |
| test.cpp:122:3:122:12 | ... ? ... : ... | 0.0 | 0.0 | 1.0 |

16
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/ternaryUpper.expected
View File

@@ -62,8 +62,18 @@
| test.c:403:22:403:82 | ... ? ... : ... | 0.76826628 | 0.76826628 | 0.55679274 |
| test.c:403:26:403:69 | ... ? ... : ... | 0.76826628 | 0.76826628 | 0.27643238 |
| test.c:403:30:403:56 | ... ? ... : ... | 0.76826628 | 0.41736536 | 0.76826628 |
| test.c:416:20:416:36 | ... ? ... : ... | 100.0 | 99.0 | 100.0 |
| test.c:628:5:628:14 | ... ? ... : ... | 32767.0 | 32767.0 | 0.0 |
| test.c:629:5:629:14 | ... ? ... : ... | 32767.0 | 0.0 | 32767.0 |
| test.c:404:14:404:108 | ... ? ... : ... | 0.88955345 | 0.88955345 | 0.81372798 |
| test.c:404:18:404:95 | ... ? ... : ... | 0.88955345 | 0.88955345 | 0.88745559 |
| test.c:404:22:404:82 | ... ? ... : ... | 0.88955345 | 0.88955345 | 0.2051911 |
| test.c:404:26:404:69 | ... ? ... : ... | 0.88955345 | 0.88955345 | 0.76242583 |
| test.c:404:30:404:56 | ... ? ... : ... | 0.88955345 | 0.88955345 | 0.29904824 |
| test.c:405:14:405:108 | ... ? ... : ... | 0.53843358 | 0.53843358 | 0.42762647 |
| test.c:405:18:405:95 | ... ? ... : ... | 0.53843358 | 0.53843358 | 0.52031241 |
| test.c:405:22:405:82 | ... ? ... : ... | 0.53843358 | 0.53843358 | 0.13204114 |
| test.c:405:26:405:69 | ... ? ... : ... | 0.53843358 | 0.53843358 | 0.44996679 |
| test.c:405:30:405:56 | ... ? ... : ... | 0.53843358 | 0.42186276 | 0.53843358 |
| test.c:418:20:418:36 | ... ? ... : ... | 100.0 | 99.0 | 100.0 |
| test.c:630:5:630:14 | ... ? ... : ... | 32767.0 | 32767.0 | 0.0 |
| test.c:631:5:631:14 | ... ? ... : ... | 32767.0 | 0.0 | 32767.0 |
| test.cpp:121:3:121:12 | ... ? ... : ... | 32767.0 | 32767.0 | 0.0 |
| test.cpp:122:3:122:12 | ... ? ... : ... | 32767.0 | 0.0 | 32767.0 |

6
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c
View File

@@ -401,12 +401,14 @@ double test_ternary_nested_of_literals(double m, double n, double o, double p, d
double h = m ? n ? o ? p ? q ? 0.38708626 : 0.32876044 : 0.14963485 : 0.45041108 : 0.48640909 : 0.84331272;
double i = m ? n ? o ? p ? q ? 0.15755063 : 0.77086833 : 0.26428481 : 0.14800508 : 0.37428143 : 0.05328182;
double j = m ? n ? o ? p ? q ? 0.41736536 : 0.76826628 : 0.27643238 : 0.55679274 : 0.39468857 : 0.69072144;
double k = m ? n ? o ? p ? q ? 0.88955345 : 0.29904824 : 0.76242583 : 0.20519110 : 0.88745559 : 0.81372798;
double l = m ? n ? o ? p ? q ? 0.42186276 : 0.53843358 : 0.44996679 : 0.13204114 : 0.52031241 : 0.42762647;
// Since the abstract interpretation of `+` produces a product of the bounds
// of the input operands, `output` will have k^10 bounds, where `k` is the
// of the input operands, `output` will have k^12 bounds, where `k` is the
// number of bounds that each of the variables above have. This blows up
// unless `k` is 1.
double output = a + b + c + d + e + f + g + h + i + j;
double output = a + b + c + d + e + f + g + h + i + j + k + l;
return output;
}

412
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/upperBound.expected
View File

@@ -462,208 +462,220 @@
| test.c:403:22:403:22 | o | Infinity |
| test.c:403:26:403:26 | p | Infinity |
| test.c:403:30:403:30 | q | Infinity |
| test.c:409:19:409:19 | a | 0.474388 |
| test.c:409:23:409:23 | b | 0.592705 |
| test.c:409:27:409:27 | c | 0.793107 |
| test.c:409:31:409:31 | d | 0.989973 |
| test.c:409:35:409:35 | e | 0.903899 |
| test.c:409:39:409:39 | f | 0.761641 |
| test.c:409:43:409:43 | g | 0.958231 |
| test.c:409:47:409:47 | h | 0.843313 |
| test.c:409:51:409:51 | i | 0.770868 |
| test.c:409:55:409:55 | j | 0.768266 |
| test.c:411:10:411:15 | output | 7.856391 |
| test.c:416:20:416:20 | x | 4294967295 |
| test.c:416:30:416:30 | x | 99 |
| test.c:419:3:419:4 | y1 | 4294967295 |
| test.c:419:11:419:11 | y | 100 |
| test.c:419:14:419:14 | y | 101 |
| test.c:420:3:420:4 | y2 | 4294967295 |
| test.c:420:9:420:9 | y | 101 |
| test.c:420:14:420:14 | y | 102 |
| test.c:420:22:420:22 | y | 105 |
| test.c:421:10:421:11 | y1 | 101 |
| test.c:421:15:421:16 | y2 | 105 |
| test.c:429:3:429:3 | i | 2147483647 |
| test.c:430:7:430:7 | i | 10 |
| test.c:432:3:432:3 | i | 2147483647 |
| test.c:433:3:433:3 | i | 10 |
| test.c:434:7:434:7 | i | 20 |
| test.c:436:3:436:3 | i | 2147483647 |
| test.c:437:3:437:3 | i | 40 |
| test.c:438:7:438:7 | i | 30 |
| test.c:440:3:440:3 | i | 2147483647 |
| test.c:440:7:440:7 | j | 2147483647 |
| test.c:441:7:441:7 | i | 40 |
| test.c:443:3:443:3 | i | 2147483647 |
| test.c:443:8:443:8 | j | 40 |
| test.c:444:7:444:7 | i | 50 |
| test.c:446:3:446:3 | i | 2147483647 |
| test.c:446:13:446:13 | j | 50 |
| test.c:447:7:447:7 | i | 60 |
| test.c:454:12:454:12 | a | 4294967295 |
| test.c:454:17:454:17 | a | 4294967295 |
| test.c:454:33:454:33 | b | 4294967295 |
| test.c:454:38:454:38 | b | 4294967295 |
| test.c:455:13:455:13 | a | 11 |
| test.c:455:15:455:15 | b | 23 |
| test.c:456:5:456:9 | total | 0 |
| test.c:456:14:456:14 | r | 253 |
| test.c:458:12:458:12 | a | 4294967295 |
| test.c:458:17:458:17 | a | 4294967295 |
| test.c:458:33:458:33 | b | 4294967295 |
| test.c:458:38:458:38 | b | 4294967295 |
| test.c:459:13:459:13 | a | 11 |
| test.c:459:15:459:15 | b | 23 |
| test.c:460:5:460:9 | total | 253 |
| test.c:460:14:460:14 | r | 253 |
| test.c:462:12:462:12 | a | 4294967295 |
| test.c:462:17:462:17 | a | 4294967295 |
| test.c:462:34:462:34 | b | 4294967295 |
| test.c:462:39:462:39 | b | 4294967295 |
| test.c:463:13:463:13 | a | 11 |
| test.c:463:15:463:15 | b | 23 |
| test.c:464:5:464:9 | total | 506 |
| test.c:464:14:464:14 | r | 253 |
| test.c:467:10:467:14 | total | 759 |
| test.c:473:12:473:12 | b | 4294967295 |
| test.c:473:17:473:17 | b | 4294967295 |
| test.c:474:16:474:16 | b | 23 |
| test.c:475:5:475:9 | total | 0 |
| test.c:475:14:475:14 | r | 253 |
| test.c:477:12:477:12 | b | 4294967295 |
| test.c:477:17:477:17 | b | 4294967295 |
| test.c:478:16:478:16 | b | 23 |
| test.c:479:5:479:9 | total | 253 |
| test.c:479:14:479:14 | r | 253 |
| test.c:481:13:481:13 | b | 4294967295 |
| test.c:481:18:481:18 | b | 4294967295 |
| test.c:482:16:482:16 | b | 23 |
| test.c:483:5:483:9 | total | 506 |
| test.c:483:14:483:14 | r | 253 |
| test.c:486:10:486:14 | total | 759 |
| test.c:491:3:491:3 | x | 18446744073709551616 |
| test.c:491:7:491:7 | y | 18446744073709551616 |
| test.c:492:3:492:4 | xy | 18446744073709551616 |
| test.c:492:8:492:8 | x | 1000000003 |
| test.c:492:12:492:12 | y | 1000000003 |
| test.c:493:10:493:11 | xy | 1000000006000000000 |
| test.c:498:3:498:3 | x | 18446744073709551616 |
| test.c:499:3:499:3 | y | 18446744073709551616 |
| test.c:500:3:500:4 | xy | 18446744073709551616 |
| test.c:500:8:500:8 | x | 274177 |
| test.c:500:12:500:12 | y | 67280421310721 |
| test.c:501:10:501:11 | xy | 18446744073709551616 |
| test.c:505:7:505:8 | ui | 4294967295 |
| test.c:506:43:506:44 | ui | 4294967295 |
| test.c:506:48:506:49 | ui | 4294967295 |
| test.c:507:12:507:17 | result | 18446744065119617024 |
| test.c:509:7:509:8 | ul | 18446744073709551616 |
| test.c:510:28:510:29 | ul | 18446744073709551616 |
| test.c:510:33:510:34 | ul | 18446744073709551616 |
| test.c:511:12:511:17 | result | 18446744073709551616 |
| test.c:517:7:517:8 | ui | 4294967295 |
| test.c:517:19:517:20 | ui | 10 |
| test.c:518:5:518:6 | ui | 10 |
| test.c:518:11:518:12 | ui | 10 |
| test.c:519:12:519:13 | ui | 100 |
| test.c:523:3:523:9 | uiconst | 10 |
| test.c:526:3:526:9 | ulconst | 10 |
| test.c:527:10:527:16 | uiconst | 40 |
| test.c:527:20:527:26 | ulconst | 40 |
| test.c:531:7:531:7 | i | 2147483647 |
| test.c:531:18:531:18 | i | 2147483647 |
| test.c:532:5:532:5 | i | 2147483647 |
| test.c:532:13:532:13 | i | 2 |
| test.c:533:9:533:9 | i | 10 |
| test.c:535:5:535:5 | i | 2147483647 |
| test.c:404:14:404:14 | m | Infinity |
| test.c:404:18:404:18 | n | Infinity |
| test.c:404:22:404:22 | o | Infinity |
| test.c:404:26:404:26 | p | Infinity |
| test.c:404:30:404:30 | q | Infinity |
| test.c:405:14:405:14 | m | Infinity |
| test.c:405:18:405:18 | n | Infinity |
| test.c:405:22:405:22 | o | Infinity |
| test.c:405:26:405:26 | p | Infinity |
| test.c:405:30:405:30 | q | Infinity |
| test.c:411:19:411:19 | a | 0.474388 |
| test.c:411:23:411:23 | b | 0.592705 |
| test.c:411:27:411:27 | c | 0.793107 |
| test.c:411:31:411:31 | d | 0.989973 |
| test.c:411:35:411:35 | e | 0.903899 |
| test.c:411:39:411:39 | f | 0.761641 |
| test.c:411:43:411:43 | g | 0.958231 |
| test.c:411:47:411:47 | h | 0.843313 |
| test.c:411:51:411:51 | i | 0.770868 |
| test.c:411:55:411:55 | j | 0.768266 |
| test.c:411:59:411:59 | k | 0.889553 |
| test.c:411:63:411:63 | l | 0.538434 |
| test.c:413:10:413:15 | output | 9.284378 |
| test.c:418:20:418:20 | x | 4294967295 |
| test.c:418:30:418:30 | x | 99 |
| test.c:421:3:421:4 | y1 | 4294967295 |
| test.c:421:11:421:11 | y | 100 |
| test.c:421:14:421:14 | y | 101 |
| test.c:422:3:422:4 | y2 | 4294967295 |
| test.c:422:9:422:9 | y | 101 |
| test.c:422:14:422:14 | y | 102 |
| test.c:422:22:422:22 | y | 105 |
| test.c:423:10:423:11 | y1 | 101 |
| test.c:423:15:423:16 | y2 | 105 |
| test.c:431:3:431:3 | i | 2147483647 |
| test.c:432:7:432:7 | i | 10 |
| test.c:434:3:434:3 | i | 2147483647 |
| test.c:435:3:435:3 | i | 10 |
| test.c:436:7:436:7 | i | 20 |
| test.c:438:3:438:3 | i | 2147483647 |
| test.c:439:3:439:3 | i | 40 |
| test.c:440:7:440:7 | i | 30 |
| test.c:442:3:442:3 | i | 2147483647 |
| test.c:442:7:442:7 | j | 2147483647 |
| test.c:443:7:443:7 | i | 40 |
| test.c:445:3:445:3 | i | 2147483647 |
| test.c:445:8:445:8 | j | 40 |
| test.c:446:7:446:7 | i | 50 |
| test.c:448:3:448:3 | i | 2147483647 |
| test.c:448:13:448:13 | j | 50 |
| test.c:449:7:449:7 | i | 60 |
| test.c:456:12:456:12 | a | 4294967295 |
| test.c:456:17:456:17 | a | 4294967295 |
| test.c:456:33:456:33 | b | 4294967295 |
| test.c:456:38:456:38 | b | 4294967295 |
| test.c:457:13:457:13 | a | 11 |
| test.c:457:15:457:15 | b | 23 |
| test.c:458:5:458:9 | total | 0 |
| test.c:458:14:458:14 | r | 253 |
| test.c:460:12:460:12 | a | 4294967295 |
| test.c:460:17:460:17 | a | 4294967295 |
| test.c:460:33:460:33 | b | 4294967295 |
| test.c:460:38:460:38 | b | 4294967295 |
| test.c:461:13:461:13 | a | 11 |
| test.c:461:15:461:15 | b | 23 |
| test.c:462:5:462:9 | total | 253 |
| test.c:462:14:462:14 | r | 253 |
| test.c:464:12:464:12 | a | 4294967295 |
| test.c:464:17:464:17 | a | 4294967295 |
| test.c:464:34:464:34 | b | 4294967295 |
| test.c:464:39:464:39 | b | 4294967295 |
| test.c:465:13:465:13 | a | 11 |
| test.c:465:15:465:15 | b | 23 |
| test.c:466:5:466:9 | total | 506 |
| test.c:466:14:466:14 | r | 253 |
| test.c:469:10:469:14 | total | 759 |
| test.c:475:12:475:12 | b | 4294967295 |
| test.c:475:17:475:17 | b | 4294967295 |
| test.c:476:16:476:16 | b | 23 |
| test.c:477:5:477:9 | total | 0 |
| test.c:477:14:477:14 | r | 253 |
| test.c:479:12:479:12 | b | 4294967295 |
| test.c:479:17:479:17 | b | 4294967295 |
| test.c:480:16:480:16 | b | 23 |
| test.c:481:5:481:9 | total | 253 |
| test.c:481:14:481:14 | r | 253 |
| test.c:483:13:483:13 | b | 4294967295 |
| test.c:483:18:483:18 | b | 4294967295 |
| test.c:484:16:484:16 | b | 23 |
| test.c:485:5:485:9 | total | 506 |
| test.c:485:14:485:14 | r | 253 |
| test.c:488:10:488:14 | total | 759 |
| test.c:493:3:493:3 | x | 18446744073709551616 |
| test.c:493:7:493:7 | y | 18446744073709551616 |
| test.c:494:3:494:4 | xy | 18446744073709551616 |
| test.c:494:8:494:8 | x | 1000000003 |
| test.c:494:12:494:12 | y | 1000000003 |
| test.c:495:10:495:11 | xy | 1000000006000000000 |
| test.c:500:3:500:3 | x | 18446744073709551616 |
| test.c:501:3:501:3 | y | 18446744073709551616 |
| test.c:502:3:502:4 | xy | 18446744073709551616 |
| test.c:502:8:502:8 | x | 274177 |
| test.c:502:12:502:12 | y | 67280421310721 |
| test.c:503:10:503:11 | xy | 18446744073709551616 |
| test.c:507:7:507:8 | ui | 4294967295 |
| test.c:508:43:508:44 | ui | 4294967295 |
| test.c:508:48:508:49 | ui | 4294967295 |
| test.c:509:12:509:17 | result | 18446744065119617024 |
| test.c:511:7:511:8 | ul | 18446744073709551616 |
| test.c:512:28:512:29 | ul | 18446744073709551616 |
| test.c:512:33:512:34 | ul | 18446744073709551616 |
| test.c:513:12:513:17 | result | 18446744073709551616 |
| test.c:519:7:519:8 | ui | 4294967295 |
| test.c:519:19:519:20 | ui | 10 |
| test.c:520:5:520:6 | ui | 10 |
| test.c:520:11:520:12 | ui | 10 |
| test.c:521:12:521:13 | ui | 100 |
| test.c:525:3:525:9 | uiconst | 10 |
| test.c:528:3:528:9 | ulconst | 10 |
| test.c:529:10:529:16 | uiconst | 40 |
| test.c:529:20:529:26 | ulconst | 40 |
| test.c:533:7:533:7 | i | 2147483647 |
| test.c:533:18:533:18 | i | 2147483647 |
| test.c:534:5:534:5 | i | 2147483647 |
| test.c:534:13:534:13 | i | 2 |
| test.c:535:9:535:9 | i | 10 |
| test.c:536:9:536:9 | i | 15 |
| test.c:538:5:538:5 | i | 15 |
| test.c:539:9:539:9 | i | 105 |
| test.c:541:5:541:5 | i | 105 |
| test.c:542:9:542:9 | i | 2310 |
| test.c:544:7:544:7 | i | 2147483647 |
| test.c:545:5:545:5 | i | 2147483647 |
| test.c:545:9:545:9 | i | -1 |
| test.c:546:9:546:9 | i | 1 |
| test.c:548:3:548:3 | i | 2147483647 |
| test.c:548:7:548:7 | i | 2147483647 |
| test.c:549:10:549:10 | i | 2147483647 |
| test.c:552:3:552:3 | i | 2147483647 |
| test.c:552:10:552:11 | sc | 1 |
| test.c:554:7:554:7 | i | 127 |
| test.c:561:7:561:7 | n | 4294967295 |
| test.c:537:5:537:5 | i | 2147483647 |
| test.c:537:9:537:9 | i | 10 |
| test.c:538:9:538:9 | i | 15 |
| test.c:540:5:540:5 | i | 15 |
| test.c:541:9:541:9 | i | 105 |
| test.c:543:5:543:5 | i | 105 |
| test.c:544:9:544:9 | i | 2310 |
| test.c:546:7:546:7 | i | 2147483647 |
| test.c:547:5:547:5 | i | 2147483647 |
| test.c:547:9:547:9 | i | -1 |
| test.c:548:9:548:9 | i | 1 |
| test.c:550:3:550:3 | i | 2147483647 |
| test.c:550:7:550:7 | i | 2147483647 |
| test.c:551:10:551:10 | i | 2147483647 |
| test.c:554:3:554:3 | i | 2147483647 |
| test.c:554:10:554:11 | sc | 1 |
| test.c:556:7:556:7 | i | 127 |
| test.c:563:7:563:7 | n | 4294967295 |
| test.c:564:9:564:9 | n | 4294967295 |
| test.c:567:7:567:7 | n | 4294967295 |
| test.c:568:9:568:9 | n | 4294967295 |
| test.c:570:9:570:9 | n | 0 |
| test.c:573:8:573:8 | n | 4294967295 |
| test.c:574:9:574:9 | n | 0 |
| test.c:576:9:576:9 | n | 4294967295 |
| test.c:579:10:579:10 | n | 4294967295 |
| test.c:580:5:580:5 | n | 4294967295 |
| test.c:583:7:583:7 | n | 0 |
| test.c:587:7:587:7 | n | 32767 |
| test.c:590:7:590:7 | n | 32767 |
| test.c:591:9:591:9 | n | 0 |
| test.c:593:9:593:9 | n | 32767 |
| test.c:596:7:596:7 | n | 32767 |
| test.c:597:9:597:9 | n | 32767 |
| test.c:599:9:599:9 | n | 0 |
| test.c:602:10:602:10 | n | 32767 |
| test.c:603:5:603:5 | n | 32767 |
| test.c:606:7:606:7 | n | 0 |
| test.c:610:7:610:7 | n | 32767 |
| test.c:611:9:611:9 | n | 32767 |
| test.c:612:11:612:11 | n | 32767 |
| test.c:616:7:616:7 | n | 32767 |
| test.c:617:13:617:13 | n | 32767 |
| test.c:620:9:620:9 | n | 32767 |
| test.c:623:7:623:7 | n | 32767 |
| test.c:623:22:623:22 | n | 32767 |
| test.c:624:9:624:9 | n | 32767 |
| test.c:627:7:627:7 | n | 32767 |
| test.c:628:5:628:5 | n | 32767 |
| test.c:628:10:628:10 | n | 32767 |
| test.c:628:14:628:14 | n | 0 |
| test.c:629:6:629:6 | n | 32767 |
| test.c:629:10:629:10 | n | 0 |
| test.c:629:14:629:14 | n | 32767 |
| test.c:640:7:640:8 | ss | 32767 |
| test.c:641:9:641:10 | ss | 3 |
| test.c:644:7:644:8 | ss | 32767 |
| test.c:645:9:645:10 | ss | 32767 |
| test.c:648:14:648:15 | us | 65535 |
| test.c:649:9:649:10 | us | 32767 |
| test.c:652:14:652:15 | us | 65535 |
| test.c:653:9:653:10 | us | 65535 |
| test.c:656:7:656:8 | ss | 32767 |
| test.c:657:9:657:10 | ss | 32767 |
| test.c:660:7:660:8 | ss | 32767 |
| test.c:661:9:661:10 | ss | 2 |
| test.c:667:8:667:8 | s | 2147483647 |
| test.c:667:15:667:15 | s | 127 |
| test.c:667:23:667:23 | s | 9 |
| test.c:668:18:668:18 | s | 9 |
| test.c:668:22:668:22 | s | 9 |
| test.c:669:9:669:14 | result | 127 |
| test.c:675:7:675:7 | i | 0 |
| test.c:676:9:676:9 | i | 2147483647 |
| test.c:680:7:680:7 | u | 0 |
| test.c:681:9:681:9 | u | 4294967295 |
| test.c:686:12:686:12 | s | 2147483647 |
| test.c:687:7:687:8 | s2 | 4 |
| test.c:692:7:692:7 | x | 2147483647 |
| test.c:693:9:693:9 | y | 2147483647 |
| test.c:697:7:697:7 | y | 2147483647 |
| test.c:706:7:706:7 | x | 2147483647 |
| test.c:711:7:711:7 | x | 15 |
| test.c:718:8:718:8 | x | 2147483647 |
| test.c:718:12:718:12 | y | 256 |
| test.c:719:9:719:9 | x | 2147483647 |
| test.c:720:9:720:9 | y | 256 |
| test.c:565:7:565:7 | n | 4294967295 |
| test.c:566:9:566:9 | n | 4294967295 |
| test.c:569:7:569:7 | n | 4294967295 |
| test.c:570:9:570:9 | n | 4294967295 |
| test.c:572:9:572:9 | n | 0 |
| test.c:575:8:575:8 | n | 4294967295 |
| test.c:576:9:576:9 | n | 0 |
| test.c:578:9:578:9 | n | 4294967295 |
| test.c:581:10:581:10 | n | 4294967295 |
| test.c:582:5:582:5 | n | 4294967295 |
| test.c:585:7:585:7 | n | 0 |
| test.c:589:7:589:7 | n | 32767 |
| test.c:592:7:592:7 | n | 32767 |
| test.c:593:9:593:9 | n | 0 |
| test.c:595:9:595:9 | n | 32767 |
| test.c:598:7:598:7 | n | 32767 |
| test.c:599:9:599:9 | n | 32767 |
| test.c:601:9:601:9 | n | 0 |
| test.c:604:10:604:10 | n | 32767 |
| test.c:605:5:605:5 | n | 32767 |
| test.c:608:7:608:7 | n | 0 |
| test.c:612:7:612:7 | n | 32767 |
| test.c:613:9:613:9 | n | 32767 |
| test.c:614:11:614:11 | n | 32767 |
| test.c:618:7:618:7 | n | 32767 |
| test.c:619:13:619:13 | n | 32767 |
| test.c:622:9:622:9 | n | 32767 |
| test.c:625:7:625:7 | n | 32767 |
| test.c:625:22:625:22 | n | 32767 |
| test.c:626:9:626:9 | n | 32767 |
| test.c:629:7:629:7 | n | 32767 |
| test.c:630:5:630:5 | n | 32767 |
| test.c:630:10:630:10 | n | 32767 |
| test.c:630:14:630:14 | n | 0 |
| test.c:631:6:631:6 | n | 32767 |
| test.c:631:10:631:10 | n | 0 |
| test.c:631:14:631:14 | n | 32767 |
| test.c:642:7:642:8 | ss | 32767 |
| test.c:643:9:643:10 | ss | 3 |
| test.c:646:7:646:8 | ss | 32767 |
| test.c:647:9:647:10 | ss | 32767 |
| test.c:650:14:650:15 | us | 65535 |
| test.c:651:9:651:10 | us | 32767 |
| test.c:654:14:654:15 | us | 65535 |
| test.c:655:9:655:10 | us | 65535 |
| test.c:658:7:658:8 | ss | 32767 |
| test.c:659:9:659:10 | ss | 32767 |
| test.c:662:7:662:8 | ss | 32767 |
| test.c:663:9:663:10 | ss | 2 |
| test.c:669:8:669:8 | s | 2147483647 |
| test.c:669:15:669:15 | s | 127 |
| test.c:669:23:669:23 | s | 9 |
| test.c:670:18:670:18 | s | 9 |
| test.c:670:22:670:22 | s | 9 |
| test.c:671:9:671:14 | result | 127 |
| test.c:677:7:677:7 | i | 0 |
| test.c:678:9:678:9 | i | 2147483647 |
| test.c:682:7:682:7 | u | 0 |
| test.c:683:9:683:9 | u | 4294967295 |
| test.c:688:12:688:12 | s | 2147483647 |
| test.c:689:7:689:8 | s2 | 4 |
| test.c:694:7:694:7 | x | 2147483647 |
| test.c:695:9:695:9 | y | 2147483647 |
| test.c:699:7:699:7 | y | 2147483647 |
| test.c:708:7:708:7 | x | 2147483647 |
| test.c:713:7:713:7 | x | 15 |
| test.c:720:8:720:8 | x | 2147483647 |
| test.c:720:12:720:12 | y | 256 |
| test.c:721:9:721:9 | x | 2147483647 |
| test.c:722:9:722:9 | y | 256 |
| test.cpp:10:7:10:7 | b | 2147483647 |
| test.cpp:11:5:11:5 | x | 2147483647 |
| test.cpp:13:10:13:10 | x | 2147483647 |