--- a/js/src/jit/RangeAnalysis.cpp
+++ b/js/src/jit/RangeAnalysis.cpp
@@ -604,23 +604,29 @@ void
 Range::setDouble(double l, double h)
 {
     MOZ_ASSERT(!(l > h));
 
     // Infer lower_, upper_, hasInt32LowerBound_, and hasInt32UpperBound_.
     if (l >= INT32_MIN && l <= INT32_MAX) {
         lower_ = int32_t(::floor(l));
         hasInt32LowerBound_ = true;
+    } else if (l >= INT32_MAX) {
+        lower_ = INT32_MAX;
+        hasInt32LowerBound_ = true;
     } else {
         lower_ = INT32_MIN;
         hasInt32LowerBound_ = false;
     }
     if (h >= INT32_MIN && h <= INT32_MAX) {
         upper_ = int32_t(::ceil(h));
         hasInt32UpperBound_ = true;
+    } else if (h <= INT32_MIN) {
+        upper_ = INT32_MIN;
+        hasInt32UpperBound_ = true;
     } else {
         upper_ = INT32_MAX;
         hasInt32UpperBound_ = false;
     }
 
     // Infer max_exponent_.
     uint16_t lExp = ExponentImpliedByDouble(l);
     uint16_t hExp = ExponentImpliedByDouble(h);