phpstan-src/tests/PHPStan/Rules/Variables/data/bug-7806.php at b15cf90e93037f09e2b25aef2b2dc43c4cb6d6de · 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
<?php declare(strict_types = 1);

namespace Bug7806;

class TestMethod {
	/**
	 * @param array<string>|null $reasons
	 * @throws \Exception
	 */
	function check(array &$reasons = null): void {
		$fileName = time() % 2 ? "abc":null;
		if (!$fileName) {
			$reasons[] = sprintf("Dependency check fail");
			throw new \Exception("check failed");
		}
	}

	function test():void {
		try {
			$this->check($reasons);
			printf("ok\n");
		} catch (\Exception $e) {
			if (!empty($reasons)) {
				$e = new \Exception("Dependency check failed: " . implode(', ', $reasons), 0, $e);
			}
			throw new \Exception("Failed", 0, $e);
		}
	}
}

/**
 * @param array<string>|null $reasons
 * @throws \Exception
 */
function check1(array &$reasons = null): void {
	$fileName = time() % 2 ? "abc":null;
	if (!$fileName) {
		$reasons[] = sprintf("Dependency check fail");
		throw new \Exception("check failed");
	}
}

function test1():void {
	try {
		check1($reasons);
		printf("ok\n");
	} catch (\Exception $e) {
		if (!empty($reasons)) {
			$e = new \Exception("Dependency check failed: " . implode(', ', $reasons), 0, $e);
		}
		throw new \Exception("Failed", 0, $e);
	}
}