Skip to content

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

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

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

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