Conditional while loop causes wrong assumption about array's contents

[gmta]

Code snippet that reproduces the problem

https://phpstan.org/r/49a3d04d-8e39-4420-b0cd-66a0db7fa541
Old example: https://phpstan.org/r/0eededac-4378-4914-8928-ce5cb34cba85

Problem

The fact that the contents of the while block is never executed is not taken into account, leading PHPStan to incorrectly conclude that the first entry of the array is always present and has a constant value.

Still an issue as of PHPStan version 0.12.28.

[phpstan-bot]

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

@@ @@
+4: While loop condition is always false.
 7: Call to function in_array() with arguments '1', array<int, '1'> and true will always evaluate to true.

Full report

Line	Error
4	While loop condition is always false.
7	Call to function in_array() with arguments '1', array<int, '1'> and true will always evaluate to true.

[gmta]

Apparently PHPStan now understands that while (false) is never executed, but this still produces the same issue:
https://phpstan.org/r/49a3d04d-8e39-4420-b0cd-66a0db7fa541

[phpstan-bot]

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

@@ @@
-7: Call to function in_array() with arguments '1', array<int, '1'> and true will always evaluate to true.
+No errors

[phpstan-bot]

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

@@ @@
-7: Call to function in_array() with arguments '1', array<int, '1'> and true will always evaluate to true.
+4: While loop condition is always false.

Full report

Line	Error
4	While loop condition is always false.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@4321374

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