compat: add _Verify_

This eases porting of legacy code.

Signed-off-by: Simon Rozman <simon@rozman.si>
This commit is contained in:
Simon Rozman 2023-12-19 10:19:26 +01:00
parent 2020fa2eec
commit 441a2ae9d5

View File

@ -197,8 +197,10 @@ size_t _countof(const T (&arr)[N])
#endif #endif
#ifdef NDEBUG #ifdef NDEBUG
#define _Assume_(p) _Analysis_assume_(p) #define _Assume_(p) _Analysis_assume_(p)
#define _Verify_(p) ((void)(p))
#else #else
#define _Assume_(p) assert(p) #define _Assume_(p) assert(p)
#define _Verify_(p) assert(p)
#endif #endif
#ifdef __APPLE__ #ifdef __APPLE__