Added regression test

phpstan · Oct 6, 2023 · 6b5e98f · 6b5e98f
1 parent 94ad039
commit 6b5e98f
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 0 deletions.
diff --git a/tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php b/tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php
@@ -1455,4 +1455,9 @@ public function testBug8659(): void
 		$this->analyse([__DIR__ . '/data/bug-8659.php'], []);
 	}
 
+	public function testBug9580(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-9580.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Functions/data/bug-9580.php b/tests/PHPStan/Rules/Functions/data/bug-9580.php
@@ -0,0 +1,22 @@
+<?php
+
+namespace Bug9580;
+
+
+function test(): int|string|float|null
+{
+	return $_GET['value'];
+}
+
+function onlyNull(null $value): void
+{
+
+}
+
+function doFoo() {
+	$value = test();
+	if (isset($value)) {
+		exit;
+	}
+	onlyNull($value);
+}