assert-api.h

 
#pragma once
 
#include <stdlib.h>
#include <assert.h>
 
#include <winpr/config.h>
#include <winpr/platform.h>
 
#if defined(WITH_VERBOSE_WINPR_ASSERT) && (WITH_VERBOSE_WINPR_ASSERT != 0)
#define winpr_internal_assert(cond, file, fkt, line)        \
  do                                                      \
  {                                                       \
    if (!(cond))                                        \
      winpr_int_assert(#cond, (file), (fkt), (line)); \
  } while (0)
 
#else
#define winpr_internal_assert(cond, file, fkt, line) assert(cond)
#endif
 
#ifdef __cplusplus
extern "C"
{
#endif
 
  /* this function meant only to be used by WINPR_ASSERT
   * it needs to be exported as our assert implementation calls this for debug logging.
   *
   * also export when WITH_VERBOSE_WINPR_ASSERT is disabled as other software might compile with
   * it enabled
   */
  WINPR_API WINPR_NORETURN(void winpr_int_assert(const char* condstr, const char* file,
                                                 const char* fkt, size_t line));
 
#ifdef __cplusplus
}
#endif
 
#define WINPR_ASSERT_AT(cond, file, fkt, line)                                                     \
  do                                                                                             \
  {                                                                                              \
    WINPR_PRAGMA_DIAG_PUSH                                                                     \
    WINPR_PRAGMA_DIAG_TAUTOLOGICAL_CONSTANT_OUT_OF_RANGE_COMPARE                               \
    WINPR_PRAGMA_DIAG_TAUTOLOGICAL_VALUE_RANGE_COMPARE                                         \
    WINPR_PRAGMA_DIAG_IGNORED_UNKNOWN_PRAGMAS                                                  \
    WINPR_DO_COVERITY_PRAGMA(                                                                  \
        coverity compliance block deviate 'CONSTANT_EXPRESSION_RESULT' 'WINPR_ASSERT')         \
    WINPR_DO_COVERITY_PRAGMA(coverity compliance block deviate : 2 'NO_EFFECT' 'WINPR_ASSERT') \
                                                                                                   \
    winpr_internal_assert((cond), (file), (fkt), (line));                                      \
                                                                                                   \
    WINPR_DO_COVERITY_PRAGMA(                                                                  \
        coverity compliance end_block 'CONSTANT_EXPRESSION_RESULT' 'NO_EFFECT')                \
    WINPR_PRAGMA_DIAG_POP                                                                      \
  } while (0)
#define WINPR_ASSERT(cond) WINPR_ASSERT_AT((cond), __FILE__, __func__, __LINE__)
 
#ifdef __cplusplus
extern "C"
{
#endif
#if defined(__cplusplus) && (__cplusplus >= 201703L) // C++ 17
#define WINPR_STATIC_ASSERT(cond) static_assert(cond)
#elif defined(__cplusplus) && (__cplusplus >= 201103L) // C++ 11
#define WINPR_STATIC_ASSERT(cond) static_assert(cond, #cond)
#elif defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 202311L) // C23
#define WINPR_STATIC_ASSERT(cond) static_assert(cond)
#elif defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 201112L) // C11
#define WINPR_STATIC_ASSERT(cond) _Static_assert(cond, #cond)
#else
WINPR_PRAGMA_WARNING("static-assert macro not supported on this platform")
#define WINPR_STATIC_ASSERT(cond) assert(cond)
#endif
 
#ifdef __cplusplus
}
#endif