Add non regression test (#5545)

Author: VincentLanglet

tests/PHPStan/Rules/Variables/DefinedVariableRuleTest.php

@@ -1517,6 +1517,15 @@ public function testBug11218(): void
 		$this->analyse([__DIR__ . '/data/bug-11218.php'], []);
 	}
 
+	public function testBug4352(): void
+	{
+		$this->cliArgumentsVariablesRegistered = true;
+		$this->polluteScopeWithLoopInitialAssignments = false;
+		$this->checkMaybeUndefinedVariables = true;
+		$this->polluteScopeWithAlwaysIterableForeach = true;
+		$this->analyse([__DIR__ . '/data/bug-4352.php'], []);
+	}
+
 	public function testBug6688(): void
 	{
 		$this->cliArgumentsVariablesRegistered = true;

tests/PHPStan/Rules/Variables/data/bug-4352.php

@@ -0,0 +1,37 @@
+<?php
+
+namespace Bug4352;
+
+$foo = [rand()];
+$found = false;
+
+foreach ($foo as $b) {
+	if ($b > 2) {
+		$a = $b;
+		$found = true;
+	}
+}
+
+if ($found) {
+	/** @var int $a */
+	echo $a;
+}
+
+class A {
+	public function foo(): void {
+		$foo = [rand()];
+		$found = false;
+
+		foreach ($foo as $b) {
+			if ($b > 2) {
+				$a = $b;
+				$found = true;
+			}
+		}
+
+		if ($found) {
+			/** @var int $a */
+			echo $a;
+		}
+	}
+}