hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add test for nested ternary expressions of literals

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-01-13 11:01:27 +01:00
parent 14cfac506e
commit 847f3f1fc2
5 changed files with 631 additions and 387 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -412,197 +412,258 @@
| test.c:389:20:389:21 | y3 | 0 |
| test.c:389:25:389:26 | y4 | 100 |
| test.c:389:30:389:31 | y5 | 0 |
| test.c:394:20:394:20 | x | 0 |
| test.c:394:30:394:30 | x | 0 |
| test.c:397:3:397:4 | y1 | 0 |
| test.c:397:11:397:11 | y | 0 |
| test.c:397:14:397:14 | y | 1 |
| test.c:398:3:398:4 | y2 | 0 |
| test.c:398:9:398:9 | y | 1 |
| test.c:398:14:398:14 | y | 2 |
| test.c:398:22:398:22 | y | 5 |
| test.c:399:10:399:11 | y1 | 1 |
| test.c:399:15:399:16 | y2 | 5 |
| test.c:407:3:407:3 | i | -2147483648 |
| test.c:408:7:408:7 | i | 10 |
| test.c:410:3:410:3 | i | -2147483648 |
| test.c:411:3:411:3 | i | 10 |
| test.c:412:7:412:7 | i | 20 |
| test.c:414:3:414:3 | i | -2147483648 |
| test.c:415:3:415:3 | i | 40 |
| test.c:416:7:416:7 | i | 30 |
| test.c:418:3:418:3 | i | -2147483648 |
| test.c:418:7:418:7 | j | -2147483648 |
| test.c:419:7:419:7 | i | 40 |
| test.c:421:3:421:3 | i | -2147483648 |
| test.c:421:8:421:8 | j | 40 |
| test.c:422:7:422:7 | i | 50 |
| test.c:424:3:424:3 | i | -2147483648 |
| test.c:424:13:424:13 | j | 50 |
| test.c:425:7:425:7 | i | 60 |
| test.c:432:12:432:12 | a | 0 |
| test.c:432:17:432:17 | a | 3 |
| test.c:432:33:432:33 | b | 0 |
| test.c:432:38:432:38 | b | 5 |
| test.c:433:13:433:13 | a | 3 |
| test.c:433:15:433:15 | b | 5 |
| test.c:434:5:434:9 | total | 0 |
| test.c:434:14:434:14 | r | 15 |
| test.c:436:12:436:12 | a | 0 |
| test.c:436:17:436:17 | a | 3 |
| test.c:436:33:436:33 | b | 0 |
| test.c:436:38:436:38 | b | 0 |
| test.c:437:13:437:13 | a | 3 |
| test.c:437:15:437:15 | b | 0 |
| test.c:438:5:438:9 | total | 0 |
| test.c:438:14:438:14 | r | 0 |
| test.c:440:12:440:12 | a | 0 |
| test.c:440:17:440:17 | a | 3 |
| test.c:440:34:440:34 | b | 0 |
| test.c:440:39:440:39 | b | 13 |
| test.c:441:13:441:13 | a | 3 |
| test.c:441:15:441:15 | b | 13 |
| test.c:442:5:442:9 | total | 0 |
| test.c:442:14:442:14 | r | 39 |
| test.c:445:10:445:14 | total | 0 |
| test.c:451:12:451:12 | b | 0 |
| test.c:451:17:451:17 | b | 5 |
| test.c:452:16:452:16 | b | 5 |
| test.c:453:5:453:9 | total | 0 |
| test.c:453:14:453:14 | r | 55 |
| test.c:455:12:455:12 | b | 0 |
| test.c:455:17:455:17 | b | 0 |
| test.c:456:16:456:16 | b | 0 |
| test.c:457:5:457:9 | total | 0 |
| test.c:457:14:457:14 | r | 0 |
| test.c:459:13:459:13 | b | 0 |
| test.c:459:18:459:18 | b | 13 |
| test.c:460:16:460:16 | b | 13 |
| test.c:461:5:461:9 | total | 0 |
| test.c:461:14:461:14 | r | 143 |
| test.c:464:10:464:14 | total | 0 |
| test.c:469:3:469:3 | x | 0 |
| test.c:469:7:469:7 | y | 0 |
| test.c:470:3:470:4 | xy | 0 |
| test.c:470:8:470:8 | x | 1000000003 |
| test.c:470:12:470:12 | y | 1000000003 |
| test.c:471:10:471:11 | xy | 1000000006000000000 |
| test.c:476:3:476:3 | x | 0 |
| test.c:477:3:477:3 | y | 0 |
| test.c:478:3:478:4 | xy | 0 |
| test.c:478:8:478:8 | x | 274177 |
| test.c:478:12:478:12 | y | 67280421310721 |
| test.c:479:10:479:11 | xy | 18446744073709551616 |
| test.c:483:7:483:8 | ui | 0 |
| test.c:484:43:484:44 | ui | 10 |
| test.c:484:48:484:49 | ui | 10 |
| test.c:485:12:485:17 | result | 100 |
| test.c:487:7:487:8 | ul | 0 |
| test.c:488:28:488:29 | ul | 10 |
| test.c:488:33:488:34 | ul | 10 |
| test.c:489:12:489:17 | result | 0 |
| test.c:495:7:495:8 | ui | 0 |
| test.c:495:19:495:20 | ui | 0 |
| test.c:496:5:496:6 | ui | 2 |
| test.c:496:11:496:12 | ui | 2 |
| test.c:497:12:497:13 | ui | 4 |
| test.c:501:3:501:9 | uiconst | 10 |
| test.c:504:3:504:9 | ulconst | 10 |
| test.c:505:10:505:16 | uiconst | 40 |
| test.c:505:20:505:26 | ulconst | 40 |
| test.c:509:7:509:7 | i | -2147483648 |
| test.c:509:18:509:18 | i | -1 |
| test.c:510:5:510:5 | i | -2147483648 |
| test.c:510:13:510:13 | i | -1 |
| test.c:511:9:511:9 | i | -5 |
| test.c:513:5:513:5 | i | -2147483648 |
| test.c:513:9:513:9 | i | -5 |
| test.c:514:9:514:9 | i | -30 |
| test.c:516:5:516:5 | i | -30 |
| test.c:517:9:517:9 | i | -210 |
| test.c:519:5:519:5 | i | -210 |
| test.c:520:9:520:9 | i | -1155 |
| test.c:522:7:522:7 | i | -2147483648 |
| test.c:523:5:523:5 | i | -2147483648 |
| test.c:523:9:523:9 | i | -1 |
| test.c:524:9:524:9 | i | 1 |
| test.c:526:3:526:3 | i | -2147483648 |
| test.c:526:7:526:7 | i | -2147483648 |
| test.c:527:10:527:10 | i | -2147483648 |
| test.c:530:3:530:3 | i | -2147483648 |
| test.c:530:10:530:11 | sc | 1 |
| test.c:532:7:532:7 | i | -128 |
| test.c:539:7:539:7 | n | 0 |
| test.c:541:7:541:7 | n | 0 |
| test.c:542:9:542:9 | n | 1 |
| test.c:545:7:545:7 | n | 0 |
| test.c:546:9:546:9 | n | 1 |
| test.c:548:9:548:9 | n | 0 |
| test.c:551:8:551:8 | n | 0 |
| test.c:552:9:552:9 | n | 0 |
| test.c:554:9:554:9 | n | 1 |
| test.c:557:10:557:10 | n | 0 |
| test.c:558:5:558:5 | n | 1 |
| test.c:394:14:394:14 | m | -Infinity |
| test.c:394:18:394:18 | n | -Infinity |
| test.c:394:22:394:22 | o | -Infinity |
| test.c:394:26:394:26 | p | -Infinity |
| test.c:394:30:394:30 | q | -Infinity |
| test.c:395:14:395:14 | m | -Infinity |
| test.c:395:18:395:18 | n | -Infinity |
| test.c:395:22:395:22 | o | -Infinity |
| test.c:395:26:395:26 | p | -Infinity |
| test.c:395:30:395:30 | q | -Infinity |
| test.c:396:14:396:14 | m | -Infinity |
| test.c:396:18:396:18 | n | -Infinity |
| test.c:396:22:396:22 | o | -Infinity |
| test.c:396:26:396:26 | p | -Infinity |
| test.c:396:30:396:30 | q | -Infinity |
| test.c:397:14:397:14 | m | -Infinity |
| test.c:397:18:397:18 | n | -Infinity |
| test.c:397:22:397:22 | o | -Infinity |
| test.c:397:26:397:26 | p | -Infinity |
| test.c:397:30:397:30 | q | -Infinity |
| test.c:398:14:398:14 | m | -Infinity |
| test.c:398:18:398:18 | n | -Infinity |
| test.c:398:22:398:22 | o | -Infinity |
| test.c:398:26:398:26 | p | -Infinity |
| test.c:398:30:398:30 | q | -Infinity |
| test.c:399:14:399:14 | m | -Infinity |
| test.c:399:18:399:18 | n | -Infinity |
| test.c:399:22:399:22 | o | -Infinity |
| test.c:399:26:399:26 | p | -Infinity |
| test.c:399:30:399:30 | q | -Infinity |
| test.c:400:14:400:14 | m | -Infinity |
| test.c:400:18:400:18 | n | -Infinity |
| test.c:400:22:400:22 | o | -Infinity |
| test.c:400:26:400:26 | p | -Infinity |
| test.c:400:30:400:30 | q | -Infinity |
| test.c:401:14:401:14 | m | -Infinity |
| test.c:401:18:401:18 | n | -Infinity |
| test.c:401:22:401:22 | o | -Infinity |
| test.c:401:26:401:26 | p | -Infinity |
| test.c:401:30:401:30 | q | -Infinity |
| test.c:402:14:402:14 | m | -Infinity |
| test.c:402:18:402:18 | n | -Infinity |
| test.c:402:22:402:22 | o | -Infinity |
| test.c:402:26:402:26 | p | -Infinity |
| test.c:402:30:402:30 | q | -Infinity |
| test.c:403:14:403:14 | m | -Infinity |
| test.c:403:18:403:18 | n | -Infinity |
| 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: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:565:7:565:7 | n | -32768 |
| test.c:568:7:568:7 | n | 0 |
| test.c:569:9:569:9 | n | 0 |
| test.c:571:9:571:9 | n | 1 |
| test.c:574:7:574:7 | n | 0 |
| test.c:575:9:575:9 | n | 1 |
| test.c:577:9:577:9 | n | 0 |
| test.c:580:10:580:10 | n | 0 |
| test.c:581:5:581:5 | n | 1 |
| test.c:584:7:584:7 | n | 0 |
| test.c:588:7:588:7 | n | -32768 |
| test.c:589:9:589:9 | n | -32768 |
| test.c:590:11:590:11 | n | 0 |
| test.c:594:7:594:7 | n | -32768 |
| test.c:595:13:595:13 | n | 5 |
| test.c:598:9:598:9 | n | 6 |
| test.c:601:7:601:7 | n | -32768 |
| test.c:601:22:601:22 | n | -32767 |
| test.c:602:9:602:9 | n | -32766 |
| test.c:605:7:605:7 | n | -32768 |
| test.c:606:5:606:5 | n | 0 |
| test.c:606:10:606:10 | n | 1 |
| test.c:606:14:606:14 | n | 0 |
| test.c:607:6:607:6 | n | 0 |
| test.c:607:10:607:10 | n | 0 |
| test.c:607:14:607:14 | n | 1 |
| test.c:618:7:618:8 | ss | -32768 |
| test.c:619:9:619:10 | ss | 0 |
| test.c:622:7:622:8 | ss | -32768 |
| test.c:623:9:623:10 | ss | -32768 |
| test.c:626:14:626:15 | us | 0 |
| test.c:627:9:627:10 | us | 0 |
| test.c:630:14:630:15 | us | 0 |
| test.c:631:9:631:10 | us | 0 |
| test.c:634:7:634:8 | ss | -32768 |
| test.c:635:9:635:10 | ss | -32768 |
| test.c:638:7:638:8 | ss | -32768 |
| test.c:639:9:639:10 | ss | -1 |
| test.c:645:8:645:8 | s | -2147483648 |
| test.c:645:15:645:15 | s | 0 |
| test.c:645:23:645:23 | s | 0 |
| test.c:646:18:646:18 | s | 0 |
| test.c:646:22:646:22 | s | 0 |
| test.c:647:9:647:14 | result | 0 |
| test.c:653:7:653:7 | i | 0 |
| test.c:654:9:654:9 | i | -2147483648 |
| test.c:658:7:658:7 | u | 0 |
| test.c:659:9:659:9 | u | 0 |
| test.c:664:12:664:12 | s | -2147483648 |
| test.c:665:7:665:8 | s2 | -4 |
| test.c:670:7:670:7 | x | -2147483648 |
| test.c:671:9:671:9 | y | -2147483648 |
| test.c:675:7:675:7 | y | -2147483648 |
| test.c:684:7:684:7 | x | -2147483648 |
| test.c:689:7:689:7 | x | -2147483648 |
| test.c:696:8:696:8 | x | 2147483647 |
| test.c:696:12:696:12 | y | 256 |
| test.c:697:9:697:9 | x | 2147483647 |
| test.c:698:9:698:9 | y | 256 |
| 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.cpp:10:7:10:7 | b | -2147483648 |
| test.cpp:11:5:11:5 | x | -2147483648 |
| test.cpp:13:10:13:10 | x | -2147483648 |

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

