add failing test from phpstan/phpstan#8467

phpstan · Dec 7, 2022 · aa2c4e9 · aa2c4e9
1 parent 2ca6118
commit aa2c4e9
Show file tree

Hide file tree

Showing 2 changed files with 41 additions and 0 deletions.
diff --git a/tests/PHPStan/Rules/Variables/DefinedVariableRuleTest.php b/tests/PHPStan/Rules/Variables/DefinedVariableRuleTest.php
@@ -927,4 +927,22 @@ public function testBug5805(): void
 		$this->analyse([__DIR__ . '/data/bug-5805.php'], []);
 	}
 
+	public function testBug8467c(): void
+	{
+		$this->cliArgumentsVariablesRegistered = true;
+		$this->polluteScopeWithLoopInitialAssignments = false;
+		$this->checkMaybeUndefinedVariables = true;
+		$this->polluteScopeWithAlwaysIterableForeach = false;
+		$this->analyse([__DIR__ . '/data/bug-8467c.php'], [
+			[
+				'Variable $v might not be defined.',
+				16,
+			],
+			[
+				'Variable $v might not be defined.',
+				18,
+			],
+		]);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Variables/data/bug-8467c.php b/tests/PHPStan/Rules/Variables/data/bug-8467c.php
@@ -0,0 +1,23 @@
+<?php declare(strict_types = 1);
+
+namespace Bug8467c;
+
+/**
+ * @param int[] $a
+ * @return void
+ */
+function foo(array $a, int $key): void
+{
+	$k = [];
+	foreach ($a as $v) {
+		$k[$key][] = $v;
+	}
+
+	echo $v;
+	foreach ($k as $values) {
+		echo $v;
+		foreach ($values as $v) {
+			echo $v;
+		}
+	}
+}