Exit as function

Author: ondrejmirtes

src/Php/PhpVersion.php

@@ -338,4 +338,9 @@ public function isCurloptUrlCheckingFileSchemeWithOpenBasedir(): bool
 		return $this->versionId < 80000;
 	}
 
+	public function hasExitAsFunction(): bool
+	{
+		return $this->versionId >= 80400;
+	}
+
 }

src/Reflection/BetterReflection/BetterReflectionProvider.php

@@ -40,6 +40,7 @@
 use PHPStan\Reflection\InitializerExprContext;
 use PHPStan\Reflection\InitializerExprTypeResolver;
 use PHPStan\Reflection\NamespaceAnswerer;
+use PHPStan\Reflection\Php\ExitFunctionReflection;
 use PHPStan\Reflection\Php\PhpFunctionReflection;
 use PHPStan\Reflection\ReflectionProvider;
 use PHPStan\Reflection\SignatureMap\NativeFunctionReflectionProvider;
@@ -52,6 +53,7 @@
 use function array_key_exists;
 use function array_map;
 use function base64_decode;
+use function in_array;
 use function sprintf;
 use function strtolower;
 use const PHP_VERSION_ID;
@@ -264,6 +266,12 @@ public function getFunction(Node\Name $nameNode, ?NamespaceAnswerer $namespaceAn
 			return $this->functionReflections[$lowerCasedFunctionName];
 		}
 
+		if ($this->phpVersion->hasExitAsFunction()) {
+			if (in_array($lowerCasedFunctionName, ['exit', 'die'], true)) {
+				return $this->functionReflections[$lowerCasedFunctionName] = new ExitFunctionReflection($lowerCasedFunctionName);
+			}
+		}
+
 		$nativeFunctionReflection = $this->nativeFunctionReflectionProvider->findFunctionReflection($lowerCasedFunctionName);
 		if ($nativeFunctionReflection !== null) {
 			$this->functionReflections[$lowerCasedFunctionName] = $nativeFunctionReflection;
@@ -343,6 +351,12 @@ private function getCustomFunction(string $functionName): PhpFunctionReflection
 
 	public function resolveFunctionName(Node\Name $nameNode, ?NamespaceAnswerer $namespaceAnswerer): ?string
 	{
+		if ($this->phpVersion->hasExitAsFunction()) {
+			$name = $nameNode->toLowerString();
+			if (in_array($name, ['exit', 'die'], true)) {
+				return $name;
+			}
+		}
 		return $this->resolveName($nameNode, function (string $name): bool {
 			try {
 				$this->reflector->reflectFunction($name);

src/Reflection/Php/ExitFunctionReflection.php

@@ -0,0 +1,140 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Reflection\Php;
+
+use PHPStan\Reflection\Assertions;
+use PHPStan\Reflection\FunctionReflection;
+use PHPStan\Reflection\FunctionVariantWithPhpDocs;
+use PHPStan\Reflection\ParametersAcceptorWithPhpDocs;
+use PHPStan\Reflection\PassedByReference;
+use PHPStan\TrinaryLogic;
+use PHPStan\Type\Constant\ConstantIntegerType;
+use PHPStan\Type\Generic\TemplateTypeMap;
+use PHPStan\Type\Generic\TemplateTypeVarianceMap;
+use PHPStan\Type\IntegerType;
+use PHPStan\Type\MixedType;
+use PHPStan\Type\NeverType;
+use PHPStan\Type\StringType;
+use PHPStan\Type\Type;
+use PHPStan\Type\UnionType;
+
+final class ExitFunctionReflection implements FunctionReflection
+{
+
+	public function __construct(private string $name)
+	{
+	}
+
+	public function getName(): string
+	{
+		return $this->name;
+	}
+
+	public function getFileName(): ?string
+	{
+		return null;
+	}
+
+	public function getVariants(): array
+	{
+		$parameterType = new UnionType([
+			new StringType(),
+			new IntegerType(),
+		]);
+		return [
+			new FunctionVariantWithPhpDocs(
+				TemplateTypeMap::createEmpty(),
+				TemplateTypeMap::createEmpty(),
+				[
+					new DummyParameterWithPhpDocs(
+						'status',
+						$parameterType,
+						true,
+						PassedByReference::createNo(),
+						false,
+						new ConstantIntegerType(0),
+						$parameterType,
+						new MixedType(),
+						null,
+						TrinaryLogic::createNo(),
+						null,
+					),
+				],
+				false,
+				new NeverType(true),
+				new MixedType(),
+				new NeverType(true),
+				TemplateTypeVarianceMap::createEmpty(),
+			),
+		];
+	}
+
+	/**
+	 * @return ParametersAcceptorWithPhpDocs[]
+	 */
+	public function getNamedArgumentsVariants(): array
+	{
+		return $this->getVariants();
+	}
+
+	public function acceptsNamedArguments(): bool
+	{
+		return true;
+	}
+
+	public function isDeprecated(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
+	public function getDeprecatedDescription(): ?string
+	{
+		return null;
+	}
+
+	public function isFinal(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
+	public function isInternal(): TrinaryLogic
+	{
+		return TrinaryLogic::createYes();
+	}
+
+	public function getThrowType(): ?Type
+	{
+		return null;
+	}
+
+	public function hasSideEffects(): TrinaryLogic
+	{
+		return TrinaryLogic::createYes();
+	}
+
+	public function isBuiltin(): bool
+	{
+		return true;
+	}
+
+	public function getAsserts(): Assertions
+	{
+		return Assertions::createEmpty();
+	}
+
+	public function getDocComment(): ?string
+	{
+		return null;
+	}
+
+	public function returnsByReference(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
+	public function isPure(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
+}