Skip to content

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

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

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

Job Run time
1m 54s
5s
6s
6s
0s
0s
0s
0s
29s
28s
33s
22s
24s
34s
31s
27s
37s
21s
21s
22s
22s
27s
30s
18s
19s
23s
30s
22s
25s
21s
18s
20s
36s
22s
26s
25s
24s
30s
27s
29s
23s
27s
20s
20s
30s
28s
28s
28s
22s
26s
32s
19s
25s
30s
24s
26s
27s
28s
22s
30s
23s
22s
27s
22s
21s
23s
29s
1m 30s
23s
24s
22s
24s
30s
23s
24s
30s
25s
24s
23s
1m 17s
20s
42s
24s
25s
25s
1m 7s
21s
22s
32s
31s
27s
23s
21s
24s
25s
26s
19s
25s
18s
27s
34s
37s
29s
1m 51s
49s
30s
44s
32s
29s
38s
35s
1m 1s
31s
37s
29s
29s
36s
34s
32s
23s
29s
26s
1m 11s
1m 40s
45s
1m 17s
27s
30s
26s
27s
33s
32s
31s
47s
35s
37s
27s
31s
27s
28s
33s
1m 40s
35s
1m 17s
30s
29s
29s
43s
30s
25s
41s
42s
33s
29s
28s
31s
30s
33s
35s
25s
43s
26s
32s
1m 8s
1m 30s
26s
36s
34s
25s
26s
27s
49s
41s
30s
29s
38s
24s
35s
25s
36s
53s
29s
37s
23s
23s
22s
35s
32s
31s
27s
37s
36s
27s
35s
30s
33s
29s
31s
30s
35s
29s
40s
26s
24s
1m 13s
27s
41s
33s
37s
29s
27s
44s
26s
1m 14s
30s
37s
34s
50s
34s
27s
29s
38s
28s
34s
1m 16s
32s
33s
32s
26s
38s
27s
39s
25s
46s
33s
38s
27s
27s
25s
32s
31s
25s
36s
33s
37s
36s
35s
38s
1m 30s
40s
25s
36s
1m 7s
29s
29s
1m 53s
1m 1s
37s
1m 42s
44s
1m 34s
31s
47s
41s
45s
35s
2m 4s
53s
1m 46s
9m 13s
1m 16s
41s
43s
1m 28s
26s
39s
1m 3s
42s
40s
44s
38s
7m 47s
41s
0s
3h 1m 6s