Assigning "void" from a function array_shift() on empty array

Why would this problem be reported?

Ray it seems it's an excessive null check diagnostic;

For empty arrays, it makes sense; calling array_shift() is unnecessary. But does it happen anywhere else in the code, where array is not empty?

The use case is when there is logic that does not get triggered and does not change the $array.

$array = [];

if(false) {
  $array[] = ["value"];
}

$value = array_shift($array);

Ray still not sure about array_shift() on definitely empty array, like

$a = array_shift([]);

that may be an issue in the code because it's always null.

Same issue here:

Same issue with reset() function:

Assiging void from a function reset() PHP(PHP1408)

thank you! fixing

The function "reset" is still getting reported with this error. I have version v1.27.12010. Updated today.

DonaldWinston thank you for the update, we'll be still working on it