Function TEST

tensorflow/core/util/overflow_test.cc:24–52

namespace {

TEST(OverflowTest, Nonnegative) {
  // Various interesting values
  std::vector<int64> interesting = {0, std::numeric_limits<int64>::max()};
  for (int i = 0; i < 63; i++) {
    int64 bit = static_cast<int64>(1) << i;
    interesting.push_back(bit);
    interesting.push_back(bit + 1);
    interesting.push_back(bit - 1);
  }
  for (const int64 mid : {static_cast<int64>(1) << 32,
                          static_cast<int64>(std::pow(2, 63.0 / 2))}) {
    for (int i = -5; i < 5; i++) {
      interesting.push_back(mid + i);
    }
  }

  // Check all pairs
  for (auto x : interesting) {
    for (auto y : interesting) {
      int64 xy = MultiplyWithoutOverflow(x, y);
      long double dxy = static_cast<long double>(x) * y;
      if (dxy > std::numeric_limits<int64>::max()) {
        EXPECT_LT(xy, 0);
      } else {
        EXPECT_EQ(dxy, xy);
      }
    }
  }
}

TEST(OverflowTest, Negative) {
  const int64 negatives[] = {-1, std::numeric_limits<int64>::min()};