Enforce SetNonZero invariant with an assertion.

PiperOrigin-RevId: 689833707
5 months ago · 9f6c3d5f39
parent 03ed5d970b
commit 9f6c3d5f39
1 changed files with 2 additions and 0 deletions
--- a/src/google/protobuf/message_lite.h
+++ b/src/google/protobuf/message_lite.h
@ -195,6 +195,7 @@ class PROTOBUF_EXPORT CachedSize {
  }

  void SetNonZero(Scalar desired) const noexcept {
+    ABSL_DCHECK_NE(desired, 0);
    __atomic_store_n(&atom_, desired, __ATOMIC_RELAXED);
  }
 #else
@ -218,6 +219,7 @@ class PROTOBUF_EXPORT CachedSize {
  }

  void SetNonZero(Scalar desired) const noexcept {
+    ABSL_DCHECK_NE(desired, 0);
    atom_.store(desired, std::memory_order_relaxed);
  }
 #endif