Enumerations

enum class IntegerRepresentation

enum class NumericRangeRepresentation

enum NumericRepresentation

Records

• class ArithmeticOrIntegralConstant

• class ArithmeticOrIntegralConstant<T>

• class BigEnoughPromotionImpl

• class BigEnoughPromotionImpl<Lhs, Rhs, false, false>

• class BigEnoughPromotionImpl<Lhs, Rhs, true, false>

• class CheckOnFailure

• class CheckedAddFastOp

• class CheckedAddOp

• class CheckedAddOp<T, U>

• class CheckedAndOp

• class CheckedAndOp<T, U>

• class CheckedDivOp

• class CheckedDivOp<T, U>

• class CheckedLshOp

• class CheckedLshOp<T, U>

• class CheckedMaxOp

• class CheckedMaxOp<T, U>

• class CheckedMinOp

• class CheckedMinOp<T, U>

• class CheckedModOp

• class CheckedModOp<T, U>

• class CheckedMulFastAsmOp

• class CheckedMulFastOp

• class CheckedMulOp

• class CheckedMulOp<T, U>

• class CheckedNumeric

• class CheckedNumericState

• class CheckedNumericState<T, NUMERIC_INTEGER>

• class CheckedNumericState<T, NUMERIC_FLOATING>

• class CheckedOrOp

• class CheckedOrOp<T, U>

• class CheckedRshOp

• class CheckedRshOp<T, U>

• class CheckedSubFastOp

• class CheckedSubOp

• class CheckedSubOp<T, U>

• class CheckedXorOp

• class CheckedXorOp<T, U>

• class ClampedAddFastAsmOp

• class ClampedAddFastOp

• class ClampedAddOp

• class ClampedAddOp<T, U>

• class ClampedAndOp

• class ClampedAndOp<T, U>

• class ClampedDivOp

• class ClampedDivOp<T, U>

• class ClampedLshOp

• class ClampedLshOp<T, U>

• class ClampedMaxOp

• class ClampedMaxOp<T, U>

• class ClampedMinOp

• class ClampedMinOp<T, U>

• class ClampedModOp

• class ClampedModOp<T, U>

• class ClampedMulFastAsmOp

• class ClampedMulFastOp

• class ClampedMulOp

• class ClampedMulOp<T, U>

• class ClampedNegFastOp

• class ClampedNumeric

• class ClampedOrOp

• class ClampedOrOp<T, U>

• class ClampedRshOp

• class ClampedRshOp<T, U>

• class ClampedSubFastAsmOp

• class ClampedSubFastOp

• class ClampedSubOp

• class ClampedSubOp<T, U>

• class ClampedXorOp

• class ClampedXorOp<T, U>

• class DstRangeRelationToSrcRangeImpl

• class DstRangeRelationToSrcRangeImpl<Dst, Src, Bounds, IntegerRepresentation::kSigned, IntegerRepresentation::kSigned, NumericRangeRepresentation::kNotContained>

• class DstRangeRelationToSrcRangeImpl<Dst, Src, Bounds, IntegerRepresentation::kUnsigned, IntegerRepresentation::kUnsigned, NumericRangeRepresentation::kNotContained>

• class DstRangeRelationToSrcRangeImpl<Dst, Src, Bounds, IntegerRepresentation::kSigned, IntegerRepresentation::kUnsigned, NumericRangeRepresentation::kNotContained>

• class DstRangeRelationToSrcRangeImpl<Dst, Src, Bounds, IntegerRepresentation::kUnsigned, IntegerRepresentation::kSigned, NumericRangeRepresentation::kNotContained>

• class ExtractCallableParamType

• class ExtractCallableParamType<bool (Callable::*)(Param)>

• class ExtractPredicateParamTypeImpl

• class ExtractPredicateParamTypeImpl<Predicate>

• class ExtractPredicateParamTypeImpl<bool (&)(Param)>

• class ExtractPredicateParamTypeImpl<bool (*)(Param)>

• class FastIntegerArithmeticPromotionImpl

• class FastIntegerArithmeticPromotionImpl<Lhs, Rhs>

• class GetNumericRepresentation

• class IntegerForDigitsAndSignImpl

• class IntegerForDigitsAndSignImpl<8, true>

• class IntegerForDigitsAndSignImpl<8, false>

