Continue analyzing classes and functions after exit

Author: takaram

src/Analyser/NodeScopeResolver.php

@@ -292,24 +292,28 @@ public function processNodes(
 		callable $nodeCallback,
 	): void
 	{
+		$alreadyTerminated = false;
 		foreach ($nodes as $i => $node) {
-			if (!$node instanceof Node\Stmt) {
+			if (
+				!$node instanceof Node\Stmt
+				|| ($alreadyTerminated && !($node instanceof Node\Stmt\Function_ || $node instanceof Node\Stmt\ClassLike))
+			) {
 				continue;
 			}
 
 			$statementResult = $this->processStmtNode($node, $scope, $nodeCallback, StatementContext::createTopLevel());
 			$scope = $statementResult->getScope();
-			if (!$statementResult->isAlwaysTerminating()) {
+			if ($alreadyTerminated || !$statementResult->isAlwaysTerminating()) {
 				continue;
 			}
 
+			$alreadyTerminated = true;
 			$nextStmt = $this->getFirstUnreachableNode(array_slice($nodes, $i + 1), true);
 			if (!$nextStmt instanceof Node\Stmt) {
 				continue;
 			}
 
 			$nodeCallback(new UnreachableStatementNode($nextStmt), $scope);
-			break;
 		}
 	}
 

tests/PHPStan/Rules/Debug/DumpTypeRuleTest.php

@@ -92,4 +92,14 @@ public function testBug11179(): void
 		]);
 	}
 
+	public function testBug11179NoNamespace(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11179-no-namespace.php'], [
+			[
+				'Dumped type: string',
+				11,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Debug/data/bug-11179-no-namespace.php

@@ -0,0 +1,13 @@
+<?php declare(strict_types = 1);
+
+// no namespace
+
+exit(0);
+
+echo 1;
+
+function bug11179Foo(string $p): string
+{
+	\PHPStan\dumpType($p);
+	return "";
+}