Treat the float 2**63 as above every int in IntegerRangeType factories

A float compared with PHP_INT_MAX compares against the float 2**63, so
`$value > PHP_INT_MAX` is false for exactly 2**63. createAllSmallerThan()
and createAllGreaterThanOrEqualTo() then cast 2**63 to int, which emits
"not representable as an int" and yields NeverType / int<min, max>
instead of int / NeverType. Use `>=` like the other two factories do.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

Author: zonuexe

src/Type/IntegerRangeType.php

@@ -90,7 +90,7 @@ public static function createAllSmallerThan($value): Type
 			return self::fromInterval(null, $value, -1);
 		}
 
-		if ($value > PHP_INT_MAX) {
+		if ($value >= PHP_INT_MAX) {
 			return new IntegerType();
 		}
 
@@ -160,7 +160,7 @@ public static function createAllGreaterThanOrEqualTo($value): Type
 			return new IntegerType();
 		}
 
-		if ($value > PHP_INT_MAX) {
+		if ($value >= PHP_INT_MAX) {
 			return new NeverType();
 		}
 

tests/PHPStan/Analyser/nsrt/integer-range-float-two-to-the-63.php

@@ -0,0 +1,43 @@
+<?php declare(strict_types = 1);
+
+namespace IntegerRangeFloatTwoToThe63;
+
+use function PHPStan\Testing\assertType;
+
+function smaller(int $i): void
+{
+	if ($i < 9.2233720368547758E18) {
+		assertType('int', $i);
+	} else {
+		assertType('*NEVER*', $i);
+	}
+	assertType('int', $i);
+}
+
+function greaterOrEqual(int $i): void
+{
+	if ($i >= 9.2233720368547758E18) {
+		assertType('*NEVER*', $i);
+	} else {
+		assertType('int', $i);
+	}
+	assertType('int', $i);
+}
+
+function smallerOrEqual(int $i): void
+{
+	if ($i <= 9.2233720368547758E18) {
+		assertType('int', $i);
+	} else {
+		assertType('*NEVER*', $i);
+	}
+}
+
+function greater(int $i): void
+{
+	if ($i > 9.2233720368547758E18) {
+		assertType('*NEVER*', $i);
+	} else {
+		assertType('int', $i);
+	}
+}

tests/PHPStan/Type/IntegerRangeTypeTest.php

@@ -0,0 +1,72 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type;
+
+use PHPStan\Testing\PHPStanTestCase;
+use PHPUnit\Framework\Attributes\DataProvider;
+
+class IntegerRangeTypeTest extends PHPStanTestCase
+{
+
+	public static function dataCreateFromFloat(): iterable
+	{
+		// 2**63 is PHP_INT_MAX + 1, the smallest float greater than every int
+		yield '2**63' => [
+			9.2233720368547758E18,
+			'int',
+			'int',
+			'*NEVER*',
+			'*NEVER*',
+		];
+
+		// the largest float smaller than 2**63
+		yield '2**63 - 1024' => [
+			9.2233720368547748E18,
+			'int<min, 9223372036854774783>',
+			'int<min, 9223372036854774784>',
+			'int<9223372036854774785, max>',
+			'int<9223372036854774784, max>',
+		];
+
+		// -2**63 is exactly PHP_INT_MIN
+		yield '-2**63' => [
+			-9.2233720368547758E18,
+			'*NEVER*',
+			'-9223372036854775808',
+			'int<-9223372036854775807, max>',
+			'int',
+		];
+
+		// the largest float smaller than -2**63
+		yield '-2**63 - 2048' => [
+			-9.2233720368547779E18,
+			'*NEVER*',
+			'*NEVER*',
+			'int',
+			'int',
+		];
+	}
+
+	#[DataProvider('dataCreateFromFloat')]
+	public function testCreateFromFloat(
+		float $value,
+		string $expectedSmallerThan,
+		string $expectedSmallerThanOrEqualTo,
+		string $expectedGreaterThan,
+		string $expectedGreaterThanOrEqualTo,
+	): void
+	{
+		$this->assertSame([
+			'createAllSmallerThan' => $expectedSmallerThan,
+			'createAllSmallerThanOrEqualTo' => $expectedSmallerThanOrEqualTo,
+			'createAllGreaterThan' => $expectedGreaterThan,
+			'createAllGreaterThanOrEqualTo' => $expectedGreaterThanOrEqualTo,
+		], [
+			'createAllSmallerThan' => IntegerRangeType::createAllSmallerThan($value)->describe(VerbosityLevel::precise()),
+			'createAllSmallerThanOrEqualTo' => IntegerRangeType::createAllSmallerThanOrEqualTo($value)->describe(VerbosityLevel::precise()),
+			'createAllGreaterThan' => IntegerRangeType::createAllGreaterThan($value)->describe(VerbosityLevel::precise()),
+			'createAllGreaterThanOrEqualTo' => IntegerRangeType::createAllGreaterThanOrEqualTo($value)->describe(VerbosityLevel::precise()),
+		]);
+	}
+
+}