• class IntegerForDigitsAndSignImpl<16, true>

• class IntegerForDigitsAndSignImpl<16, false>

• class IntegerForDigitsAndSignImpl<32, true>

• class IntegerForDigitsAndSignImpl<32, false>

• class IntegerForDigitsAndSignImpl<64, true>

• class IntegerForDigitsAndSignImpl<64, false>

• class IsEqual

• class IsGreater

• class IsGreaterOrEqual

• class IsLess

• class IsLessOrEqual

• class IsNotEqual

• class IsValueInRangeFastOp

• class IsValueInRangeFastOp<Dst, Src>

• class MathWrapper

• class NarrowingRange

• class RangeCheck

• class SaturateFastAsmOp

• class SaturateFastOp

• class SaturateFastOp<Dst, Src>

• class SaturationDefaultLimits

• class StrictNumeric

• class UnderlyingTypeImpl

• class UnderlyingTypeImpl<CheckedNumeric<T>>

• class UnderlyingTypeImpl<ClampedNumeric<T>>

• class UnderlyingTypeImpl<StrictNumeric<T>>

• class UnsignedOrFloatForSize

• class UnsignedOrFloatForSize<Numeric>

Functions

• template <typename T>

  ClampedNumeric<T> <deduction guide for ClampedNumeric> (T )

• template <typename T>

  StrictNumeric<T> <deduction guide for StrictNumeric> (T )

• template <typename T>

  T SaturatedNegWrapper (T value)

  Defined at line 23 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math_impl.h

• template <class T>

  T FromLittleEndian (std::span<const uint8_t, sizeof(T)> bytes)

  Converts from a byte array to an integer. We use `std::ranges::copy` and

  `std::bit_cast` to support `constexpr` evaluation while maintaining optimal

  runtime performance (compilers can optimize this to a single load). We avoid

  `safemath::span` here to keep `base/numerics` free of dependencies on other

  parts of `base`. See https://godbolt.org/z/cssPcEnG4 for a proof.

  Defined at line 25 of file ../../zircon/third_party/ulib/safemath/include/safemath/basic_ops_impl.h

• template <typename T>

  bool IsValueNegative (T value)

  Determines if a numeric value is negative without throwing compiler

  warnings on: unsigned(value)

  <

  0.

  Defined at line 40 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

• template <class T>

  std::array<uint8_t, sizeof(T)> ToLittleEndian (T val)

  Converts to a byte array from an integer. We use `std::bit_cast` for

  `constexpr` support and optimal performance.

  Defined at line 41 of file ../../zircon/third_party/ulib/safemath/include/safemath/basic_ops_impl.h

• template <typename T>

  T SaturatedAbsWrapper (T value)

  Defined at line 45 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math_impl.h

• template <typename T>

  auto ConditionalNegate (T x, bool is_negative)

  This performs a fast negation, returning a signed value. It works on unsigned

  arguments, but probably doesn't do what you want for any unsigned value

  larger than max / 2 + 1 (i.e. signed min cast to unsigned).

  Defined at line 53 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

• template <typename T>

  auto SafeUnsignedAbs (T value)

  This performs a safe, absolute value via unsigned overflow.

  Defined at line 64 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

• template <typename T>

  bool CheckedAddImpl (T x, T y, T * result)

  Defined at line 71 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math_impl.h

• template <typename Dst, typename Src>

  bool IsValueInRangeForNumericType (Src value)

  Convenience function that returns true if the supplied value is in range

  for the destination type.

  Defined at line 83 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <typename Dst, class CheckHandler = internal::CheckOnFailure, typename Src>

  Dst checked_cast (Src value)

  checked_cast

  <

  > is analogous to static_cast

  <

  > for numeric types,

  except that it CHECKs that the specified numeric conversion will not

  overflow or underflow. NaN source will always trigger a CHECK.

  Defined at line 102 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <typename T>

  T NegateWrapper (T value)

  Wrap the unary operations to allow SFINAE when instantiating integrals versus

  floating points. These don't perform any overflow checking. Rather, they

  exhibit well-defined overflow semantics and rely on the caller to detect

  if an overflow occurred.

  Defined at line 126 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_math_shared_impl.h

• template <typename T>

  bool CheckedSubImpl (T x, T y, T * result)

  Defined at line 134 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math_impl.h

