Fix missing detection of dead code in closures

Author: staabm

src/Analyser/NodeScopeResolver.php

@@ -4690,7 +4690,7 @@ private function processClosureNode(
 				array_merge($statementResult->getImpurePoints(), $closureImpurePoints),
 			), $closureScope);
 
-			return new ProcessClosureResult($scope, $statementResult->getThrowPoints(), $statementResult->getImpurePoints(), $invalidateExpressions);
+			return new ProcessClosureResult($scope, $statementResult->getThrowPoints(), $statementResult->getImpurePoints(), $invalidateExpressions, $statementResult->isAlwaysTerminating());
 		}
 
 		$count = 0;
@@ -4736,7 +4736,7 @@ private function processClosureNode(
 			array_merge($statementResult->getImpurePoints(), $closureImpurePoints),
 		), $closureScope);
 
-		return new ProcessClosureResult($scope->processClosureScope($closureResultScope, null, $byRefUses), $statementResult->getThrowPoints(), $statementResult->getImpurePoints(), $invalidateExpressions);
+		return new ProcessClosureResult($scope->processClosureScope($closureResultScope, null, $byRefUses), $statementResult->getThrowPoints(), $statementResult->getImpurePoints(), $invalidateExpressions, $statementResult->isAlwaysTerminating());
 	}
 
 	/**
@@ -5174,6 +5174,7 @@ private function processArgs(
 				if ($callCallbackImmediately) {
 					$throwPoints = array_merge($throwPoints, array_map(static fn (ThrowPoint $throwPoint) => $throwPoint->isExplicit() ? ThrowPoint::createExplicit($scope, $throwPoint->getType(), $arg->value, $throwPoint->canContainAnyThrowable()) : ThrowPoint::createImplicit($scope, $arg->value), $closureResult->getThrowPoints()));
 					$impurePoints = array_merge($impurePoints, $closureResult->getImpurePoints());
+					$isAlwaysTerminating = $isAlwaysTerminating || $closureResult->isAlwaysTerminating();
 				}
 
 				$uses = [];

src/Analyser/ProcessClosureResult.php

@@ -17,6 +17,7 @@ public function __construct(
 		private array $throwPoints,
 		private array $impurePoints,
 		private array $invalidateExpressions,
+		private bool $isAlwaysTerminating,
 	)
 	{
 	}
@@ -50,4 +51,9 @@ public function getInvalidateExpressions(): array
 		return $this->invalidateExpressions;
 	}
 
+	public function isAlwaysTerminating(): bool
+	{
+		return $this->isAlwaysTerminating;
+	}
+
 }

tests/PHPStan/Analyser/ExpressionResultTest.php

@@ -99,6 +99,10 @@ public static function dataIsAlwaysTerminating(): array
 				'exit() ?? $x;',
 				true,
 			],
+			[
+				'call_user_func(function() { exit(); });',
+				true,
+			],
 			[
 				'var_dump(1+exit());',
 				true,