phpstan-src/tests/PHPStan/Analyser/nsrt/bug-5051.php at 0e31ce7c42fea32c09b7d128e35b994f3c2b998c · phpstan/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
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
<?php declare(strict_types = 1);

namespace Bug5051;

use function PHPStan\Testing\assertType;

class HelloWorld
{
	public function test(?object $data): void
	{
		if ($data === null) {
			$foo = 'bar';
			$update = false;
		} else {
			$foo = 'baz';
			$update = true;
		}

		assertType('object|null', $data);
		assertType("'bar'|'baz'", $foo);

		if ($update) {
			assertType('object', $data);
			assertType("'baz'", $foo);
		} else {
			assertType('null', $data);
			assertType("'bar'", $foo);
		}
		assertType('object|null', $data);
		assertType("'bar'|'baz'", $foo);
	}

	/**
	 * @param 1|2|3|10 $data
	 */
	public function testWithBooleans($data): void
	{
		$foo = 1;
		if ($data === 1 || $data === 2) {
			$update = false;
			$foo = false;
		} elseif ($data === 3) {
			$update = false;
			$foo = true;
		} else {
			$update = true;
			$foo = true;
		}

		if ($update) {
			assertType('10', $data);
			assertType('bool', $foo);
		} else {
			assertType('1|2|3', $data);
			assertType('bool', $foo);
		}

		if ($foo) {
			assertType('1|2|3|10', $data);
			assertType('bool', $update);
		} else {
			assertType('1|2', $data);
			assertType('false', $update);
		}

		if ($data === 1) {
			assertType('false', $update);
			assertType('false', $foo);
		} else {
			assertType('bool', $update);
			assertType('bool', $foo);
		}

		if ($data === 2) {
			assertType('false', $update);
			assertType('false', $foo);
		} else {
			assertType('bool', $update);
			assertType('bool', $foo);
		}

		if ($data === 3) {
			assertType('false', $update);
			assertType('true', $foo);
		} else {
			assertType('bool', $update);
			assertType('bool', $foo);
		}

		if ($data === 1 || $data === 2) {
			assertType('false', $update);
			assertType('false', $foo);
		} else {
			assertType('bool', $update);
			assertType('bool', $foo);
		}

	}

	public function testWithDifferentVariableNames(?object $data): void
	{
		if ($data === null) {
			$update = false;
			$foo = 'bar';
		} else {
			$update = true;
			$fuu = 'baz';
		}

		if ($update) {
			assertType('object', $data);
		}
	}

	public function testWithoutExtraAssignment(?object $data): void
	{
		if ($data === null) {
			$update = false;
		} else {
			$update = true;
		}

		if ($update) {
			assertType('object', $data);
		}
	}
}