Comparison operation ">" between X and Y is always true

[RubenAtPA]

Bug report

In this situation there is an array defined with a fixed number of elements. Within a do-while loop elements are taken of the stack with the method array_shift. Within the do body an if-statements can break from this loop and the while section of the loop tests for the number of remaining elements. PHPStan doesn't recognize this however and fails with the message Comparison operation ">" between X and Y is always true.

Code snippet that reproduces the problem

https://phpstan.org/r/911404cc-308a-4334-ad23-a180a5dfccb7

Expected output

The error should not have been reported, because the list can be exhausted and will return false eventually.

[phpstan-bot]

@RubenAtPA After the latest commit to dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-20: Comparison operation ">" between 2 and 0 is always true.
+20: Comparison operation ">" between 1 and 0 is always true.

Full report

Line	Error
20	Comparison operation ">" between 1 and 0 is always true.

[phpstan-bot]

@RubenAtPA After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-20: Comparison operation ">" between 2 and 0 is always true.
+No errors

[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.