Skip to content

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

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

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

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