Skip to content

infer non-empty-list/array after isset($arr[$i]) #22361

infer non-empty-list/array after isset($arr[$i])

infer non-empty-list/array after isset($arr[$i]) #22361

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