Skip to content

Fix #11310: False Positive on Match Arm Comparison with Incremented Bounded Integer #24989

Fix #11310: False Positive on Match Arm Comparison with Incremented Bounded Integer

Fix #11310: False Positive on Match Arm Comparison with Incremented Bounded Integer #24989

Job Run time
2m 1s
5s
6s
8s
-1s
0s
-1s
0s
1m 14s
29s
36s
30s
24s
46s
37s
34s
1m 38s
35s
36s
35s
26s
34s
35s
35s
27s
32s
27s
30s
26s
47s
25s
25s
31s
33s
27s
33s
47s
32s
27s
37s
1m 27s
47s
34s
1m 34s
34s
27s
34s
23s
37s
36s
1m 10s
32s
24s
1m 5s
25s
28s
27s
38s
39s
34s
25s
36s
31s
37s
26s
47s
29s
35s
35s
33s
35s
31s
27s
27s
24s
29s
1m 24s
26s
32s
35s
1m 9s
37s
24s
28s
44s
30s
29s
43s
26s
26s
33s
1m 13s
30s
35s
33s
29s
26s
34s
22s
38s
33s
28s
29s
53s
31s
25s
38s
50s
39s
27s
25s
31s
36s
52s
29s
32s
28s
31s
38s
32s
46s
27s
25s
34s
26s
24s
28s
27s
1m 5s
34s
27s
33s
25s
25s
34s
32s
32s
30s
26s
26s
25s
1m 6s
27s
36s
27s
34s
33s
31s
27s
25s
35s
28s
34s
39s
47s
34s
32s
27s
27s
28s
27s
22s
26s
24s
26s
27s
28s
26s
27s
23s
37s
26s
21s
26s
20s
20s
25s
32s
23s
26s
28s
23s
34s
20s
24s
27s
32s
27s
26s
22s
23s
23s
25s
21s
24s
23s
28s
22s
22s
21s
24s
21s
27s
23s
26s
22s
25s
22s
22s
21s
29s
25s
35s
48s
33s
24s
25s
28s
1m 1s
24s
21s
22s
28s
24s
25s
24s
25s
26s
21s
23s
25s
21s
1m 1s
24s
31s
24s
26s
25s
23s
30s
23s
23s
22s
27s
24s
24s
29s
21s
24s
1m 15s
1m 7s
34s
34s
34s
39s
27s
49s
31s
32s
31s
40s
38s
38s
1m 17s
1m 29s
48s
1m 36s
1m 12s
29s
55s
43s
34s
39s
1m 12s
40s
45s
32s
57s
33s
4m 46s
33s
6m 2s
37s
36s
40s
0s
2h 47m 13s