Prevent crashing for negative bit shifts

phpstan · Jun 20, 2022 · 23cb0c9 · 23cb0c9
1 parent 3926ff8
commit 23cb0c9
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 2 deletions.
diff --git a/phpstan-baseline.neon b/phpstan-baseline.neon
@@ -245,12 +245,12 @@ parameters:
 			path: src/Reflection/InitializerExprTypeResolver.php
 
 		-
-			message: "#^Binary operation \"\\<\\<\" between bool\\|float\\|int\\|string\\|null and bool\\|float\\|int\\|string\\|null results in an error\\.$#"
+			message: "#^Binary operation \"\\<\\<\" between bool\\|float\\|int\\|string\\|null and bool\\|float\\|int\\<0, max\\>\\|string\\|null results in an error\\.$#"
 			count: 1
 			path: src/Reflection/InitializerExprTypeResolver.php
 
 		-
-			message: "#^Binary operation \"\\>\\>\" between bool\\|float\\|int\\|string\\|null and bool\\|float\\|int\\|string\\|null results in an error\\.$#"
+			message: "#^Binary operation \"\\>\\>\" between bool\\|float\\|int\\|string\\|null and bool\\|float\\|int\\<0, max\\>\\|string\\|null results in an error\\.$#"
 			count: 1
 			path: src/Reflection/InitializerExprTypeResolver.php
 

diff --git a/src/Reflection/InitializerExprTypeResolver.php b/src/Reflection/InitializerExprTypeResolver.php
@@ -1097,6 +1097,10 @@ public function getShiftLeftType(Expr $left, Expr $right, callable $getTypeCallb
 						throw new ShouldNotHappenException();
 					}
 
+					if ($rightNumberType->getValue() < 0) {
+						return new ErrorType();
+					}
+
 					$resultType = $this->getTypeFromValue($leftNumberType->getValue() << $rightNumberType->getValue());
 					if ($generalize) {
 						$resultType = $resultType->generalize(GeneralizePrecision::lessSpecific());
@@ -1146,6 +1150,10 @@ public function getShiftRightType(Expr $left, Expr $right, callable $getTypeCall
 						throw new ShouldNotHappenException();
 					}
 
+					if ($rightNumberType->getValue() < 0) {
+						return new ErrorType();
+					}
+
 					$resultType = $this->getTypeFromValue($leftNumberType->getValue() >> $rightNumberType->getValue());
 					if ($generalize) {
 						$resultType = $resultType->generalize(GeneralizePrecision::lessSpecific());

diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -916,6 +916,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7153.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/in-array-non-empty.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-4117.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7490.php');
 	}
 
 	/**

diff --git a/tests/PHPStan/Analyser/data/bug-7490.php b/tests/PHPStan/Analyser/data/bug-7490.php
@@ -0,0 +1,10 @@
+<?php declare(strict_types=1);
+
+namespace Bug7490;
+
+use function PHPStan\Testing\assertType;
+
+function () {
+	assertType('*ERROR*', 1 << -1);
+	assertType('*ERROR*', 1 >> -1);
+};