@@ -12,8 +12,58 @@
| test.c:385:10:385:21 | ... ? ... : ... | 0.0 | 0.0 | 5.0 |
| test.c:386:10:386:21 | ... ? ... : ... | 100.0 | 100.0 | 5.0 |
| test.c:387:10:387:38 | ... ? ... : ... | 0.0 | 100.0 | 5.0 |
| test.c:394:20:394:36 | ... ? ... : ... | 0.0 | 0.0 | 100.0 |
| test.c:606:5:606:14 | ... ? ... : ... | 0.0 | 1.0 | 0.0 |
| test.c:607:5:607:14 | ... ? ... : ... | 0.0 | 0.0 | 1.0 |
| test.c:394:14:394:108 | ... ? ... : ... | 0.14333887 | 0.14333887 | 0.40496805 |
| test.c:394:18:394:95 | ... ? ... : ... | 0.14333887 | 0.14333887 | 0.21540225 |
| test.c:394:22:394:82 | ... ? ... : ... | 0.14333887 | 0.14333887 | 0.39206458 |
| test.c:394:26:394:69 | ... ? ... : ... | 0.14333887 | 0.14333887 | 0.35279203 |
| test.c:394:30:394:56 | ... ? ... : ... | 0.14333887 | 0.47438827 | 0.14333887 |
| test.c:395:14:395:108 | ... ? ... : ... | 0.22247853 | 0.22247853 | 0.5297741 |
| test.c:395:18:395:95 | ... ? ... : ... | 0.22247853 | 0.22247853 | 0.59270465 |
| test.c:395:22:395:82 | ... ? ... : ... | 0.22247853 | 0.22247853 | 0.32661893 |
| test.c:395:26:395:69 | ... ? ... : ... | 0.22247853 | 0.34183348 | 0.22247853 |
| test.c:395:30:395:56 | ... ? ... : ... | 0.34183348 | 0.34183348 | 0.3533464 |
| test.c:396:14:396:108 | ... ? ... : ... | 0.05121256 | 0.05121256 | 0.67981451 |
| test.c:396:18:396:95 | ... ? ... : ... | 0.05121256 | 0.05121256 | 0.79310745 |
| test.c:396:22:396:82 | ... ? ... : ... | 0.05121256 | 0.31235514 | 0.05121256 |
| test.c:396:26:396:69 | ... ? ... : ... | 0.31235514 | 0.31478084 | 0.31235514 |
| test.c:396:30:396:56 | ... ? ... : ... | 0.31478084 | 0.77429603 | 0.31478084 |
| test.c:397:14:397:108 | ... ? ... : ... | 0.36976948 | 0.36976948 | 0.83866835 |
| test.c:397:18:397:95 | ... ? ... : ... | 0.36976948 | 0.44729556 | 0.36976948 |
| test.c:397:22:397:82 | ... ? ... : ... | 0.44729556 | 0.44729556 | 0.59952732 |
| test.c:397:26:397:69 | ... ? ... : ... | 0.44729556 | 0.44729556 | 0.98997262 |
| test.c:397:30:397:56 | ... ? ... : ... | 0.44729556 | 0.44729556 | 0.80599202 |
| test.c:398:14:398:108 | ... ? ... : ... | 0.10597712 | 0.10597712 | 0.68734874 |
| test.c:398:18:398:95 | ... ? ... : ... | 0.10597712 | 0.10597712 | 0.72485966 |
| test.c:398:22:398:82 | ... ? ... : ... | 0.10597712 | 0.10597712 | 0.21778426 |
| test.c:398:26:398:69 | ... ? ... : ... | 0.10597712 | 0.49311828 | 0.10597712 |
| test.c:398:30:398:56 | ... ? ... : ... | 0.49311828 | 0.49311828 | 0.90389911 |
| test.c:399:14:399:108 | ... ? ... : ... | 0.1078665 | 0.1078665 | 0.58440865 |
| test.c:399:18:399:95 | ... ? ... : ... | 0.1078665 | 0.1078665 | 0.34808892 |
| test.c:399:22:399:82 | ... ? ... : ... | 0.1078665 | 0.1078665 | 0.76164052 |
| test.c:399:26:399:69 | ... ? ... : ... | 0.1078665 | 0.1078665 | 0.11884576 |
| test.c:399:30:399:56 | ... ? ... : ... | 0.1078665 | 0.47452848 | 0.1078665 |
| test.c:400:14:400:108 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.36232384 |
| test.c:400:18:400:95 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.85235179 |
| test.c:400:22:400:82 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.12516558 |
| test.c:400:26:400:69 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.95823075 |
| test.c:400:30:400:56 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.82905046 |
| test.c:401:14:401:108 | ... ? ... : ... | 0.14963485 | 0.14963485 | 0.84331272 |
| test.c:401:18:401:95 | ... ? ... : ... | 0.14963485 | 0.14963485 | 0.48640909 |
| test.c:401:22:401:82 | ... ? ... : ... | 0.14963485 | 0.14963485 | 0.45041108 |
| test.c:401:26:401:69 | ... ? ... : ... | 0.14963485 | 0.32876044 | 0.14963485 |
| test.c:401:30:401:56 | ... ? ... : ... | 0.32876044 | 0.38708626 | 0.32876044 |
| test.c:402:14:402:108 | ... ? ... : ... | 0.05328182 | 0.14800508 | 0.05328182 |
| test.c:402:18:402:95 | ... ? ... : ... | 0.14800508 | 0.14800508 | 0.37428143 |
| test.c:402:22:402:82 | ... ? ... : ... | 0.14800508 | 0.15755063 | 0.14800508 |
| test.c:402:26:402:69 | ... ? ... : ... | 0.15755063 | 0.15755063 | 0.26428481 |
| test.c:402:30:402:56 | ... ? ... : ... | 0.15755063 | 0.15755063 | 0.77086833 |
| test.c:403:14:403:108 | ... ? ... : ... | 0.27643238 | 0.27643238 | 0.69072144 |
| test.c:403:18:403:95 | ... ? ... : ... | 0.27643238 | 0.27643238 | 0.39468857 |
| 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.cpp:121:3:121:12 | ... ? ... : ... | 0.0 | 1.0 | 0.0 |
| test.cpp:122:3:122:12 | ... ? ... : ... | 0.0 | 0.0 | 1.0 |

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

