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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
--TEST--
Implicit float to int conversions should not warn for literals if float has a fractional part equal to 0
--FILE--
<?php
echo 'Bitwise ops:' . \PHP_EOL;
$var = ~1.0;
var_dump($var);
$var = 1.0|3;
var_dump($var);
$var = 1.0&3;
var_dump($var);
$var = 1.0^3;
var_dump($var);
$var = 1.0 << 3;
var_dump($var);
$var = 1.0 >> 3;
var_dump($var);
$var = 3 << 1.0;
var_dump($var);
$var = 3 >> 1.0;
var_dump($var);
echo 'Modulo:' . \PHP_EOL;
$var = 6.0 % 2;
var_dump($var);
$var = 9 % 2.0;
var_dump($var);
echo 'Offset access:' . \PHP_EOL;
echo 'Arrays:' . \PHP_EOL;
$array = ['a', 'b', 'c'];
var_dump($array[1.0]);
$array[2.0] = 'z';
var_dump($array);
/* Strings are handled differently and always warn on non integer keys */
echo 'Function calls:' . \PHP_EOL;
function foo(int $a) {
return $a;
}
var_dump(foo(1.0));
var_dump(chr(60.0));
echo 'Function returns:' . \PHP_EOL;
function bar(): int {
return 3.0;
}
var_dump(bar());
echo 'Typed property assignment:' . \PHP_EOL;
class Test {
public int $a;
}
$instance = new Test();
$instance->a = 1.0;
var_dump($instance->a);
?>
--EXPECT--
Bitwise ops:
int(-2)
int(3)
int(1)
int(2)
int(8)
int(0)
int(6)
int(1)
Modulo:
int(0)
int(1)
Offset access:
Arrays:
string(1) "b"
array(3) {
[0]=>
string(1) "a"
[1]=>
string(1) "b"
[2]=>
string(1) "z"
}
Function calls:
int(1)
string(1) "<"
Function returns:
int(3)
Typed property assignment:
int(1)
|
