Loop boundary is wrongly detected when the initialization is not done "classically"

[lyrixx]

Bug report

Hello,

It looks like the scope of loop variable to not clearly detected

Code snippet that reproduces the problem

https://phpstan.org/r/5cf62680-7651-4d08-bc82-69be0fe581aa

<?php 
declare(strict_types = 1);

function explain(int $bitField): void
{
	for ($i = 0; $i < 5; ++$i) {
	}
	for (; $i < 15; ++$i) {
	}
}

Expected output

no error :)

---

maybe related to

• Detect not looping loops #3277
• Warn when loop conditionals are invalidated #736

[phpstan-bot]

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

@@ @@
-8: Comparison operation "<" between int<min, 8> and 15 is always true.
+8: Comparison operation "<" between int<0, 8> and 15 is always true.

Full report

Line	Error
8	Comparison operation "<" between int<0, 8> and 15 is always true.

[phpstan-bot]

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

@@ @@
-8: Comparison operation "<" between int<min, 8> and 15 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.