Do not mark __halt_compiler() unreachable

Author: takaram

src/Analyser/NodeScopeResolver.php

@@ -6064,7 +6064,7 @@ private function getFirstUnreachableNode(array $nodes, bool $earlyBinding): ?Nod
 			if ($node instanceof Node\Stmt\Nop) {
 				continue;
 			}
-			if ($earlyBinding && ($node instanceof Node\Stmt\Function_ || $node instanceof Node\Stmt\ClassLike)) {
+			if ($earlyBinding && ($node instanceof Node\Stmt\Function_ || $node instanceof Node\Stmt\ClassLike || $node instanceof Node\Stmt\HaltCompiler)) {
 				continue;
 			}
 			return $node;

tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php

@@ -218,4 +218,10 @@ public function testBug8966(): void
 		]);
 	}
 
+	public function testBug11179(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-11179.php'], []);
+	}
+
 }

tests/PHPStan/Rules/DeadCode/data/bug-11179.php

@@ -0,0 +1,14 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11179;
+
+exit(0);
+
+function foo(string $p): string
+{
+	\PHPStan\dumpType($p);
+	return "";
+}
+
+__halt_compiler();
+foo