phpstan-src/tests/PHPStan/Rules/Arrays/data/bug-13770.php at c6e0827fb49915a6a7a74dc29ac88ef8d6d56a3e · 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
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
128
129
130
131
<?php declare(strict_types = 1);

namespace Bug13770;

class HelloWorld
{
	/**
	 * @param list<int> $array
	 * @param positive-int $index
	 */
	public function positiveIntLessThanCount(array $array, int $index): int
	{
		if ($index < count($array)) {
			return $array[$index]; // should not report
		}

		return 0;
	}

	/**
	 * @param list<int> $array
	 * @param positive-int $index
	 */
	public function positiveIntLessThanCountInversed(array $array, int $index): int
	{
		if (count($array) > $index) {
			return $array[$index]; // should not report
		}

		return 0;
	}

	/**
	 * @param list<int> $array
	 * @param int<0, max> $index
	 */
	public function nonNegativeIntLessThanCount(array $array, int $index): int
	{
		if ($index < count($array)) {
			return $array[$index]; // should not report
		}

		return 0;
	}

	/**
	 * @param list<int> $array
	 * @param positive-int $index
	 */
	public function positiveIntLessThanOrEqualCount(array $array, int $index): int
	{
		if ($index <= count($array)) {
			return $array[$index]; // SHOULD still report - off by one
		}

		return 0;
	}

	/**
	 * @param list<int> $array
	 * @param int $index
	 */
	public function anyIntLessThanCount(array $array, int $index): int
	{
		if ($index < count($array)) {
			return $array[$index]; // SHOULD still report - could be negative
		}

		return 0;
	}

	/**
	 * @param list<int> $array
	 * @param int<0, max> $index
	 */
	public function positiveIntOnNormalCountMode(array $array, int $index): int
	{
		if ($index < count($array, COUNT_NORMAL)) {
			return $array[$index]; // should not error
		}

		return 0;
	}

	/**
	 * @param list<int> $array
	 */
	public function anyIntOnUnknownCountMode(array $array, int $index, $countMode): int
	{
		if ($index < count($array, $countMode)) {
			return $array[$index]; // SHOULD still report - could be negative
		}

		return 0;
	}

	public function anyIntOnRecursiveCount(array $array, int $index): int
	{
		if ($index < count($array, COUNT_RECURSIVE)) {
			return $array[$index]; // SHOULD still report - could be negative
		}

		return 0;
	}

	/**
	 * @param list<int> $array
	 * @param 3|6|10 $index
	 */
	public function constantPositiveIntLessThanCount(array $array, int $index): int
	{
		if ($index < count($array)) {
			return $array[$index]; // should not report
		}

		return 0;
	}

	/**
	 * @param list<int> $array
	 * @param -1|3|6|10 $index
	 */
	public function constantMaybeNegativeIntLessThanCount(array $array, int $index): int
	{
		if ($index < count($array)) {
			return $array[$index]; // SHOULD still report - could be negative
		}

		return 0;
	}
}