Skip to content

infer non-empty-list/array after array_key_exists($i, $arr) #22363

infer non-empty-list/array after array_key_exists($i, $arr)

infer non-empty-list/array after array_key_exists($i, $arr) #22363

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