phpstan-src/tests/PHPStan/Rules/Comparison/data/bug-14469.php at 8f158b1c80724e9826c2816b21d5079512f2b399 · 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
<?php

namespace Bug14469;

function t(array $R, bool $var1, object $user, bool $is): array {
    $aa = null;

    if ($var1) {
        $aa = $user->id  === 10 ? 2 : null;
    } elseif ($R['aa']) {
        $aa = $R['aa'];
    }

    if ($aa) {
        if (!$R['aa']) {
            return [];
        }
    }
	return $R;
}

/** Property fetch variant */
function propertyFetch(object $obj, bool $var1, object $user): void {
    $aa = null;

    if ($var1) {
        $aa = $user->id === 10 ? 2 : null;
    } elseif ($obj->prop) {
        $aa = $obj->prop;
    }

    if ($aa) {
        if (!$obj->prop) {
            return;
        }
    }
}

/** Nested array fetch variant */
function nestedArrayFetch(array $R, bool $var1, object $user): void {
    $aa = null;

    if ($var1) {
        $aa = $user->id === 10 ? 2 : null;
    } elseif ($R['a']['b']) {
        $aa = $R['a']['b'];
    }

    if ($aa) {
        if (!$R['a']['b']) {
            return;
        }
    }
}

/** Multiple elseif branches */
function multipleElseif(array $R, bool $var1, bool $var2, object $user): void {
    $aa = null;

    if ($var1) {
        $aa = $user->id === 10 ? 2 : null;
    } elseif ($var2) {
        $aa = 5;
    } elseif ($R['aa']) {
        $aa = $R['aa'];
    }

    if ($aa) {
        if (!$R['aa']) {
            return;
        }
    }
}

/** @param mixed $input */
function variableEquivalent(bool $var1, object $user, $input): void {
	$aa = null;
	$bb = $input;

	if ($var1) {
		$aa = $user->id === 10 ? 2 : null;
	} elseif ($bb) {
		$aa = $bb;
	}

	if ($aa) {
		if (!$bb) {
			return;
		}
	}
}