• template <typename T>

  typename std::make_unsigned<T>::type InvertWrapper (T value)

  Defined at line 140 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_math_shared_impl.h

• template <typename Dst, template <typename> class S, typename Src>

  Dst saturated_cast_impl (Src value, RangeCheck constraint)

  Defined at line 142 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <typename T>

  T AbsWrapper (T value)

  Defined at line 146 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_math_shared_impl.h

• template <template <typename, typename> class M, typename L, typename R>

  ClampedNumeric<typename MathWrapper<M, L, R>::type> ClampMathOp (L lhs, R rhs)

  These implement the variadic wrapper for the math operations.

  Defined at line 185 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <typename T>

  bool CheckedMulImpl (T x, T y, T * result)

  Defined at line 197 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math_impl.h

• template <template <typename, typename> class M, typename L, typename R, typename... Args>

  auto ClampMathOp (L lhs, R rhs, Args... args)

  General purpose wrapper template for arithmetic operations.

  Defined at line 198 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampAdd (L lhs, R rhs, Args... args)

  Defined at line 202 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedAddOp, L, R>::type> operator+ (L lhs, R rhs)

  Defined at line 202 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <typename Dst, template <typename> class SaturationHandler = SaturationDefaultLimits, typename Src>

  Dst saturated_cast (Src value)

  saturated_cast

  <

  > is analogous to static_cast

  <

  > for numeric types, except

  that the specified numeric conversion will saturate by default rather than

  overflow or underflow, and NaN assignment to an integral will return 0.

  All boundary condition behaviors can be overridden with a custom handler.

  Defined at line 202 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <, , >

  auto ClampSub (L lhs, R rhs, Args... args)

  Defined at line 203 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedSubOp, L, R>::type> operator- (L lhs, R rhs)

  Defined at line 203 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampMul (L lhs, R rhs, Args... args)

  Defined at line 204 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedMulOp, L, R>::type> operator* (L lhs, R rhs)

  Defined at line 204 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampDiv (L lhs, R rhs, Args... args)

  Defined at line 205 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedDivOp, L, R>::type> operator/ (L lhs, R rhs)

  Defined at line 205 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampMod (L lhs, R rhs, Args... args)

  Defined at line 206 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedModOp, L, R>::type> operator% (L lhs, R rhs)

  Defined at line 206 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampLsh (L lhs, R rhs, Args... args)

  Defined at line 207 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedLshOp, L, R>::type> operator<< (L lhs, R rhs)

  Defined at line 207 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampRsh (L lhs, R rhs, Args... args)

  Defined at line 208 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedRshOp, L, R>::type> operator>> (L lhs, R rhs)

  Defined at line 208 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampAnd (L lhs, R rhs, Args... args)

  Defined at line 209 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedAndOp, L, R>::type> operator& (L lhs, R rhs)

  Defined at line 209 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampOr (L lhs, R rhs, Args... args)

  Defined at line 210 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedOrOp, L, R>::type> operator| (L lhs, R rhs)

  Defined at line 210 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampXor (L lhs, R rhs, Args... args)

  Defined at line 211 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, >

  ClampedNumeric<typename MathWrapper<ClampedXorOp, L, R>::type> operator^ (L lhs, R rhs)

  Defined at line 211 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampMax (L lhs, R rhs, Args... args)

  Defined at line 212 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <, , >

  auto ClampMin (L lhs, R rhs, Args... args)

  Defined at line 213 of file ../../zircon/third_party/ulib/safemath/include/safemath/clamped_math.h

• template <typename Dst, typename Src, typename SrcType = UnderlyingType<Src>>

  Dst strict_cast (Src value)

  If you got here from a compiler error, it's because you tried to assign

  from a source type to a destination type that has insufficient range.

  The solution may be to change the destination type you're assigning to,

  and use one large enough to represent the source.

  Alternatively, you may be better served with the checked_cast

  <

  > or

  saturated_cast

  <

  > template functions for your particular use case.

  Defined at line 230 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <typename T>

  StrictNumeric<UnderlyingType<T>> MakeStrictNum (const T value)

  Convenience wrapper returns a StrictNumeric from the provided arithmetic

  type.

  Defined at line 309 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <, >

  bool operator< (L lhs, R rhs)

  Defined at line 320 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <, >

  bool operator<= (L lhs, R rhs)

  Defined at line 321 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <, >

  bool operator> (L lhs, R rhs)

  Defined at line 322 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <, >

  bool operator>= (L lhs, R rhs)

  Defined at line 323 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <, >

  bool operator== (L lhs, R rhs)

  Defined at line 324 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <, >

  bool operator!= (L lhs, R rhs)

  Defined at line 325 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions.h

