Skip to content

Fix incorrect analyzing of array_shift with non-empty-list property #21577

Fix incorrect analyzing of array_shift with non-empty-list property

Fix incorrect analyzing of array_shift with non-empty-list property #21577

Job Run time
4m 52s
4s
5s
7s
0s
0s
0s
0s
22s
29s
17s
22s
22s
20s
20s
38s
22s
22s
20s
20s
22s
24s
24s
20s
24s
20s
36s
26s
30s
24s
26s
21s
30s
22s
18s
22s
27s
23s
20s
24s
23s
26s
21s
17s
25s
16s
20s
18s
18s
19s
22s
20s
18s
22s
27s
26s
19s
25s
28s
23s
24s
22s
50s
35s
32s
24s
43s
23s
27s
28s
22s
20s
1m 1s
21s
17s
23s
25s
22s
23s
21s
30s
23s
23s
20s
18s
22s
20s
19s
20s
21s
19s
18s
20s
22s
25s
19s
23s
19s
25s
1m 58s
34s
36s
1m 51s
1m 20s
23s
34s
23s
34s
29s
31s
30s
21s
32s
25s
28s
28s
29s
1m 45s
1m 21s
36s
21s
26s
58s
27s
24s
47s
36s
26s
25s
1m 42s
35s
25s
24s
51s
26s
26s
37s
1m 25s
1m 20s
33s
1m 18s
33s
26s
26s
35s
56s
1m 20s
34s
30s
26s
25s
49s
28s
37s
58s
24s
33s
31s
23s
21s
32s
28s
27s
23s
1m 27s
31s
26s
33s
25s
32s
22s
48s
30s
29s
29s
24s
42s
56s
47s
32s
40s
34s
24s
35s
47s
1m 33s
45s
30s
26s
0s
1h 41m 19s