Skip to content

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

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

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

Job Run time
4m 51s
-1s
-1s
4s
6s
7s
0s
0s
29s
36s
52s
21s
22s
38s
37s
1m 21s
34s
1m 19s
2m 4s
29s
1m 47s
38s
30s
32s
1m 18s
35s
45s
31s
28s
36s
1m 21s
29s
1m 46s
56s
36s
27s
26s
34s
35s
24s
1m 51s
34s
25s
35s
30s
28s
30s
1m 24s
20s
35s
24s
32s
30s
32s
28s
32s
34s
48s
47s
23s
39s
1m 15s
36s
28s
28s
24s
22s
23s
28s
21s
1m 25s
19s
41s
22s
36s
21s
47s
53s
24s
21s
19s
26s
49s
35s
30s
31s
22s
23s
53s
1m 36s
37s
49s
51s
38s
29s
31s
29s
52s
29s
25s
27s
29s
18s
20s
23s
26s
21s
31s
25s
24s
26s
24s
28s
25s
19s
18s
18s
15s
19s
23s
25s
20s
18s
26s
18s
17s
23s
21s
27s
26s
23s
19s
18s
20s
21s
17s
20s
20s
22s
26s
21s
29s
23s
24s
32s
18s
24s
21s
17s
29s
21s
23s
17s
17s
24s
23s
26s
27s
25s
47s
21s
22s
20s
50s
28s
21s
29s
33s
20s
35s
25s
22s
23s
32s
37s
21s
25s
29s
16s
25s
48s
23s
22s
20s
25s
16s
20s
24s
22s
0s
1h 42m 19s