Skip to content

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

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

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

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