array count after using array_push

[saeideng]

Bug report

phpstan could not understand count of array after using array_push

Code snippet that reproduces the problem

https://phpstan.org/r/d5e3c533-05e0-4cae-8f2d-157de6f05717

Expected output

no error

[phpstan-bot]

@saeideng After the latest commit in 1.6.x, PHPStan now reports different result with your code snippet:

@@ @@
 PHP 8.0 – 8.1 (1 error)
 ==========
 
-10: Variable $a in empty() always exists and is not falsy.
+10: Variable $a in empty() always exists and is always falsy.
 
 PHP 7.1 – 7.4 (2 errors)
 ==========
 
  9: Function array_push invoked with 1 parameter, at least 2 required.
-10: Variable $a in empty() always exists and is not falsy.
+10: Variable $a in empty() always exists and is always falsy.

Full report

PHP 8.0 – 8.1 (1 error)

Line	Error
10	Variable $a in empty() always exists and is always falsy.

PHP 7.1 – 7.4 (2 errors)

Line	Error
9	Function array_push invoked with 1 parameter, at least 2 required.
10	Variable $a in empty() always exists and is always falsy.

[ondrejmirtes]

Fixed by phpstan/phpstan-src#1210

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.