Skip to content

False Positive on Match Arm Comparison with Incremented Bounded Integer #25230

False Positive on Match Arm Comparison with Incremented Bounded Integer

False Positive on Match Arm Comparison with Incremented Bounded Integer #25230

Job Run time
1m 41s
6s
5s
5s
0s
0s
0s
-1s
32s
34s
27s
1m 16s
33s
28s
33s
35s
1m 35s
28s
35s
44s
28s
52s
37s
25s
1m 26s
33s
31s
33s
36s
1m 7s
27s
44s
1m 27s
32s
30s
30s
1m 3s
29s
37s
35s
28s
26s
27s
26s
26s
27s
31s
31s
29s
36s
25s
28s
32s
24s
29s
25s
25s
31s
28s
26s
35s
45s
26s
24s
29s
36s
31s
44s
36s
1m 29s
45s
28s
32s
25s
25s
29s
36s
29s
1m 14s
30s
25s
28s
26s
23s
30s
48s
25s
25s
22s
30s
30s
24s
32s
25s
29s
31s
32s
26s
30s
45s
29s
27s
31s
30s
31s
46s
35s
1m 7s
31s
30s
35s
33s
30s
35s
26s
35s
33s
30s
31s
41s
27s
27s
32s
25s
32s
25s
27s
25s
23s
1m 11s
31s
29s
24s
35s
1m 11s
31s
26s
32s
21s
26s
33s
32s
30s
29s
27s
29s
25s
25s
33s
23s
29s
32s
30s
27s
44s
24s
28s
25s
25s
22s
27s
20s
24s
24s
27s
19s
25s
22s
20s
21s
20s
24s
28s
27s
19s
21s
34s
19s
26s
21s
22s
20s
27s
26s
20s
24s
23s
21s
23s
21s
19s
26s
22s
18s
24s
22s
21s
27s
23s
20s
19s
30s
23s
18s
21s
25s
26s
26s
24s
24s
20s
22s
27s
28s
22s
26s
21s
22s
21s
21s
26s
20s
56s
23s
24s
20s
38s
24s
21s
20s
1m 4s
24s
20s
22s
27s
1m 5s
23s
24s
28s
26s
23s
21s
24s
20s
24s
20s
26s
30s
26s
43s
1m 0s
34s
28s
25s
59s
27s
31s
29s
1m 9s
36s
32s
30s
1m 14s
36s
40s
34s
42s
32s
38s
1m 17s
1m 45s
43s
1m 32s
38s
31s
6m 39s
33s
39s
53s
43s
4m 54s
31s
52s
38s
31s
-1s
2h 40m 39s