fix

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-14213.php

@@ -12,7 +12,11 @@ public static function coalesce_int_range(): void
 
 		if (rand(0, 1)) {
 			$x0 = rand(0, 1);
+		}
+		if (rand(0, 1)) {
 			$x1 = rand(2, 3);
+		}
+		if (rand(0, 1)) {
 			$x2 = rand(4, 5);
 		}
 
@@ -31,8 +35,14 @@ public static function coalesce_int_range_after_maybe_defined(): void
 
 		if (rand(0, 1)) {
 			$maybeDefined = 10;
+		}
+		if (rand(0, 1)) {
 			$x0 = rand(0, 1);
+		}
+		if (rand(0, 1)) {
 			$x1 = rand(2, 3);
+		}
+		if (rand(0, 1)) {
 			$x2 = rand(4, 5);
 		}
 
@@ -53,7 +63,11 @@ public static function coalesce_int_range_with_last_non_nullable(): void
 
 		if (rand(0, 1)) {
 			$x0 = rand(0, 1);
+		}
+		if (rand(0, 1)) {
 			$x1 = rand(2, 3);
+		}
+		if (rand(0, 1)) {
 			$x2 = rand(4, 5);
 		}
 

tests/PHPStan/Rules/Variables/NullCoalesceRuleTest.php

@@ -352,4 +352,9 @@ public function testPr4372(): void
 		$this->analyse([__DIR__ . '/data/pr-4372-null-coalesce.php'], []);
 	}
 
+	public function testBug14213(): void
+	{
+		$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-14213.php'], []);
+	}
+
 }