assert.h

Go to the documentation of this file.

/*
 * Copyright (C) 2015 INRIA
 * Copyright (C) 2016 Freie Universität Berlin
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 */
 
#ifndef ASSERT_H
#define ASSERT_H
 
#include <stdint.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
#ifdef DOXYGEN
#define DEBUG_ASSERT_VERBOSE
 
#define DEBUG_ASSERT_BREAKPOINT
#else
/* we should not include custom headers in standard headers */
#define _likely(x)      __builtin_expect((uintptr_t)(x), 1)
#endif
 
#ifndef __NORETURN
#ifdef __GNUC__
#define __NORETURN __attribute__((noreturn))
#else /*__GNUC__*/
#define __NORETURN
#endif /*__GNUC__*/
#endif /*__NORETURN*/
 
#ifdef NDEBUG
#define assert(ignore)((void)0)
#elif defined(DEBUG_ASSERT_VERBOSE)
__NORETURN void _assert_failure(const char *file, unsigned line);
#define assert(cond) (_likely(cond) ? (void)0 :  _assert_failure(__FILE__, __LINE__))
#else /* DEBUG_ASSERT_VERBOSE */
__NORETURN void _assert_panic(void);
#define assert(cond) (_likely(cond) ? (void)0 : _assert_panic())
#endif /* DEBUG_ASSERT_VERBOSE */
 
#if !defined __cplusplus
#if __STDC_VERSION__ >= 201112L
#define static_assert(...) _Static_assert(__VA_ARGS__)
#else
#define static_assert(cond, ...) \
    { enum { static_assert_failed_on_div_by_0 = 1 / (!!(cond)) }; }
#define static_assert(cond, ...) \ …
#endif
#endif
 
#ifndef DEBUG_ASSERT_NO_PANIC
#define DEBUG_ASSERT_NO_PANIC (1)
#endif
 
#ifdef __cplusplus
}
#endif
 
#endif /* ASSERT_H */