cc: Handle overflow/underflow in MathUtil::RoundUp/RoundDown functions.

cc/base/math_util_unittest.cc

 // Copyright 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "cc/base/math_util.h"
 
 #include <cmath>
 
 #include "cc/test/geometry_test_utils.h"
 #include "testing/gmock/include/gmock/gmock.h"
@@ skipping 209 matching lines @@
 }
 
 TEST(MathUtilTest, RoundUp) {
   for (int multiplier = 1; multiplier <= 10; ++multiplier) {
     // Try attempts in descending order, so that we can
     // determine the correct value before it's needed.
     int correct;
     for (int attempt = 5 * multiplier; attempt >= -5 * multiplier; --attempt) {
       if ((attempt % multiplier) == 0)
         correct = attempt;
-      EXPECT_EQ(correct, MathUtil::RoundUp(attempt, multiplier))
+      EXPECT_EQ(correct, MathUtil::UncheckedRoundUp(attempt, multiplier))
           << "attempt=" << attempt << " multiplier=" << multiplier;
     }
   }
 
   for (unsigned multiplier = 1; multiplier <= 10; ++multiplier) {
     // Try attempts in descending order, so that we can
     // determine the correct value before it's needed.
     unsigned correct;
     for (unsigned attempt = 5 * multiplier; attempt > 0; --attempt) {
       if ((attempt % multiplier) == 0)
         correct = attempt;
-      EXPECT_EQ(correct, MathUtil::RoundUp(attempt, multiplier))
+      EXPECT_EQ(correct, MathUtil::UncheckedRoundUp(attempt, multiplier))
           << "attempt=" << attempt << " multiplier=" << multiplier;
     }
-    EXPECT_EQ(0u, MathUtil::RoundUp(0u, multiplier))
+    EXPECT_EQ(0u, MathUtil::UncheckedRoundUp(0u, multiplier))
         << "attempt=0 multiplier=" << multiplier;
   }
 }
 
+TEST(MathUtilTest, RoundUpOverFlow) {
+  // Rounding up 123 by 50 is 150, which overflows int8_t, but fits in uint8_t.
+  EXPECT_FALSE(MathUtil::VerifyRoundup<int8_t>(123, 50));
+  EXPECT_TRUE(MathUtil::VerifyRoundup<uint8_t>(123, 50));
+}
+
 TEST(MathUtilTest, RoundDown) {
   for (int multiplier = 1; multiplier <= 10; ++multiplier) {
     // Try attempts in ascending order, so that we can
     // determine the correct value before it's needed.
     int correct;
     for (int attempt = -5 * multiplier; attempt <= 5 * multiplier; ++attempt) {
       if ((attempt % multiplier) == 0)
         correct = attempt;
-      EXPECT_EQ(correct, MathUtil::RoundDown(attempt, multiplier))
+      EXPECT_EQ(correct, MathUtil::UncheckedRoundDown(attempt, multiplier))
           << "attempt=" << attempt << " multiplier=" << multiplier;
     }
   }
 
   for (unsigned multiplier = 1; multiplier <= 10; ++multiplier) {
     // Try attempts in ascending order, so that we can
     // determine the correct value before it's needed.
     unsigned correct;
     for (unsigned attempt = 0; attempt <= 5 * multiplier; ++attempt) {
       if ((attempt % multiplier) == 0)
         correct = attempt;
-      EXPECT_EQ(correct, MathUtil::RoundDown(attempt, multiplier))
+      EXPECT_EQ(correct, MathUtil::UncheckedRoundDown(attempt, multiplier))
           << "attempt=" << attempt << " multiplier=" << multiplier;
     }
   }
 }
 
+TEST(MathUtilTest, RoundDownUnderFlow) {
+  // Rounding down -123 by 50 is -150, which underflows int8_t, but fits in
+  // int16_t.
+  EXPECT_FALSE(MathUtil::VerifyRoundDown<int8_t>(-123, 50));
+  EXPECT_TRUE(MathUtil::VerifyRoundDown<int16_t>(-123, 50));
+}
+
 }  // namespace
 }  // namespace cc