Function CheckedSub

internal/overflow.cc:90–102

}

absl::StatusOr<int64_t> CheckedSub(int64_t x, int64_t y) {
#if ABSL_HAVE_BUILTIN(__builtin_sub_overflow)
  int64_t diff;
  if (!__builtin_sub_overflow(x, y, &diff)) {
    return diff;
  }
  return absl::OutOfRangeError("integer overflow");
#else
  CEL_RETURN_IF_ERROR(CheckRange(
      y < 0 ? x <= kInt64Max + y : x >= kInt64Min + y, "integer overflow"));
  return x - y;
#endif
}

absl::StatusOr<int64_t> CheckedNegation(int64_t v) {
#if ABSL_HAVE_BUILTIN(__builtin_mul_overflow)