@@ -12,8 +12,58 @@
| test.c:385:10:385:21 | ... ? ... : ... | 4.294967295E9 | 4.294967295E9 | 5.0 |
| test.c:386:10:386:21 | ... ? ... : ... | 4.294967295E9 | 4.294967295E9 | 5.0 |
| test.c:387:10:387:38 | ... ? ... : ... | 255.0 | 4.294967295E9 | 5.0 |
| test.c:394:20:394:36 | ... ? ... : ... | 100.0 | 99.0 | 100.0 |
| test.c:606:5:606:14 | ... ? ... : ... | 32767.0 | 32767.0 | 0.0 |
| test.c:607:5:607:14 | ... ? ... : ... | 32767.0 | 0.0 | 32767.0 |
| test.c:394:14:394:108 | ... ? ... : ... | 0.47438827 | 0.47438827 | 0.40496805 |
| test.c:394:18:394:95 | ... ? ... : ... | 0.47438827 | 0.47438827 | 0.21540225 |
| test.c:394:22:394:82 | ... ? ... : ... | 0.47438827 | 0.47438827 | 0.39206458 |
| test.c:394:26:394:69 | ... ? ... : ... | 0.47438827 | 0.47438827 | 0.35279203 |
| test.c:394:30:394:56 | ... ? ... : ... | 0.47438827 | 0.47438827 | 0.14333887 |
| test.c:395:14:395:108 | ... ? ... : ... | 0.59270465 | 0.59270465 | 0.5297741 |
| test.c:395:18:395:95 | ... ? ... : ... | 0.59270465 | 0.3533464 | 0.59270465 |
| test.c:395:22:395:82 | ... ? ... : ... | 0.3533464 | 0.3533464 | 0.32661893 |
| test.c:395:26:395:69 | ... ? ... : ... | 0.3533464 | 0.3533464 | 0.22247853 |
| test.c:395:30:395:56 | ... ? ... : ... | 0.3533464 | 0.34183348 | 0.3533464 |
| test.c:396:14:396:108 | ... ? ... : ... | 0.79310745 | 0.79310745 | 0.67981451 |
| test.c:396:18:396:95 | ... ? ... : ... | 0.79310745 | 0.77429603 | 0.79310745 |
| test.c:396:22:396:82 | ... ? ... : ... | 0.77429603 | 0.77429603 | 0.05121256 |
| test.c:396:26:396:69 | ... ? ... : ... | 0.77429603 | 0.77429603 | 0.31235514 |
| test.c:396:30:396:56 | ... ? ... : ... | 0.77429603 | 0.77429603 | 0.31478084 |
| test.c:397:14:397:108 | ... ? ... : ... | 0.98997262 | 0.98997262 | 0.83866835 |
| test.c:397:18:397:95 | ... ? ... : ... | 0.98997262 | 0.98997262 | 0.36976948 |
| test.c:397:22:397:82 | ... ? ... : ... | 0.98997262 | 0.98997262 | 0.59952732 |
| test.c:397:26:397:69 | ... ? ... : ... | 0.98997262 | 0.80599202 | 0.98997262 |
| test.c:397:30:397:56 | ... ? ... : ... | 0.80599202 | 0.44729556 | 0.80599202 |
| test.c:398:14:398:108 | ... ? ... : ... | 0.90389911 | 0.90389911 | 0.68734874 |
| test.c:398:18:398:95 | ... ? ... : ... | 0.90389911 | 0.90389911 | 0.72485966 |
| test.c:398:22:398:82 | ... ? ... : ... | 0.90389911 | 0.90389911 | 0.21778426 |
| test.c:398:26:398:69 | ... ? ... : ... | 0.90389911 | 0.90389911 | 0.10597712 |
| test.c:398:30:398:56 | ... ? ... : ... | 0.90389911 | 0.49311828 | 0.90389911 |
| test.c:399:14:399:108 | ... ? ... : ... | 0.76164052 | 0.76164052 | 0.58440865 |
| test.c:399:18:399:95 | ... ? ... : ... | 0.76164052 | 0.76164052 | 0.34808892 |
| test.c:399:22:399:82 | ... ? ... : ... | 0.76164052 | 0.47452848 | 0.76164052 |
| test.c:399:26:399:69 | ... ? ... : ... | 0.47452848 | 0.47452848 | 0.11884576 |
| test.c:399:30:399:56 | ... ? ... : ... | 0.47452848 | 0.47452848 | 0.1078665 |
| test.c:400:14:400:108 | ... ? ... : ... | 0.95823075 | 0.95823075 | 0.36232384 |
| test.c:400:18:400:95 | ... ? ... : ... | 0.95823075 | 0.95823075 | 0.85235179 |
| test.c:400:22:400:82 | ... ? ... : ... | 0.95823075 | 0.95823075 | 0.12516558 |
| test.c:400:26:400:69 | ... ? ... : ... | 0.95823075 | 0.82905046 | 0.95823075 |
| test.c:400:30:400:56 | ... ? ... : ... | 0.82905046 | 0.02524326 | 0.82905046 |
| test.c:401:14:401:108 | ... ? ... : ... | 0.84331272 | 0.48640909 | 0.84331272 |
| test.c:401:18:401:95 | ... ? ... : ... | 0.48640909 | 0.45041108 | 0.48640909 |
| test.c:401:22:401:82 | ... ? ... : ... | 0.45041108 | 0.38708626 | 0.45041108 |
| test.c:401:26:401:69 | ... ? ... : ... | 0.38708626 | 0.38708626 | 0.14963485 |
| test.c:401:30:401:56 | ... ? ... : ... | 0.38708626 | 0.38708626 | 0.32876044 |
| test.c:402:14:402:108 | ... ? ... : ... | 0.77086833 | 0.77086833 | 0.05328182 |
| test.c:402:18:402:95 | ... ? ... : ... | 0.77086833 | 0.77086833 | 0.37428143 |
| test.c:402:22:402:82 | ... ? ... : ... | 0.77086833 | 0.77086833 | 0.14800508 |
| test.c:402:26:402:69 | ... ? ... : ... | 0.77086833 | 0.77086833 | 0.26428481 |
| test.c:402:30:402:56 | ... ? ... : ... | 0.77086833 | 0.15755063 | 0.77086833 |
| test.c:403:14:403:108 | ... ? ... : ... | 0.76826628 | 0.76826628 | 0.69072144 |
| test.c:403:18:403:95 | ... ? ... : ... | 0.76826628 | 0.76826628 | 0.39468857 |
| 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.cpp:121:3:121:12 | ... ? ... : ... | 32767.0 | 32767.0 | 0.0 |
| test.cpp:122:3:122:12 | ... ? ... : ... | 32767.0 | 0.0 | 32767.0 |

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

