Skip to content

Commit bd84a08

Browse files
paldepindpaldepind
committed
Wip, snapshot
1 parent 2967754 commit bd84a08

File tree

8 files changed

+1224
-1408
lines changed

8 files changed

+1224
-1408
lines changed

‎cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll‎

Lines changed: 223 additions & 247 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/lowerBound.expected‎

Lines changed: 116 additions & 615 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/nrOfBounds.expected‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
ERROR: query module does not have any queries in scope (nrOfBounds.ql:1,1-1)

‎cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/nrOfBounds.ql‎

Whitespace-only changes.

‎cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/ternaryLower.expected‎

Lines changed: 69 additions & 79 deletions
Original file line numberDiff line numberDiff line change
@@ -1,84 +1,74 @@
1-
| test.c:154:10:154:40 | ... ? ... : ... | -1.0 | 1.0 | -1.0 |
2-
| test.c:338:22:338:44 | ... ? ... : ... | 0.0 | 0.0 | 2.0 |
3-
| test.c:339:20:339:43 | ... ? ... : ... | 0.0 | 0.0 | 2.0 |
4-
| test.c:340:22:340:44 | ... ? ... : ... | 0.0 | 0.0 | 2.0 |
5-
| test.c:341:22:341:44 | ... ? ... : ... | 0.0 | 0.0 | 2.0 |
6-
| test.c:342:22:342:45 | ... ? ... : ... | 2.0 | 8.0 | 2.0 |
7-
| test.c:368:8:368:23 | ... ? ... : ... | 0.0 | 0.0 | 10.0 |
8-
| test.c:369:8:369:24 | ... ? ... : ... | 0.0 | 10.0 | 0.0 |
9-
| test.c:377:10:377:15 | ... ? ... : ... | 0.0 | 0.0 | 5.0 |
10-
| test.c:378:10:378:17 | ... ? ... : ... | 0.0 | 0.0 | 500.0 |
11-
| test.c:379:10:379:21 | ... ? ... : ... | 1.0 | 1.0 | 500.0 |
12-
| test.c:380:10:380:36 | ... ? ... : ... | 0.0 | 1.0 | 5.0 |
13-
| test.c:381:10:381:38 | ... ? ... : ... | 0.0 | 1.0 | 500.0 |
14-
| test.c:382:10:382:39 | ... ? ... : ... | 1.0 | 1.0 | 500.0 |
15-
| test.c:390:8:390:24 | ... ? ... : ... | 101.0 | 101.0 | 110.0 |
16-
| test.c:391:8:391:25 | ... ? ... : ... | 101.0 | 110.0 | 101.0 |
17-
| test.c:396:10:396:21 | ... ? ... : ... | 0.0 | 0.0 | 5.0 |
18-
| test.c:397:10:397:21 | ... ? ... : ... | 100.0 | 100.0 | 5.0 |
19-
| test.c:398:10:398:38 | ... ? ... : ... | 0.0 | 100.0 | 5.0 |
201
| test.c:405:14:405:108 | ... ? ... : ... | 0.14333887 | 0.14333887 | 0.40496805 |
212
| test.c:405:18:405:95 | ... ? ... : ... | 0.14333887 | 0.14333887 | 0.21540225 |
223
| test.c:405:22:405:82 | ... ? ... : ... | 0.14333887 | 0.14333887 | 0.39206458 |
234
| test.c:405:26:405:69 | ... ? ... : ... | 0.14333887 | 0.14333887 | 0.35279203 |
245
| test.c:405:30:405:56 | ... ? ... : ... | 0.14333887 | 0.47438827 | 0.14333887 |
25-
| test.c:406:14:406:108 | ... ? ... : ... | 0.22247853 | 0.22247853 | 0.5297741 |
26-
| test.c:406:18:406:95 | ... ? ... : ... | 0.22247853 | 0.22247853 | 0.59270465 |
27-
| test.c:406:22:406:82 | ... ? ... : ... | 0.22247853 | 0.22247853 | 0.32661893 |
28-
| test.c:406:26:406:69 | ... ? ... : ... | 0.22247853 | 0.34183348 | 0.22247853 |
29-
| test.c:406:30:406:56 | ... ? ... : ... | 0.34183348 | 0.34183348 | 0.3533464 |
30-
| test.c:407:14:407:108 | ... ? ... : ... | 0.05121256 | 0.05121256 | 0.67981451 |
31-
| test.c:407:18:407:95 | ... ? ... : ... | 0.05121256 | 0.05121256 | 0.79310745 |
32-
| test.c:407:22:407:82 | ... ? ... : ... | 0.05121256 | 0.31235514 | 0.05121256 |
33-
| test.c:407:26:407:69 | ... ? ... : ... | 0.31235514 | 0.31478084 | 0.31235514 |
34-
| test.c:407:30:407:56 | ... ? ... : ... | 0.31478084 | 0.77429603 | 0.31478084 |
35-
| test.c:408:14:408:108 | ... ? ... : ... | 0.36976948 | 0.36976948 | 0.83866835 |
36-
| test.c:408:18:408:95 | ... ? ... : ... | 0.36976948 | 0.44729556 | 0.36976948 |
37-
| test.c:408:22:408:82 | ... ? ... : ... | 0.44729556 | 0.44729556 | 0.59952732 |
38-
| test.c:408:26:408:69 | ... ? ... : ... | 0.44729556 | 0.44729556 | 0.98997262 |
39-
| test.c:408:30:408:56 | ... ? ... : ... | 0.44729556 | 0.44729556 | 0.80599202 |
40-
| test.c:409:14:409:108 | ... ? ... : ... | 0.10597712 | 0.10597712 | 0.68734874 |
41-
| test.c:409:18:409:95 | ... ? ... : ... | 0.10597712 | 0.10597712 | 0.72485966 |
42-
| test.c:409:22:409:82 | ... ? ... : ... | 0.10597712 | 0.10597712 | 0.21778426 |
43-
| test.c:409:26:409:69 | ... ? ... : ... | 0.10597712 | 0.49311828 | 0.10597712 |
44-
| test.c:409:30:409:56 | ... ? ... : ... | 0.49311828 | 0.49311828 | 0.90389911 |
45-
| test.c:410:14:410:108 | ... ? ... : ... | 0.1078665 | 0.1078665 | 0.58440865 |
46-
| test.c:410:18:410:95 | ... ? ... : ... | 0.1078665 | 0.1078665 | 0.34808892 |
47-
| test.c:410:22:410:82 | ... ? ... : ... | 0.1078665 | 0.1078665 | 0.76164052 |
48-
| test.c:410:26:410:69 | ... ? ... : ... | 0.1078665 | 0.1078665 | 0.11884576 |
49-
| test.c:410:30:410:56 | ... ? ... : ... | 0.1078665 | 0.47452848 | 0.1078665 |
50-
| test.c:411:14:411:108 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.36232384 |
51-
| test.c:411:18:411:95 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.85235179 |
52-
| test.c:411:22:411:82 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.12516558 |
53-
| test.c:411:26:411:69 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.95823075 |
54-
| test.c:411:30:411:56 | ... ? ... : ... | 0.02524326 | 0.02524326 | 0.82905046 |
55-
| test.c:412:14:412:108 | ... ? ... : ... | 0.14963485 | 0.14963485 | 0.84331272 |
56-
| test.c:412:18:412:95 | ... ? ... : ... | 0.14963485 | 0.14963485 | 0.48640909 |
57-
| test.c:412:22:412:82 | ... ? ... : ... | 0.14963485 | 0.14963485 | 0.45041108 |
58-
| test.c:412:26:412:69 | ... ? ... : ... | 0.14963485 | 0.32876044 | 0.14963485 |
59-
| test.c:412:30:412:56 | ... ? ... : ... | 0.32876044 | 0.38708626 | 0.32876044 |
60-
| test.c:413:14:413:108 | ... ? ... : ... | 0.05328182 | 0.14800508 | 0.05328182 |
61-
| test.c:413:18:413:95 | ... ? ... : ... | 0.14800508 | 0.14800508 | 0.37428143 |
62-
| test.c:413:22:413:82 | ... ? ... : ... | 0.14800508 | 0.15755063 | 0.14800508 |
63-
| test.c:413:26:413:69 | ... ? ... : ... | 0.15755063 | 0.15755063 | 0.26428481 |
64-
| test.c:413:30:413:56 | ... ? ... : ... | 0.15755063 | 0.15755063 | 0.77086833 |
65-
| test.c:414:14:414:108 | ... ? ... : ... | 0.27643238 | 0.27643238 | 0.69072144 |
66-
| test.c:414:18:414:95 | ... ? ... : ... | 0.27643238 | 0.27643238 | 0.39468857 |
67-
| test.c:414:22:414:82 | ... ? ... : ... | 0.27643238 | 0.27643238 | 0.55679274 |
68-
| test.c:414:26:414:69 | ... ? ... : ... | 0.27643238 | 0.41736536 | 0.27643238 |
69-
| test.c:414:30:414:56 | ... ? ... : ... | 0.41736536 | 0.41736536 | 0.76826628 |
70-
| test.c:415:14:415:108 | ... ? ... : ... | 0.2051911 | 0.2051911 | 0.81372798 |
71-
| test.c:415:18:415:95 | ... ? ... : ... | 0.2051911 | 0.2051911 | 0.88745559 |
72-
| test.c:415:22:415:82 | ... ? ... : ... | 0.2051911 | 0.29904824 | 0.2051911 |
73-
| test.c:415:26:415:69 | ... ? ... : ... | 0.29904824 | 0.29904824 | 0.76242583 |
74-
| test.c:415:30:415:56 | ... ? ... : ... | 0.29904824 | 0.88955345 | 0.29904824 |
75-
| test.c:416:14:416:108 | ... ? ... : ... | 0.13204114 | 0.13204114 | 0.42762647 |
76-
| test.c:416:18:416:95 | ... ? ... : ... | 0.13204114 | 0.13204114 | 0.52031241 |
77-
| test.c:416:22:416:82 | ... ? ... : ... | 0.13204114 | 0.42186276 | 0.13204114 |
78-
| test.c:416:26:416:69 | ... ? ... : ... | 0.42186276 | 0.42186276 | 0.44996679 |
79-
| test.c:416:30:416:56 | ... ? ... : ... | 0.42186276 | 0.42186276 | 0.53843358 |
80-
| test.c:429:20:429:36 | ... ? ... : ... | 0.0 | 0.0 | 100.0 |
81-
| test.c:641:5:641:14 | ... ? ... : ... | 0.0 | 1.0 | 0.0 |
82-
| test.c:642:5:642:14 | ... ? ... : ... | 0.0 | 0.0 | 1.0 |
83-
| test.cpp:121:3:121:12 | ... ? ... : ... | 0.0 | 1.0 | 0.0 |
84-
| test.cpp:122:3:122:12 | ... ? ... : ... | 0.0 | 0.0 | 1.0 |
6+
| test.c:472:4:646:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
7+
| test.c:472:5:474:49 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
8+
| test.c:475:6:557:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
9+
| test.c:476:8:494:41 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
10+
| test.c:479:10:483:21 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
11+
| test.c:479:31:479:79 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
12+
| test.c:481:13:483:21 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
13+
| test.c:488:12:493:23 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
14+
| test.c:489:12:489:60 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
15+
| test.c:491:15:493:23 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
16+
| test.c:495:6:514:23 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
17+
| test.c:498:8:502:19 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
18+
| test.c:498:29:498:77 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
19+
| test.c:500:11:502:19 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
20+
| test.c:503:6:503:54 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
21+
| test.c:507:10:511:21 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
22+
| test.c:507:31:507:79 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
23+
| test.c:509:13:511:21 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
24+
| test.c:512:9:514:23 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
25+
| test.c:516:10:535:43 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
26+
| test.c:519:12:524:23 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
27+
| test.c:520:12:520:60 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
28+
| test.c:522:15:524:23 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
29+
| test.c:529:14:534:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
30+
| test.c:530:14:530:62 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
31+
| test.c:532:17:534:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
32+
| test.c:536:9:557:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
33+
| test.c:539:14:544:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
34+
| test.c:540:14:540:62 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
35+
| test.c:542:17:544:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
36+
| test.c:545:12:545:60 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
37+
| test.c:549:12:554:23 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
38+
| test.c:550:12:550:60 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
39+
| test.c:552:15:554:23 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
40+
| test.c:555:11:557:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
41+
| test.c:558:9:560:51 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
42+
| test.c:561:9:646:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
43+
| test.c:562:14:581:47 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
44+
| test.c:565:16:570:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
45+
| test.c:566:16:566:64 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
46+
| test.c:568:19:570:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
47+
| test.c:575:18:580:29 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
48+
| test.c:576:18:576:66 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
49+
| test.c:578:21:580:29 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
50+
| test.c:582:12:603:29 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
51+
| test.c:585:14:590:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
52+
| test.c:586:14:586:62 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
53+
| test.c:588:17:590:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
54+
| test.c:591:12:591:60 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
55+
| test.c:595:16:600:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
56+
| test.c:596:16:596:64 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
57+
| test.c:598:19:600:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
58+
| test.c:601:15:603:29 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
59+
| test.c:605:12:624:45 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
60+
| test.c:608:14:613:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
61+
| test.c:609:14:609:62 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
62+
| test.c:611:17:613:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
63+
| test.c:618:16:623:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
64+
| test.c:619:16:619:64 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
65+
| test.c:621:19:623:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
66+
| test.c:625:11:646:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
67+
| test.c:628:16:633:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
68+
| test.c:629:16:629:64 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
69+
| test.c:631:19:633:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
70+
| test.c:634:14:634:62 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
71+
| test.c:638:14:643:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
72+
| test.c:639:14:639:62 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
73+
| test.c:641:17:643:25 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |
74+
| test.c:644:13:646:27 | ... ? ... : ... | 0.0 | 0.0 | 0.0 |

0 commit comments

Comments
 (0)