phpstan-src/tests/PHPStan/Rules/Variables/data/bug-14117.php at 4fcbc9771cced2303f94333d8d5498377e75374d · 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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
<?php declare(strict_types = 1);

namespace Bug14117;

function foo(): void {
	$key = rand(0, 2);

	if ($key === 2) {
		$value = 'test';
	}

	if ($key === 1) {
		$value = 'test';
	}

	if ($key === 1) {
		echo $value;
	}
}

function bar(): void {
	$key = rand(0, 2);

	if ($key === 2) {
		$value = 'two';
	}

	if ($key === 1) {
		$value = 'one';
	}

	if ($key === 2) {
		echo $value;
	}
}

function baz(): void {
	$key = rand(0, 3);

	if ($key === 1) {
		$value = 'one';
	}

	if ($key === 2) {
		$value = 'two';
	}

	if ($key === 3) {
		echo $value; // SHOULD report "is not defined"
	}
}

function boo(): void {
	$key = rand(0, 2);

	if ($key === 1) {
		$value = 'test';
	}

	if ($key === 1) {
		unset($value);
	}

	if ($key === 1) {
		echo $value;
	}
}

function loo(): void {
	$key = rand(0, 2);

	if ($key === 1) {
		$value = 'test';
	}

	if ($key === 1 || $key === 2) {
		unset($value);
	}

	if ($key === 1) {
		echo $value;
	}
}