fix int overflow (vimeo#5369)

IMULMUL · Mar 12, 2021 · cddef00 · cddef00
1 parent 3817193
commit cddef00
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/NonDivArithmeticOpAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/NonDivArithmeticOpAnalyzer.php
@@ -37,6 +37,7 @@
 use function preg_match;
 use function strtolower;
 use function is_int;
+use const PHP_INT_MAX;
 
 /**
  * @internal
@@ -312,7 +313,12 @@ private static function analyzeNonDivOperands(
             } elseif ($parent instanceof PhpParser\Node\Expr\BinaryOp\Mod) {
                 $calculated_type = Type::getInt(false, $left_type_part->value % $right_type_part->value);
             } elseif ($parent instanceof PhpParser\Node\Expr\BinaryOp\Mul) {
-                $calculated_type = Type::getInt(false, $left_type_part->value * $right_type_part->value);
+                $result = $left_type_part->value * $right_type_part->value;
+                if ($result <= PHP_INT_MAX) {
+                    $calculated_type = Type::getInt(false, $result);
+                } else {
+                    $calculated_type = Type::getFloat($result);
+                }
             } elseif ($parent instanceof PhpParser\Node\Expr\BinaryOp\Pow) {
                 $calculated_type = Type::getInt(false, $left_type_part->value ** $right_type_part->value);
             } elseif ($parent instanceof PhpParser\Node\Expr\BinaryOp\BitwiseOr) {

diff --git a/tests/BinaryOperationTest.php b/tests/BinaryOperationTest.php
@@ -388,6 +388,13 @@ function foo($a, $b): void {
                             echo "Actually, zero\n";
                         }
                     }'
+            ],
+            'IntOverflow' => [
+                '<?php
+                    $a = (1024 * 1024 * 1024 * 1024 * 1024 * 1024 * 1024);',
+                'assertions' => [
+                    '$a' => 'float'
+                ],
             ]
         ];
     }