-
Notifications
You must be signed in to change notification settings - Fork 426
/
bug-7387.php
75 lines (59 loc) · 2.66 KB
/
bug-7387.php
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
<?php
namespace Bug7387;
use function PHPStan\Testing\assertType;
class HelloWorld
{
public function inputTypes(int $i, float $f, string $s) {
// https://3v4l.org/iXaDX
assertType('numeric-string', sprintf('%.14F', $i));
assertType('numeric-string', sprintf('%.14F', $f));
assertType('numeric-string', sprintf('%.14F', $s));
assertType('numeric-string', sprintf('%1.14F', $i));
assertType('numeric-string', sprintf('%2.14F', $f));
assertType('numeric-string', sprintf('%3.14F', $s));
assertType('numeric-string', sprintf('%14F', $i));
assertType('numeric-string', sprintf('%14F', $f));
assertType('numeric-string', sprintf('%14F', $s));
}
public function specifiers(int $i) {
// https://3v4l.org/fmVIg
assertType('non-empty-string', sprintf('%14s', $i));
assertType('numeric-string', sprintf('%d', $i));
assertType('numeric-string', sprintf('%14b', $i));
assertType('non-empty-string', sprintf('%14c', $i)); // binary string
assertType('numeric-string', sprintf('%14d', $i));
assertType('numeric-string', sprintf('%14e', $i));
assertType('numeric-string', sprintf('%14E', $i));
assertType('numeric-string', sprintf('%14f', $i));
assertType('numeric-string', sprintf('%14F', $i));
assertType('numeric-string', sprintf('%14g', $i));
assertType('numeric-string', sprintf('%14G', $i));
assertType('numeric-string', sprintf('%14h', $i));
assertType('numeric-string', sprintf('%14H', $i));
assertType('numeric-string', sprintf('%14o', $i));
assertType('numeric-string', sprintf('%14u', $i));
assertType('numeric-string', sprintf('%14x', $i));
assertType('numeric-string', sprintf('%14X', $i));
}
public function positionalArgs($mixed, int $i, float $f, string $s) {
// https://3v4l.org/vVL0c
assertType('non-empty-string', sprintf('%2$14s', $mixed, $i));
assertType('numeric-string', sprintf('%2$.14F', $mixed, $i));
assertType('numeric-string', sprintf('%2$.14F', $mixed, $f));
assertType('numeric-string', sprintf('%2$.14F', $mixed, $s));
assertType('numeric-string', sprintf('%2$1.14F', $mixed, $i));
assertType('numeric-string', sprintf('%2$2.14F', $mixed, $f));
assertType('numeric-string', sprintf('%2$3.14F', $mixed, $s));
assertType('numeric-string', sprintf('%2$14F', $mixed, $i));
assertType('numeric-string', sprintf('%2$14F', $mixed, $f));
assertType('numeric-string', sprintf('%2$14F', $mixed, $s));
assertType('numeric-string', sprintf('%10$14F', $mixed, $s));
}
public function invalidPositionalArgFormat($mixed, string $s) {
assertType('string', sprintf('%0$14F', $mixed, $s));
}
public function escapedPercent(int $i) {
// https://3v4l.org/2m50L
assertType('non-empty-string', sprintf("%%d", $i));
}
}