phpstan-src/tests/PHPStan/Analyser/data/integer-range-float-bounds-64bit.php at 39ba9688263feb3533d64047316a924fcb4ec7c3 · phpstan-bot/phpstan-src · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
<?php declare(strict_types = 1);

namespace IntegerRangeFloatBounds;

use function PHPStan\Testing\assertType;

// 9223372036854775808 does not fit into an int, so it is a float literal.
// It is the same float as (float) PHP_INT_MAX, which rounds up to 2 ** 63,
// and as the abs()/unary minus overflow of PHP_INT_MIN.
function aboveIntegerRange(int $i): void
{
	assertType('9.223372036854776E+18', 9223372036854775808);

	if ($i < 9223372036854775808) {
		assertType('int', $i);
	} else {
		assertType('*NEVER*', $i);
	}

	if ($i <= 9223372036854775808) {
		assertType('int', $i);
	} else {
		assertType('*NEVER*', $i);
	}

	if ($i > 9223372036854775808) {
		assertType('*NEVER*', $i);
	} else {
		assertType('int', $i);
	}

	if ($i >= 9223372036854775808) {
		assertType('*NEVER*', $i);
	} else {
		assertType('int', $i);
	}
}

// (float) PHP_INT_MIN is exactly PHP_INT_MIN, so nothing is smaller than it.
function belowIntegerRange(int $i): void
{
	assertType('-9.223372036854776E+18', -9223372036854775808);

	if ($i < -9223372036854775808) {
		assertType('*NEVER*', $i);
	} else {
		assertType('int', $i);
	}

	if ($i >= -9223372036854775808) {
		assertType('int', $i);
	} else {
		assertType('*NEVER*', $i);
	}
}

// The biggest float below 2 ** 63 still fits into the integer range.
function insideIntegerRange(int $i): void
{
	if ($i < 9223372036854774784.0) {
		assertType('int<min, 9223372036854774783>', $i);
	}

	if ($i >= 9223372036854774784.0) {
		assertType('int<9223372036854774784, max>', $i);
	}
}