diff --git a/src/Analyser/NodeScopeResolver.php b/src/Analyser/NodeScopeResolver.php
index 13e6788e40..516df23a7f 100644
--- a/src/Analyser/NodeScopeResolver.php
+++ b/src/Analyser/NodeScopeResolver.php
@@ -982,6 +982,7 @@ private function processStmtNode(
 			foreach ($stmt->cond as $condExpr) {
 				$condResult = $this->processExprNode($condExpr, $bodyScope, static function (): void {
 				}, ExpressionContext::createDeep());
+				$initScope = $condResult->getScope();
 				$condTruthiness = $condResult->getScope()->getType($condExpr)->toBoolean();
 				if ($condTruthiness instanceof ConstantBooleanType) {
 					$condTruthinessTrinary = TrinaryLogic::createFromBoolean($condTruthiness->getValue());
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
index fe6bc8b534..aaae1e1b67 100644
--- a/tests/PHPStan/Analyser/NodeScopeResolverTest.php
+++ b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -597,6 +597,11 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/pdo-prepare.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/constant-array-type-set.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/for-loop-i-type.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5316.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3858.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2806.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5328.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3044.php');
 	}
 
 	/**
diff --git a/tests/PHPStan/Analyser/data/bug-2806.php b/tests/PHPStan/Analyser/data/bug-2806.php
new file mode 100644
index 0000000000..a34e1233c1
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-2806.php
@@ -0,0 +1,15 @@
+<?php
+
+namespace Bug2806;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Testing\assertVariableCertainty;
+
+function (): void {
+	for (;;) {
+		$a = "hello";
+		break;
+	}
+
+	assertVariableCertainty(TrinaryLogic::createYes(), $a);
+};
diff --git a/tests/PHPStan/Analyser/data/bug-3044.php b/tests/PHPStan/Analyser/data/bug-3044.php
new file mode 100644
index 0000000000..fc3d6e53ff
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-3044.php
@@ -0,0 +1,42 @@
+<?php
+
+namespace Bug3044;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+	/**
+	 * @return array<int, array<int, float>>
+	 */
+	private function getIntArrayFloatArray(): array
+	{
+		return [
+			0 => [1.1, 2.2, 3.3],
+			1 => [1.1, 2.2, 3.3],
+			2 => [1.1, 2.2, 3.3],
+		];
+	}
+
+	/**
+	 * @return array<int, array<int, float>>
+	 */
+	public function invalidType(): void
+	{
+		$X = $this->getIntArrayFloatArray();
+		$L = $this->getIntArrayFloatArray();
+
+		$n = 3;
+		$m = 3;
+
+		for ($k = 0; $k < $m; ++$k) {
+			for ($j = 0; $j < $n; ++$j) {
+				for ($i = 0; $i < $k; ++$i) {
+					$X[$k][$j] -= $X[$i][$j] * $L[$k][$i];
+				}
+			}
+		}
+
+		assertType('array<int, array<int, float>>', $X);
+	}
+}
diff --git a/tests/PHPStan/Analyser/data/bug-3858.php b/tests/PHPStan/Analyser/data/bug-3858.php
new file mode 100644
index 0000000000..341e64a9f6
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-3858.php
@@ -0,0 +1,25 @@
+<?php
+
+namespace Bug3858;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Testing\assertVariableCertainty;
+
+class BinarySearch
+{
+	/**
+	 * @param mixed[] $items
+	 */
+	public function __invoke(array $items): void
+	{
+		for ($start = 0, $end = count($items);
+			 $i = $start + (int) (($end - $start) / 2), $i < $end;
+		) {
+			// do something here, then break at some point
+			break;
+		}
+
+		// $i is always defined here, even with an empty array
+		assertVariableCertainty(TrinaryLogic::createYes(), $i);
+	}
+}
diff --git a/tests/PHPStan/Analyser/data/bug-5316.php b/tests/PHPStan/Analyser/data/bug-5316.php
new file mode 100644
index 0000000000..b12f0be55b
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-5316.php
@@ -0,0 +1,25 @@
+<?php
+
+namespace Bug5316;
+
+use function PHPStan\Testing\assertType;
+
+function (): void {
+	$map = [
+		1 => 'foo',
+		2 => 'foo',
+		3 => 'bar',
+	];
+	$names = ['foo', 'bar', 'baz'];
+	$array = ['foo' => [], 'bar' => [], 'baz' => []];
+
+	foreach ($map as $value => $name) {
+		$array[$name][] = $value;
+	}
+
+
+	foreach ($array as $name => $elements) {
+		assertType('bool', count($elements) > 0);
+		assertType('array<int, 1|2|3>', $elements);
+	}
+};
diff --git a/tests/PHPStan/Analyser/data/bug-5328.php b/tests/PHPStan/Analyser/data/bug-5328.php
new file mode 100644
index 0000000000..5bb7c7d301
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-5328.php
@@ -0,0 +1,25 @@
+<?php
+
+namespace Bug5328;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	function produceIntOrNull(): ?int
+	{
+		return rand(0, 2) === 0 ? null : 0;
+	}
+
+	function doBar()
+	{
+		$int = $this->produceIntOrNull();
+		for ($i = 0; $i < 5 && !is_int($int) ; $i++) {
+			$int = $this->produceIntOrNull();
+		}
+
+		assertType('int|null', $int);
+	}
+
+}
diff --git a/tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php b/tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php
index 364850adc6..6cf86a184b 100644
--- a/tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php
+++ b/tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php
@@ -441,4 +441,11 @@ public function testArrayIsList(): void
 		]);
 	}
 
