array_pop/array_shift false positive #2851
Description
Bug report
array_* false positive
while (count($arguments) > 0) {
$words .= array_pop($arguments);
if (count($arguments) > 0) {
$words .= ' ';
}
}Code snippet that reproduces the problem
$arguments = ['x', 'y'];
$words = '';
while (count($arguments) > 0) {
$words .= array_pop($arguments);
if (count($arguments) > 0) {
$words .= ' ';
}
}
echo $words;Expected output
No error