Fix phpstan/phpstan#14397: FILTER_FLAG_GLOBAL_RANGE constant not "known" on PHP 8.3, 8.4

src/Php/PhpVersion.php

@@ -501,4 +501,9 @@ public function supportsObjectsInArraySumProduct(): bool
 		return $this->versionId >= 80300;
 	}
 
+	public function hasFilterThrowOnFailureConstant(): bool
+	{
+		return $this->versionId >= 80500;
+	}
+
 }

src/Rules/Functions/FilterVarRule.php

@@ -7,6 +7,7 @@
 use PhpParser\Node\Name;
 use PHPStan\Analyser\Scope;
 use PHPStan\DependencyInjection\RegisteredRule;
+use PHPStan\Php\PhpVersion;
 use PHPStan\Reflection\ReflectionProvider;
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
@@ -23,6 +24,7 @@ final class FilterVarRule implements Rule
 	public function __construct(
 		private ReflectionProvider $reflectionProvider,
 		private FilterFunctionReturnTypeHelper $filterFunctionReturnTypeHelper,
+		private PhpVersion $phpVersion,
 	)
 	{
 	}
@@ -44,7 +46,7 @@ public function processNode(Node $node, Scope $scope): array
 
 		$args = $node->getArgs();
 
-		if ($this->reflectionProvider->hasConstant(new Name\FullyQualified('FILTER_THROW_ON_FAILURE'), null)) {
+		if ($this->phpVersion->hasFilterThrowOnFailureConstant() && $this->reflectionProvider->hasConstant(new Name\FullyQualified('FILTER_THROW_ON_FAILURE'), null)) {
 			if (count($args) < 3) {
 				return [];
 			}

src/Type/Php/FilterFunctionReturnTypeHelper.php

@@ -151,9 +151,11 @@
 
 		$inputIsArray = $inputType->isArray();
 		$hasRequireArrayFlag = $this->hasFlag('FILTER_REQUIRE_ARRAY', $flagsType);
-		$hasThrowOnFailureFlag = $this->hasFlag('FILTER_THROW_ON_FAILURE', $flagsType);
+		$hasThrowOnFailureFlag = $this->phpVersion->hasFilterThrowOnFailureConstant()
+			? $this->hasFlag('FILTER_THROW_ON_FAILURE', $flagsType)
+			: TrinaryLogic::createNo();
 		if ($inputIsArray->no() && $hasRequireArrayFlag->yes()) {
 			if ($hasThrowOnFailureFlag->yes()) {
 				return new ErrorType();
 			}
 
@@ -198,13 +200,13 @@
 			}
 		}
 
 		if ($hasThrowOnFailureFlag->yes()) {
 			$type = TypeCombinator::remove($type, $defaultType);
 		}
 
 		if ($hasRequireArrayFlag->yes()) {
 			$type = new ArrayType($inputArrayKeyType ?? $mixedType, $type);
 			if (!$hasThrowOnFailureFlag->yes() && !$inputIsArray->yes()) {
 				$type = TypeCombinator::union($type, $defaultType);
 			}
 		}

src/Type/Php/FilterVarThrowTypeExtension.php

@@ -6,6 +6,7 @@
 use PhpParser\Node\Name;
 use PHPStan\Analyser\Scope;
 use PHPStan\DependencyInjection\AutowiredService;
+use PHPStan\Php\PhpVersion;
 use PHPStan\Reflection\FunctionReflection;
 use PHPStan\Reflection\ReflectionProvider;
 use PHPStan\Type\Constant\ConstantIntegerType;
@@ -20,6 +21,7 @@ final class FilterVarThrowTypeExtension implements DynamicFunctionThrowTypeExten
 
 	public function __construct(
 		private ReflectionProvider $reflectionProvider,
+		private PhpVersion $phpVersion,
 	)
 	{
 	}
@@ -28,8 +30,7 @@ public function isFunctionSupported(
 		FunctionReflection $functionReflection,
 	): bool
 	{
-		return $functionReflection->getName() === 'filter_var'
-			&& $this->reflectionProvider->hasConstant(new Name\FullyQualified('FILTER_THROW_ON_FAILURE'), null);
+		return $functionReflection->getName() === 'filter_var';
 	}
 
 	public function getThrowTypeFromFunctionCall(
@@ -42,6 +43,13 @@ public function getThrowTypeFromFunctionCall(
 			return null;
 		}
 
+		if (
+			!$this->phpVersion->hasFilterThrowOnFailureConstant()
+			|| !$this->reflectionProvider->hasConstant(new Name\FullyQualified('FILTER_THROW_ON_FAILURE'), null)
+		) {
+			return null;
+		}
+
 		$flagsExpr = $funcCall->getArgs()[3]->value;
 		$flagsType = $scope->getType($flagsExpr);
 

tests/PHPStan/Analyser/nsrt/bug-14397.php

@@ -0,0 +1,29 @@
+<?php // lint >= 8.2
+
+declare(strict_types = 1);
+
+namespace Bug14397;
+
+use PHPStan\TrinaryLogic;
+
+use function filter_var;
+use function PHPStan\Testing\assertType;
+use function PHPStan\Testing\assertVariableCertainty;
+
+function test(string $ipAddress): void
+{
+	assertType('non-falsy-string|false', filter_var($ipAddress, FILTER_VALIDATE_IP, FILTER_FLAG_IPV4 | FILTER_FLAG_GLOBAL_RANGE));
+}
+
+function test2(mixed $mixed): void
+{
+	try {
+		filter_var($mixed, FILTER_VALIDATE_INT, FILTER_FLAG_GLOBAL_RANGE);
+		$foo = 1;
+	} catch (\Filter\FilterFailedException $e) {
+		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
+	}
+
+	assertType('int|false', filter_var($mixed, FILTER_VALIDATE_INT, FILTER_FLAG_GLOBAL_RANGE));
+	assertType('int|false', filter_var($mixed, FILTER_VALIDATE_INT, ['flags' => FILTER_FLAG_GLOBAL_RANGE]));
+}

tests/PHPStan/Rules/Functions/FilterVarRuleTest.php

@@ -2,6 +2,7 @@
 
 namespace PHPStan\Rules\Functions;
 
+use PHPStan\Php\PhpVersion;
 use PHPStan\Rules\Rule;
 use PHPStan\Testing\RuleTestCase;
 use PHPStan\Type\Php\FilterFunctionReturnTypeHelper;
@@ -16,6 +17,7 @@ protected function getRule(): Rule
 		return new FilterVarRule(
 			self::createReflectionProvider(),
 			self::getContainer()->getByType(FilterFunctionReturnTypeHelper::class),
+			self::getContainer()->getByType(PhpVersion::class),
 		);
 	}
 
@@ -29,4 +31,10 @@ public function testRule(): void
 		]);
 	}
 
+	#[RequiresPhp('< 8.5')]
+	public function testRuleBeforePhp85(): void
+	{
+		$this->analyse([__DIR__ . '/data/filter_var_null_and_throw_pre_php85.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/filter_var_null_and_throw_pre_php85.php

@@ -0,0 +1,14 @@
+<?php // lint < 8.5
+
+namespace FilterVarNullAndThrowPrePhp85;
+
+filter_var('foo@bar.test', FILTER_VALIDATE_EMAIL, FILTER_FLAG_GLOBAL_RANGE|FILTER_NULL_ON_FAILURE);
+
+$flag = FILTER_NULL_ON_FAILURE|FILTER_FLAG_GLOBAL_RANGE;
+filter_var(100, FILTER_VALIDATE_INT, $flag);
+
+filter_var(
+	'johndoe',
+	FILTER_VALIDATE_REGEXP,
+	['options' => ['regexp' => '/^[a-z]+$/'], 'flags' => FILTER_FLAG_GLOBAL_RANGE|FILTER_NULL_ON_FAILURE]
+);