+	public function testBug3766(): void
+	{
+		$this->checkAlwaysTrueCheckTypeFunctionCall = true;
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-3766.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php b/tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php
index ac442f3017..47834ddd43 100644
--- a/tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php
+++ b/tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php
@@ -53,4 +53,14 @@ public function testBug5161(): void
 		$this->analyse([__DIR__ . '/data/bug-5161.php'], []);
 	}
 
+	public function testBug3310(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-3310.php'], []);
+	}
+
+	public function testBug3264(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-3264.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Comparison/data/bug-3264.php b/tests/PHPStan/Rules/Comparison/data/bug-3264.php
new file mode 100644
index 0000000000..34fb93f0f2
--- /dev/null
+++ b/tests/PHPStan/Rules/Comparison/data/bug-3264.php
@@ -0,0 +1,17 @@
+<?php
+
+namespace Bug3264;
+
+function (): void {
+	$totalShops = 40;
+	$predefinedShops = 10;
+
+	for ($i = 0; $i < $predefinedShops; $i++)
+	{
+		echo "Do something $i...\n";
+	}
+	for (;$i < $totalShops; $i++)
+	{
+		echo "Do something else $i...\n";
+	}
+};
diff --git a/tests/PHPStan/Rules/Comparison/data/bug-3310.php b/tests/PHPStan/Rules/Comparison/data/bug-3310.php
new file mode 100644
index 0000000000..350f6fb13a
--- /dev/null
+++ b/tests/PHPStan/Rules/Comparison/data/bug-3310.php
@@ -0,0 +1,11 @@
+<?php
+
+namespace Bug3310;
+
+function explain(int $bitField): void
+{
+	for ($i = 0; $i < 5; ++$i) {
+	}
+	for (; $i < 15; ++$i) {
+	}
+}
diff --git a/tests/PHPStan/Rules/Comparison/data/bug-3766.php b/tests/PHPStan/Rules/Comparison/data/bug-3766.php
new file mode 100644
index 0000000000..5058948f13
--- /dev/null
+++ b/tests/PHPStan/Rules/Comparison/data/bug-3766.php
@@ -0,0 +1,28 @@
+<?php
+
+namespace Bug3766;
+
+class Foo
+{
+
+	/**
+	 * @return array<mixed>
+	 */
+	function get_foo(): array
+	{
+		return [];
+	}
+
+	public function doFoo(): void
+	{
+		$foo = $this->get_foo();
+		for ($i = 0; $i < \count($foo); $i++) {
+			if (\array_key_exists($i + 1, $foo)
+				&& \array_key_exists($i + 2, $foo)
+			) {
+				echo $i;
+			}
+		}
+	}
+
+}
diff --git a/tests/PHPStan/Rules/Properties/DefaultValueTypesAssignedToPropertiesRuleTest.php b/tests/PHPStan/Rules/Properties/DefaultValueTypesAssignedToPropertiesRuleTest.php
index 05bdeb4c30..9f9e006fcb 100644
--- a/tests/PHPStan/Rules/Properties/DefaultValueTypesAssignedToPropertiesRuleTest.php
+++ b/tests/PHPStan/Rules/Properties/DefaultValueTypesAssignedToPropertiesRuleTest.php
@@ -48,4 +48,14 @@ public function testDefaultValueForNativePropertyType(): void
 		]);
 	}
 
+	public function testBug5607(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-5607.php'], [
+			[
+				'Property Bug5607\Cl::$u (Bug5607\A|null) does not accept default value of type array<int|string, string>.',
+				10,
+			],
+		]);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Properties/data/bug-5607.php b/tests/PHPStan/Rules/Properties/data/bug-5607.php
new file mode 100644
index 0000000000..eff2724216
--- /dev/null
+++ b/tests/PHPStan/Rules/Properties/data/bug-5607.php
@@ -0,0 +1,19 @@
+<?php
+
+namespace Bug5607;
+
+class A {}
+
+class Cl
+{
+	/** @var A|null */
+	public $u = [A::class, 'ui' => 'basic segment'];
+
+	/**
+	 * @param array<int|string, class-string|string> $x
+	 */
+	public function mm($x): void
+	{
+		throw new \Exception();
+	}
+}