mingw-w64/mingw-w64-headers/crt/assert.h
Martin Storsjö 1690994f51 headers: Add noreturn attributes to the _assert/_wassert functions
This allows the compiler to understand that constructs such as
assert(0) won't return.

This fixes warnings (treated as errors) about a missing return in
https://github.com/llvm/llvm-project/blob/llvmorg-16.0.0/libcxxabi/test/cxa_vec_new_overflow_PR41395.pass.cpp#L21

Signed-off-by: Martin Storsjö <martin@martin.st>
2023-04-05 14:25:29 +03:00

57 lines
1.5 KiB
C

/**
* This file has no copyright assigned and is placed in the Public Domain.
* This file is part of the mingw-w64 runtime package.
* No warranty is given; refer to the file DISCLAIMER.PD within this package.
*/
/* According to C99 standard (section 7.2) the assert
macro shall be redefined each time assert.h gets
included depending on the status of NDEBUG macro. */
#undef assert
#ifndef __ASSERT_H_
#define __ASSERT_H_
#include <crtdefs.h>
#ifdef __cplusplus
#include <stdlib.h>
#endif
#ifdef __cplusplus
extern "C" {
#endif
_CRTIMP void __cdecl __MINGW_ATTRIB_NORETURN _wassert(const wchar_t *_Message,const wchar_t *_File,unsigned _Line);
_CRTIMP void __cdecl __MINGW_ATTRIB_NORETURN _assert (const char *_Message, const char *_File, unsigned _Line);
#ifdef __cplusplus
}
#endif
#endif /* !defined (__ASSERT_H_) */
#if (defined _ISOC11_SOURCE \
|| (defined __STDC_VERSION__ && __STDC_VERSION__ >= 201112L)) \
&& !defined (__cplusplus)
/* Static assertion. Requires support in the compiler. */
#undef static_assert
#define static_assert _Static_assert
#endif
#ifdef NDEBUG
#define assert(_Expression) ((void)0)
#else /* !defined (NDEBUG) */
#if defined(_UNICODE) || defined(UNICODE)
#define assert(_Expression) \
(void) \
((!!(_Expression)) || \
(_wassert(_CRT_WIDE(#_Expression),_CRT_WIDE(__FILE__),__LINE__),0))
#else /* not unicode */
#define assert(_Expression) \
(void) \
((!!(_Expression)) || \
(_assert(#_Expression,__FILE__,__LINE__),0))
#endif /* _UNICODE||UNICODE */
#endif /* !defined (NDEBUG) */