• template <template <typename, typename> class M, typename L, typename R>

  CheckedNumeric<typename MathWrapper<M, L, R>::type> CheckMathOp (L lhs, R rhs)

  These implement the variadic wrapper for the math operations.

  Defined at line 336 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <template <typename, typename> class M, typename L, typename R, typename... Args>

  auto CheckMathOp (L lhs, R rhs, Args... args)

  General purpose wrapper template for arithmetic operations.

  Defined at line 349 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <typename Dst, template <typename> class Bounds = std::numeric_limits, typename Src>

  RangeCheck DstRangeRelationToSrcRange (Src value)

  Defined at line 349 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

• template <, , >

  auto CheckAdd (L lhs, R rhs, Args... args)

  Defined at line 353 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckMod (L lhs, R rhs, Args... args)

  Defined at line 357 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckLsh (L lhs, R rhs, Args... args)

  Defined at line 358 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <typename U>

  U GetNumericValueForTest (const CheckedNumeric<U> & src)

  This friend method is available solely for providing more detailed logging

  in the tests. Do not implement it in production code, because the

  underlying values may change at any time.

• template <typename T>

  CheckedNumeric<T> <deduction guide for CheckedNumeric> (T )

• template <typename Dst, typename Src>

  bool IsValidForType (const CheckedNumeric<Src> value)

  Convenience functions to avoid the ugly template disambiguator syntax.

  Defined at line 318 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <typename Dst, typename Src>

  StrictNumeric<Dst> ValueOrDieForType (const CheckedNumeric<Src> value)

  Defined at line 323 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <typename Dst, typename Src, typename Default>

  StrictNumeric<Dst> ValueOrDefaultForType (CheckedNumeric<Src> value, Default default_value)

  Defined at line 329 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedAddOp, L, R>::type> operator+ (L lhs, R rhs)

  Defined at line 353 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckSub (L lhs, R rhs, Args... args)

  Defined at line 354 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedSubOp, L, R>::type> operator- (L lhs, R rhs)

  Defined at line 354 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckMul (L lhs, R rhs, Args... args)

  Defined at line 355 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedMulOp, L, R>::type> operator* (L lhs, R rhs)

  Defined at line 355 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckDiv (L lhs, R rhs, Args... args)

  Defined at line 356 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedDivOp, L, R>::type> operator/ (L lhs, R rhs)

  Defined at line 356 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedModOp, L, R>::type> operator% (L lhs, R rhs)

  Defined at line 357 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedLshOp, L, R>::type> operator<< (L lhs, R rhs)

  Defined at line 358 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckRsh (L lhs, R rhs, Args... args)

  Defined at line 359 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedRshOp, L, R>::type> operator>> (L lhs, R rhs)

  Defined at line 359 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckAnd (L lhs, R rhs, Args... args)

  Defined at line 360 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedAndOp, L, R>::type> operator& (L lhs, R rhs)

  Defined at line 360 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckOr (L lhs, R rhs, Args... args)

  Defined at line 361 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedOrOp, L, R>::type> operator| (L lhs, R rhs)

  Defined at line 361 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckXor (L lhs, R rhs, Args... args)

  Defined at line 362 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, >

  CheckedNumeric<typename MathWrapper<CheckedXorOp, L, R>::type> operator^ (L lhs, R rhs)

  Defined at line 362 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckMax (L lhs, R rhs, Args... args)

  Defined at line 363 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <, , >

  auto CheckMin (L lhs, R rhs, Args... args)

  Defined at line 364 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <typename L, typename R>

  L * operator+ (L * lhs, StrictNumeric<R> rhs)

  These are some extra StrictNumeric operators to support simple pointer

  arithmetic with our result types. Since wrapping on a pointer is always

  bad, we trigger the CHECK condition here.

  Defined at line 370 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <typename L, typename R>

  L * operator- (L * lhs, StrictNumeric<R> rhs)

  Defined at line 378 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math.h

