Skip to content

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

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

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

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