Skip to content

infer non-empty-list/array after isset($arr[$i]) #22473

infer non-empty-list/array after isset($arr[$i])

infer non-empty-list/array after isset($arr[$i]) #22473

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