• template <typename Src, typename Dst = std::make_signed_t<UnderlyingType<Src>>>

  auto as_signed (Src value)

  as_signed

  <

  > returns the supplied integral value (or integral castable

  Numeric template) cast as a signed integral of equivalent precision.

  I.e. it's mostly an alias for: static_cast

  <std

  ::make_signed

  <T

  >::type>(t)

  Defined at line 588 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

• template <typename Src, typename Dst = std::make_unsigned_t<UnderlyingType<Src>>>

  auto as_unsigned (Src value)

  as_unsigned

  <

  > returns the supplied integral value (or integral castable

  Numeric template) cast as an unsigned integral of equivalent precision.

  I.e. it's mostly an alias for: static_cast

  <std

  ::make_unsigned

  <T

  >::type>(t)

  Defined at line 598 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

• template <template <typename, typename> typename C, typename L, typename R>

  bool SafeCompare (L lhs, R rhs)

  These perform the actual math operations on the CheckedNumerics.

  Binary arithmetic operations.

  Defined at line 680 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

• template <typename Dsttypename Src = Dst>

  Dst CommonMaxOrMin (bool is_min)

  This is a wrapper to generate return the max or min for a supplied type.

  If the argument is false, the returned value is the maximum. If true the

  returned value is the minimum.

  Defined at line 716 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

Concepts

template <typename T> IsCheckedNumeric kIsCheckedNumeric<T>

template <typename T> IsClampedNumeric kIsClampedNumeric<T>

template <typename T> IsStrictNumeric kIsStrictNumeric<T>

template <typename T> IsNumeric kIsNumeric<T>

template <typename L, typename R> IsCheckedOp (IsCheckedNumeric<L> && IsNumeric<R>) || (IsCheckedNumeric<R> && IsNumeric<L>)

template <typename L, typename R> IsClampedOp !IsCheckedOp<L, R> && ((IsClampedNumeric<L> && IsNumeric<R>) || (IsClampedNumeric<R> && IsNumeric<L>))

template <typename Ltypename R> IsStrictOp !IsCheckedOp<L, R> && !IsClampedOp<L, R> && ((IsStrictNumeric<L> && IsNumeric<R>) || (IsStrictNumeric<R> && IsNumeric<L>))

Variables

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kMaxExponent

const int kIntegerBitsPlusSign

const int kIntegerBitsPlusSign

const int kIntegerBitsPlusSign

const int kIntegerBitsPlusSign

const int kIntegerBitsPlusSign

const int kIntegerBitsPlusSign

const int kIntegerBitsPlusSign

const int kIntegerBitsPlusSign

const int kIntegerBitsPlusSign

const bool kEnableAsmCode

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const auto kStaticDstRangeRelationToSrcRange

const auto kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const safemath::internal::NumericRangeRepresentation kStaticDstRangeRelationToSrcRange

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsNumericRangeContained

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsTypeInRangeForNumericType

const bool kIsBigEnoughPromotionContained

const bool kIsBigEnoughPromotionContained

const bool kIsBigEnoughPromotionContained

const bool kIsBigEnoughPromotionContained

const bool kIsBigEnoughPromotionContained

const bool kIsBigEnoughPromotionContained

const bool kIsBigEnoughPromotionContained

const bool kIsBigEnoughPromotionContained

const bool kIsBigEnoughPromotionContained

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsIntegerArithmeticSafe

const bool kIsFastIntegerArithmeticPromotionContained

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsCheckedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsClampedNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsStrictNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsNumeric

const bool kIsMaxInRangeForNumericType

const bool kIsMaxInRangeForNumericType

const bool kIsMaxInRangeForNumericType

const bool kIsMaxInRangeForNumericType

const bool kIsMaxInRangeForNumericType

const bool kIsMaxInRangeForNumericType

const bool kIsMaxInRangeForNumericType

const bool kIsMaxInRangeForNumericType

const bool kIsMaxInRangeForNumericType

const bool kIsMinInRangeForNumericType

const bool kIsMinInRangeForNumericType

const long kCommonMax

const int kCommonMax

const int kCommonMax

const short kCommonMax

const int kCommonMax

const long kCommonMax

const long long kCommonMax

const int kCommonMax

const Dst kCommonMax

const short kCommonMin

const Dst kCommonMin