Skip to content

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

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

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

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