Types and Definitions SilcBool TRUE FALSE SilcUInt8 SilcInt8 SilcUInt16 SilcInt16 SilcUInt32 SilcInt32 SilcUInt64 SilcInt64 SilcFloat32 SilcFloat64 SilcSocket SilcParam SilcCompareValue SilcCompare SILC_MAX SILC_MIN SILC_GET16_MSB SILC_GET32_MSB SILC_GET64_MSB SILC_GET16_LSB SILC_GET32_LSB SILC_PUT16_MSB SILC_PUT32_MSB SILC_PUT64_MSB SILC_PUT16_LSB SILC_PUT32_LSB SILC_SWAB_16 SILC_SWAB_32 SILC_PTR_TO_32 SILC_PTR_TO_64 SILC_32_TO_PTR SILC_64_TO_PTR SILC_ASSERT SILC_VERIFY silc_rol silc_rolc silc_ror silc_rorc silc_rol64 silc_rolc64 silc_ror64 silc_rorc64 silc_offsetof silc_attribute silc_likely silc_unlikely silc_prefetch silc_prefetch_block

SILC_VERIFY

NAME

    #define SILC_VERIFY(experssion)

DESCRIPTION

Verification macro that prints error message to stderr and calls abort() if the `expression' is false (ie. compares equal to zero) on debug builds (SILC_DEBUG defined), and prints error message to stderr on release builds (SILC_DEBUG undefined) but does not abort(). This macro is always compiled even if debugging (SILC_DEBUG) is not defined.

SOURCE

#if defined(SILC_DEBUG)
#define SILC_VERIFY(expr) assert((expr));
#else
#define SILC_VERIFY(expr)                                               \
  if (silc_unlikely(!(expr))) {                                         \
    SILC_LOG_ERROR(("SILC_VERIFY %s:%s:%d",                             \
                    __FILE__, __FUNCTION__, __LINE__));                 \
    silc_set_errno_reason_nofail(SILC_ERR_ASSERT, "SILC_VERIFY %s:%s:%d", \
                                 __FILE__, __FUNCTION__, __LINE__);     \
  }
#endif /* SILC_DEBUG */