"Variable $i might not be defined." in for loop using comma operator (binary search)

[gnutix]

Bug report

While implementing a binary search, we used a comma operator within a for loop and use the $i variable outside the loop too, and it is in practice always defined.

Code snippet that reproduces the problem

https://phpstan.org/r/85c66c6f-a6d4-4084-8815-07d3f46b099d
https://3v4l.org/LVt1P

Expected output

No errors

[phpstan-bot]

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

@@ @@
-18: Variable $i might not be defined.
+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.