Infinite for loop vars not seen as defined

[muglug]

for (;;) {
  $a = "hello";
  break;
}

echo $a;

Expected: No issue
Actual: Variable $a might not be defined.

https://phpstan.org/r/19b1ac30-50b8-404b-9da8-9b1a3b6f90b1

[muglug]

The equivalent while(true) code works fine: https://phpstan.org/r/3dfa4f4f-a9c5-4d73-b29a-a98ebbfd8680

[phpstan-bot]

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

@@ @@
-8: Variable $a 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.