added test

Author: staabm

tests/PHPStan/Rules/Variables/DefinedVariableRuleTest.php

@@ -1389,6 +1389,10 @@ public function testBug14117(): void
 				'Variable $value might not be defined.',
 				49,
 			],
+			[
+				'Undefined variable: $value',
+				65
+			]
 		]);
 	}
 

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

@@ -46,6 +46,22 @@ function baz(): void {
 	}
 
 	if ($key === 3) {
-		echo $value; // this one SHOULD report "might not be defined" because $key === 3 doesn't guarantee either earlier block ran
+		echo $value; // SHOULD report "is not defined"
+	}
+}
+
+function boo(): void {
+	$key = rand(0, 2);
+
+	if ($key === 1) {
+		$value = 'test';
+	}
+
+	if ($key === 1) {
+		unset($value);
+	}
+
+	if ($key === 1) {
+		echo $value;
 	}
 }