Update overflow internals to use absl::optional

PiperOrigin-RevId: 738820220

Author: jcking

common/values/error_value.cc

@@ -88,6 +88,62 @@ ErrorValue IndexOutOfBoundsError(ptrdiff_t index) {
       absl::InvalidArgumentError(absl::StrCat("index out of bounds: ", index)));
 }
 
+ErrorValue IntDivisionByZeroError() {
+  return ErrorValue(absl::InvalidArgumentError("int division by zero"));
+}
+
+ErrorValue UintDivisionByZeroError() {
+  return ErrorValue(absl::InvalidArgumentError("uint division by zero"));
+}
+
+ErrorValue IntModuloByZeroError() {
+  return ErrorValue(absl::InvalidArgumentError("int modulo by zero"));
+}
+
+ErrorValue UintModuloByZeroError() {
+  return ErrorValue(absl::InvalidArgumentError("uint modulo by zero"));
+}
+
+ErrorValue IntOverflowError() {
+  return ErrorValue(absl::OutOfRangeError("int overflow"));
+}
+
+ErrorValue UintOverflowError() {
+  return ErrorValue(absl::OutOfRangeError("uint overflow"));
+}
+
+ErrorValue DurationOverflowError() {
+  return ErrorValue(absl::OutOfRangeError("duration overflow"));
+}
+
+ErrorValue TimestampOverflowError() {
+  return ErrorValue(absl::OutOfRangeError("timestamp overflow"));
+}
+
+ErrorValue DoubleToIntOutOfRangeError() {
+  return ErrorValue(absl::OutOfRangeError("double out of int range"));
+}
+
+ErrorValue DoubleToUintOutOfRangeError() {
+  return ErrorValue(absl::OutOfRangeError("double out of uint range"));
+}
+
+ErrorValue IntToUintOutOfRangeError() {
+  return ErrorValue(absl::OutOfRangeError("int out of uint range"));
+}
+
+ErrorValue UintToIntOutOfRangeError() {
+  return ErrorValue(absl::OutOfRangeError("uint out of int range"));
+}
+
+ErrorValue Int64ToInt32OutOfRangeError() {
+  return ErrorValue(absl::OutOfRangeError("int64 out of int32_t range"));
+}
+
+ErrorValue Uint64ToUint32OutOfRangeError() {
+  return ErrorValue(absl::OutOfRangeError("uint64 out of uint32_t range"));
+}
+
 bool IsNoSuchField(const ErrorValue& value) {
   return absl::IsNotFound(value.NativeValue()) &&
          absl::StartsWith(value.NativeValue().message(), "no_such_field");

common/values/error_value.h

@@ -183,6 +183,34 @@ ErrorValue IndexOutOfBoundsError(size_t index);
 
 ErrorValue IndexOutOfBoundsError(ptrdiff_t index);
 
+ErrorValue IntDivisionByZeroError();
+
+ErrorValue UintDivisionByZeroError();
+
+ErrorValue IntModuloByZeroError();
+
+ErrorValue UintModuloByZeroError();
+
+ErrorValue IntOverflowError();
+
+ErrorValue UintOverflowError();
+
+ErrorValue DurationOverflowError();
+
+ErrorValue TimestampOverflowError();
+
+ErrorValue DoubleToIntOutOfRangeError();
+
+ErrorValue DoubleToUintOutOfRangeError();
+
+ErrorValue IntToUintOutOfRangeError();
+
+ErrorValue UintToIntOutOfRangeError();
+
+ErrorValue Int64ToInt32OutOfRangeError();
+
+ErrorValue Uint64ToUint32OutOfRangeError();
+
 // Catch other integrals and forward them to the above ones. This is needed to
 // avoid ambiguous overload issues for smaller integral types like `int`.
 template <typename T>

eval/public/structs/cel_proto_wrap_util.cc

@@ -814,7 +814,7 @@ google::protobuf::Message* Int32FromValue(const google::protobuf::Message* proto
   if (!value.GetValue(&val)) {
     return nullptr;
   }
-  if (!cel::internal::CheckedInt64ToInt32(val).ok()) {
+  if (!cel::internal::CheckedInt64ToInt32(val)) {
     return nullptr;
   }
   int32_t ival = static_cast<int32_t>(val);
@@ -882,7 +882,7 @@ google::protobuf::Message* UInt32FromValue(const google::protobuf::Message* prot
   if (!value.GetValue(&val)) {
     return nullptr;
   }
-  if (!cel::internal::CheckedUint64ToUint32(val).ok()) {
+  if (!cel::internal::CheckedUint64ToUint32(val)) {
     return nullptr;
   }
   uint32_t ival = static_cast<uint32_t>(val);

eval/public/structs/field_access_impl.cc

@@ -30,6 +30,7 @@
 #include "absl/strings/str_cat.h"
 #include "absl/strings/string_view.h"
 #include "absl/strings/substitute.h"
+#include "absl/types/optional.h"
 #include "eval/public/structs/cel_proto_wrap_util.h"
 #include "internal/casts.h"
 #include "internal/overflow.h"
@@ -357,9 +358,9 @@ class FieldSetter {
     if (!cel_value.GetValue(&value)) {
       return false;
     }
-    absl::StatusOr<int32_t> checked_cast =
+    absl::optional<int32_t> checked_cast =
         cel::internal::CheckedInt64ToInt32(value);
-    if (!checked_cast.ok()) {
+    if (!checked_cast) {
       return false;
     }
     static_cast<const Derived*>(this)->SetInt32(*checked_cast);
@@ -371,7 +372,7 @@ class FieldSetter {
     if (!cel_value.GetValue(&value)) {
       return false;
     }
-    if (!cel::internal::CheckedUint64ToUint32(value).ok()) {
+    if (!cel::internal::CheckedUint64ToUint32(value)) {
       return false;
     }
     static_cast<const Derived*>(this)->SetUInt32(value);
@@ -437,7 +438,7 @@ class FieldSetter {
     if (!cel_value.GetValue(&value)) {
       return false;
     }
-    if (!cel::internal::CheckedInt64ToInt32(value).ok()) {
+    if (!cel::internal::CheckedInt64ToInt32(value)) {
       return false;
     }
     static_cast<const Derived*>(this)->SetEnum(value);

internal/BUILD

@@ -84,14 +84,12 @@ cc_library(
 
 cc_library(
     name = "overflow",
-    srcs = ["overflow.cc"],
     hdrs = ["overflow.h"],
     deps = [
-        ":status_macros",
         ":time",
-        "@com_google_absl//absl/status",
-        "@com_google_absl//absl/status:statusor",
+        "@com_google_absl//absl/base:config",
         "@com_google_absl//absl/time",
+        "@com_google_absl//absl/types:optional",
     ],
 )
 
@@ -101,9 +99,10 @@ cc_test(
     deps = [
         ":overflow",
         ":testing",
+        ":time",
         "@com_google_absl//absl/functional:function_ref",
-        "@com_google_absl//absl/status",
         "@com_google_absl//absl/time",
+        "@com_google_absl//absl/types:optional",
     ],
 )