@@ -389,6 +389,28 @@ unsigned int test_ternary02(unsigned int x) {
return y1 + y2 + y3 + y4 + y5;
}
// Test that nested ternary expressions of literals doesn't cause performance blow up.
double test_ternary_nested_of_literals(double m, double n, double o, double p, double q) {
double a = m ? n ? o ? p ? q ? 0.47438827 : 0.14333887 : 0.35279203 : 0.39206458 : 0.21540225 : 0.40496805;
double b = m ? n ? o ? p ? q ? 0.34183348 : 0.35334640 : 0.22247853 : 0.32661893 : 0.59270465 : 0.52977410;
double c = m ? n ? o ? p ? q ? 0.77429603 : 0.31478084 : 0.31235514 : 0.05121256 : 0.79310745 : 0.67981451;
double d = m ? n ? o ? p ? q ? 0.44729556 : 0.80599202 : 0.98997262 : 0.59952732 : 0.36976948 : 0.83866835;
double e = m ? n ? o ? p ? q ? 0.49311828 : 0.90389911 : 0.10597712 : 0.21778426 : 0.72485966 : 0.68734874;
double f = m ? n ? o ? p ? q ? 0.47452848 : 0.10786650 : 0.11884576 : 0.76164052 : 0.34808892 : 0.58440865;
double g = m ? n ? o ? p ? q ? 0.02524326 : 0.82905046 : 0.95823075 : 0.12516558 : 0.85235179 : 0.36232384;
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;
// 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
// 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;
return output;
}
// Test the comma expression.
unsigned int test_comma01(unsigned int x) {
unsigned int y = x < 100 ? x : 100;

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

@@ -412,197 +412,258 @@
| test.c:389:20:389:21 | y3 | 4294967295 |
| test.c:389:25:389:26 | y4 | 4294967295 |
| test.c:389:30:389:31 | y5 | 1000 |
| test.c:394:20:394:20 | x | 4294967295 |
| test.c:394:30:394:30 | x | 99 |
| test.c:397:3:397:4 | y1 | 4294967295 |
| test.c:397:11:397:11 | y | 100 |
| test.c:397:14:397:14 | y | 101 |
| test.c:398:3:398:4 | y2 | 4294967295 |
| test.c:398:9:398:9 | y | 101 |
| test.c:398:14:398:14 | y | 102 |
| test.c:398:22:398:22 | y | 105 |
| test.c:399:10:399:11 | y1 | 101 |
| test.c:399:15:399:16 | y2 | 105 |
| test.c:407:3:407:3 | i | 2147483647 |
| test.c:408:7:408:7 | i | 10 |
| test.c:410:3:410:3 | i | 2147483647 |
| test.c:411:3:411:3 | i | 10 |
| test.c:412:7:412:7 | i | 20 |
| test.c:414:3:414:3 | i | 2147483647 |
| test.c:415:3:415:3 | i | 40 |
| test.c:416:7:416:7 | i | 30 |
| test.c:418:3:418:3 | i | 2147483647 |
| test.c:418:7:418:7 | j | 2147483647 |
| test.c:419:7:419:7 | i | 40 |
| test.c:421:3:421:3 | i | 2147483647 |
| test.c:421:8:421:8 | j | 40 |
| test.c:422:7:422:7 | i | 50 |
| test.c:424:3:424:3 | i | 2147483647 |
| test.c:424:13:424:13 | j | 50 |
| test.c:425:7:425:7 | i | 60 |
| test.c:432:12:432:12 | a | 4294967295 |
| test.c:432:17:432:17 | a | 4294967295 |
| test.c:432:33:432:33 | b | 4294967295 |
| test.c:432:38:432:38 | b | 4294967295 |
| test.c:433:13:433:13 | a | 11 |
| test.c:433:15:433:15 | b | 23 |
| test.c:434:5:434:9 | total | 0 |
| test.c:434:14:434:14 | r | 253 |
| test.c:436:12:436:12 | a | 4294967295 |
| test.c:436:17:436:17 | a | 4294967295 |
| test.c:436:33:436:33 | b | 4294967295 |
| test.c:436:38:436:38 | b | 4294967295 |
| test.c:437:13:437:13 | a | 11 |
| test.c:437:15:437:15 | b | 23 |
| test.c:438:5:438:9 | total | 253 |
| test.c:438:14:438:14 | r | 253 |
| test.c:440:12:440:12 | a | 4294967295 |
| test.c:440:17:440:17 | a | 4294967295 |
| test.c:440:34:440:34 | b | 4294967295 |
| test.c:440:39:440:39 | b | 4294967295 |
| test.c:441:13:441:13 | a | 11 |
| test.c:441:15:441:15 | b | 23 |
| test.c:442:5:442:9 | total | 506 |
| test.c:442:14:442:14 | r | 253 |
| test.c:445:10:445:14 | total | 759 |
| test.c:451:12:451:12 | b | 4294967295 |
| test.c:451:17:451:17 | b | 4294967295 |
| test.c:452:16:452:16 | b | 23 |
| test.c:453:5:453:9 | total | 0 |
| test.c:453:14:453:14 | r | 253 |
| test.c:455:12:455:12 | b | 4294967295 |
| test.c:455:17:455:17 | b | 4294967295 |
| test.c:456:16:456:16 | b | 23 |
| test.c:457:5:457:9 | total | 253 |
| test.c:457:14:457:14 | r | 253 |
| test.c:459:13:459:13 | b | 4294967295 |
| test.c:459:18:459:18 | b | 4294967295 |
| test.c:460:16:460:16 | b | 23 |
| test.c:461:5:461:9 | total | 506 |
| test.c:461:14:461:14 | r | 253 |
| test.c:464:10:464:14 | total | 759 |
| test.c:469:3:469:3 | x | 18446744073709551616 |
| test.c:469:7:469:7 | y | 18446744073709551616 |
| test.c:470:3:470:4 | xy | 18446744073709551616 |
| test.c:470:8:470:8 | x | 1000000003 |
| test.c:470:12:470:12 | y | 1000000003 |
| test.c:471:10:471:11 | xy | 1000000006000000000 |
| test.c:476:3:476:3 | x | 18446744073709551616 |
| test.c:477:3:477:3 | y | 18446744073709551616 |
| test.c:478:3:478:4 | xy | 18446744073709551616 |
| test.c:478:8:478:8 | x | 274177 |
| test.c:478:12:478:12 | y | 67280421310721 |
| test.c:479:10:479:11 | xy | 18446744073709551616 |
| test.c:483:7:483:8 | ui | 4294967295 |
| test.c:484:43:484:44 | ui | 4294967295 |
| test.c:484:48:484:49 | ui | 4294967295 |
| test.c:485:12:485:17 | result | 18446744065119617024 |
| test.c:487:7:487:8 | ul | 18446744073709551616 |
| test.c:488:28:488:29 | ul | 18446744073709551616 |
| test.c:488:33:488:34 | ul | 18446744073709551616 |
| test.c:489:12:489:17 | result | 18446744073709551616 |
| test.c:495:7:495:8 | ui | 4294967295 |
| test.c:495:19:495:20 | ui | 10 |
| test.c:496:5:496:6 | ui | 10 |
| test.c:496:11:496:12 | ui | 10 |
| test.c:497:12:497:13 | ui | 100 |
| test.c:501:3:501:9 | uiconst | 10 |
| test.c:504:3:504:9 | ulconst | 10 |
| test.c:505:10:505:16 | uiconst | 40 |
| test.c:505:20:505:26 | ulconst | 40 |
| test.c:509:7:509:7 | i | 2147483647 |
| test.c:509:18:509:18 | i | 2147483647 |
| test.c:510:5:510:5 | i | 2147483647 |
| test.c:510:13:510:13 | i | 2 |
| test.c:511:9:511:9 | i | 10 |
| test.c:513:5:513:5 | i | 2147483647 |
| test.c:513:9:513:9 | i | 10 |
| test.c:514:9:514:9 | i | 15 |
| test.c:516:5:516:5 | i | 15 |
| test.c:517:9:517:9 | i | 105 |
| test.c:519:5:519:5 | i | 105 |
| test.c:520:9:520:9 | i | 2310 |
| test.c:522:7:522:7 | i | 2147483647 |
| test.c:523:5:523:5 | i | 2147483647 |
| test.c:523:9:523:9 | i | -1 |
| test.c:524:9:524:9 | i | 1 |
| test.c:526:3:526:3 | i | 2147483647 |
| test.c:526:7:526:7 | i | 2147483647 |
| test.c:527:10:527:10 | i | 2147483647 |
| test.c:530:3:530:3 | i | 2147483647 |
| test.c:530:10:530:11 | sc | 1 |
| test.c:532:7:532:7 | i | 127 |
| test.c:539:7:539:7 | n | 4294967295 |
| test.c:541:7:541:7 | n | 4294967295 |
| test.c:542:9:542:9 | n | 4294967295 |
| test.c:545:7:545:7 | n | 4294967295 |
| test.c:546:9:546:9 | n | 4294967295 |
| test.c:548:9:548:9 | n | 0 |
| test.c:551:8:551:8 | n | 4294967295 |
| test.c:552:9:552:9 | n | 0 |
| test.c:554:9:554:9 | n | 4294967295 |
| test.c:557:10:557:10 | n | 4294967295 |
| test.c:558:5:558:5 | n | 4294967295 |
| test.c:561:7:561:7 | n | 0 |
| test.c:565:7:565:7 | n | 32767 |
| test.c:568:7:568:7 | n | 32767 |
| test.c:569:9:569:9 | n | 0 |
| test.c:571:9:571:9 | n | 32767 |
| test.c:574:7:574:7 | n | 32767 |
| test.c:575:9:575:9 | n | 32767 |
| test.c:577:9:577:9 | n | 0 |
| test.c:580:10:580:10 | n | 32767 |
| test.c:581:5:581:5 | n | 32767 |
| test.c:584:7:584:7 | n | 0 |
| test.c:588:7:588:7 | n | 32767 |
| test.c:589:9:589:9 | n | 32767 |
| test.c:590:11:590:11 | n | 32767 |
| test.c:594:7:594:7 | n | 32767 |
| test.c:595:13:595:13 | n | 32767 |
| test.c:598:9:598:9 | n | 32767 |
| test.c:601:7:601:7 | n | 32767 |
| test.c:601:22:601:22 | n | 32767 |
| test.c:602:9:602:9 | n | 32767 |
| test.c:605:7:605:7 | n | 32767 |
| test.c:606:5:606:5 | n | 32767 |
| test.c:606:10:606:10 | n | 32767 |
| test.c:606:14:606:14 | n | 0 |
| test.c:607:6:607:6 | n | 32767 |
| test.c:607:10:607:10 | n | 0 |
| test.c:607:14:607:14 | n | 32767 |
| test.c:618:7:618:8 | ss | 32767 |
| test.c:619:9:619:10 | ss | 3 |
| test.c:622:7:622:8 | ss | 32767 |
| test.c:623:9:623:10 | ss | 32767 |
| test.c:626:14:626:15 | us | 65535 |
| test.c:627:9:627:10 | us | 32767 |
| test.c:630:14:630:15 | us | 65535 |
| test.c:631:9:631:10 | us | 65535 |
| test.c:634:7:634:8 | ss | 32767 |
| test.c:635:9:635:10 | ss | 32767 |
| test.c:638:7:638:8 | ss | 32767 |
| test.c:639:9:639:10 | ss | 2 |
| test.c:645:8:645:8 | s | 2147483647 |
| test.c:645:15:645:15 | s | 127 |
| test.c:645:23:645:23 | s | 9 |
| test.c:646:18:646:18 | s | 9 |
| test.c:646:22:646:22 | s | 9 |
| test.c:647:9:647:14 | result | 127 |
| test.c:653:7:653:7 | i | 0 |
| test.c:654:9:654:9 | i | 2147483647 |
| test.c:658:7:658:7 | u | 0 |
| test.c:659:9:659:9 | u | 4294967295 |
| test.c:664:12:664:12 | s | 2147483647 |
| test.c:665:7:665:8 | s2 | 4 |
| test.c:670:7:670:7 | x | 2147483647 |
| test.c:671:9:671:9 | y | 2147483647 |
| test.c:675:7:675:7 | y | 2147483647 |
| test.c:684:7:684:7 | x | 2147483647 |
| test.c:689:7:689:7 | x | 15 |
| test.c:696:8:696:8 | x | 2147483647 |
| test.c:696:12:696:12 | y | 256 |
| test.c:697:9:697:9 | x | 2147483647 |
| test.c:698:9:698:9 | y | 256 |
| test.c:394:14:394:14 | m | Infinity |
| test.c:394:18:394:18 | n | Infinity |
| test.c:394:22:394:22 | o | Infinity |
| test.c:394:26:394:26 | p | Infinity |
| test.c:394:30:394:30 | q | Infinity |
| test.c:395:14:395:14 | m | Infinity |
| test.c:395:18:395:18 | n | Infinity |
| test.c:395:22:395:22 | o | Infinity |
| test.c:395:26:395:26 | p | Infinity |
| test.c:395:30:395:30 | q | Infinity |
| test.c:396:14:396:14 | m | Infinity |
| test.c:396:18:396:18 | n | Infinity |
| test.c:396:22:396:22 | o | Infinity |
| test.c:396:26:396:26 | p | Infinity |
| test.c:396:30:396:30 | q | Infinity |
| test.c:397:14:397:14 | m | Infinity |
| test.c:397:18:397:18 | n | Infinity |
| test.c:397:22:397:22 | o | Infinity |
| test.c:397:26:397:26 | p | Infinity |
| test.c:397:30:397:30 | q | Infinity |
| test.c:398:14:398:14 | m | Infinity |
| test.c:398:18:398:18 | n | Infinity |
| test.c:398:22:398:22 | o | Infinity |
| test.c:398:26:398:26 | p | Infinity |
| test.c:398:30:398:30 | q | Infinity |
| test.c:399:14:399:14 | m | Infinity |
| test.c:399:18:399:18 | n | Infinity |
| test.c:399:22:399:22 | o | Infinity |
| test.c:399:26:399:26 | p | Infinity |
| test.c:399:30:399:30 | q | Infinity |
| test.c:400:14:400:14 | m | Infinity |
| test.c:400:18:400:18 | n | Infinity |
| test.c:400:22:400:22 | o | Infinity |
| test.c:400:26:400:26 | p | Infinity |
| test.c:400:30:400:30 | q | Infinity |
| test.c:401:14:401:14 | m | Infinity |
| test.c:401:18:401:18 | n | Infinity |
| test.c:401:22:401:22 | o | Infinity |
| test.c:401:26:401:26 | p | Infinity |
| test.c:401:30:401:30 | q | Infinity |
| test.c:402:14:402:14 | m | Infinity |
| test.c:402:18:402:18 | n | Infinity |
| test.c:402:22:402:22 | o | Infinity |
| test.c:402:26:402:26 | p | Infinity |
| test.c:402:30:402:30 | q | Infinity |
| test.c:403:14:403:14 | m | Infinity |
| test.c:403:18:403:18 | n | Infinity |
| 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: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: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.cpp:10:7:10:7 | b | 2147483647 |
| test.cpp:11:5:11:5 | x | 2147483647 |
| test.cpp:13:10:13:10 | x | 2147483647 |