Function CheckedMod

internal/overflow.cc:145–150

}

absl::StatusOr<int64_t> CheckedMod(int64_t x, int64_t y) {
  CEL_RETURN_IF_ERROR(
      CheckRange(x != kInt64Min || y != -1, "integer overflow"));
  CEL_RETURN_IF_ERROR(CheckArgument(y != 0, "modulus by zero"));
  return x % y;
}

absl::StatusOr<uint64_t> CheckedAdd(uint64_t x, uint64_t y) {
#if ABSL_HAVE_BUILTIN(__builtin_add_overflow)