Fix exit() impure points

phpstan · Apr 3, 2024 · c16e491 · c16e491
1 parent a647052
commit c16e491
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/Analyser/NodeScopeResolver.php b/src/Analyser/NodeScopeResolver.php
@@ -2800,7 +2800,7 @@ static function (): void {
 				$result = $this->processExprNode($stmt, $expr->expr, $scope, $nodeCallback, $context->enterDeep());
 				$hasYield = $result->hasYield();
 				$throwPoints = $result->getThrowPoints();
-				$impurePoints = $result->getImpurePoints();
+				$impurePoints = array_merge($impurePoints, $result->getImpurePoints());
 				$scope = $result->getScope();
 			}
 		} elseif ($expr instanceof Node\Scalar\Encapsed) {

diff --git a/tests/PHPStan/Rules/DeadCode/data/noop-impure-points.php b/tests/PHPStan/Rules/DeadCode/data/noop-impure-points.php
@@ -33,4 +33,9 @@ public function doLorem(): bool
 		return true;
 	}
 
+	public function doExit(): void
+	{
+		exit(1);
+	}
+
 }