Avoid div by 0 in TypeInferenceMapper.map_floor_div

Author: kaushikcfd

loopy/type_inference.py

@@ -448,6 +448,10 @@ def _map_int_div_modulo(self, expr: p.FloorDiv | p.Remainder):
             if not is_integer(expr.denominator)
             else expr.denominator
         )
+        denom = (
+            denom + 1 if is_integer(denom) and denom == 0 else denom
+        )  # avoid divide by zero.
+
         if is_integer(num) and is_integer(denom):
             return self.rec(num // denom)