Add 2 more regression tests

Author: herndlm

tests/PHPStan/Rules/Missing/MissingReturnRuleTest.php

@@ -325,10 +325,22 @@ public function testBug9309(): void
 		$this->analyse([__DIR__ . '/data/bug-9309.php'], []);
 	}
 
+	public function testBug6807(): void
+	{
+		$this->checkExplicitMixedMissingReturn = true;
+		$this->analyse([__DIR__ . '/data/bug-6807.php'], []);
+	}
+
 	public function testBug8463(): void
 	{
 		$this->checkExplicitMixedMissingReturn = true;
 		$this->analyse([__DIR__ . '/data/bug-8463.php'], []);
 	}
 
+	public function testBug9374(): void
+	{
+		$this->checkExplicitMixedMissingReturn = true;
+		$this->analyse([__DIR__ . '/data/bug-9374.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Missing/data/bug-6807.php

@@ -0,0 +1,16 @@
+<?php declare(strict_types = 1);
+
+namespace Bug6807;
+
+/** @return int */
+function test()
+{
+	for ($attempts = 0; ; $attempts++)
+	{
+		if ($attempts > 5)
+			throw new Exception();
+
+		if (rand() == 1)
+			return 5;
+	}
+}

tests/PHPStan/Rules/Missing/data/bug-9374.php

@@ -0,0 +1,8 @@
+<?php declare(strict_types = 1);
+
+namespace Bug9374;
+
+function bar(): string {
+	for ($i = 0; ; ++$i)
+		return "";
+}