Merge pull request #9247 from aboyton/divide-zero

Fixes #9246
vimeo · Feb 9, 2023 · 375e5da · 375e5da
2 parents 4eacb2f + 5d97690
commit 375e5da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/ArithmeticOpAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/ArithmeticOpAnalyzer.php
@@ -962,7 +962,7 @@ public static function arithmeticOperation(
         } elseif ($operation instanceof PhpParser\Node\Expr\BinaryOp\ShiftRight) {
             $result = $operand1 >> $operand2;
         } elseif ($operation instanceof PhpParser\Node\Expr\BinaryOp\Div) {
-            if ($operand2 === 0) {
+            if ($operand2 === 0 || $operand2 === 0.0) {
                 return Type::getNever();
             }