Skip to content

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

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

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

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