122 lines
3.6 KiB
C
122 lines
3.6 KiB
C
/*
|
|
* Copyright (c) 2011-2014 Wind River Systems, Inc.
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#ifndef ZEPHYR_INCLUDE_SYS___ASSERT_H_
|
|
#define ZEPHYR_INCLUDE_SYS___ASSERT_H_
|
|
|
|
#include <stdbool.h>
|
|
|
|
#ifdef CONFIG_ASSERT
|
|
#ifndef __ASSERT_ON
|
|
#define __ASSERT_ON CONFIG_ASSERT_LEVEL
|
|
#endif
|
|
#endif
|
|
|
|
#ifdef CONFIG_FORCE_NO_ASSERT
|
|
#undef __ASSERT_ON
|
|
#define __ASSERT_ON 0
|
|
#endif
|
|
|
|
#if defined(CONFIG_ASSERT_VERBOSE)
|
|
#define __ASSERT_PRINT(fmt, ...) printk(fmt, ##__VA_ARGS__)
|
|
#else /* CONFIG_ASSERT_VERBOSE */
|
|
#define __ASSERT_PRINT(fmt, ...)
|
|
#endif /* CONFIG_ASSERT_VERBOSE */
|
|
|
|
#ifdef CONFIG_ASSERT_NO_MSG_INFO
|
|
#define __ASSERT_MSG_INFO(fmt, ...)
|
|
#else /* CONFIG_ASSERT_NO_MSG_INFO */
|
|
#define __ASSERT_MSG_INFO(fmt, ...) __ASSERT_PRINT("\t" fmt "\n", ##__VA_ARGS__)
|
|
#endif /* CONFIG_ASSERT_NO_MSG_INFO */
|
|
|
|
#if !defined(CONFIG_ASSERT_NO_COND_INFO) && !defined(CONFIG_ASSERT_NO_FILE_INFO)
|
|
#define __ASSERT_LOC(test) \
|
|
__ASSERT_PRINT("ASSERTION FAIL [%s] @ %s:%d\n", \
|
|
Z_STRINGIFY(test), \
|
|
__FILE__, __LINE__)
|
|
#endif
|
|
|
|
#if defined(CONFIG_ASSERT_NO_COND_INFO) && !defined(CONFIG_ASSERT_NO_FILE_INFO)
|
|
#define __ASSERT_LOC(test) \
|
|
__ASSERT_PRINT("ASSERTION FAIL @ %s:%d\n", \
|
|
__FILE__, __LINE__)
|
|
#endif
|
|
|
|
#if !defined(CONFIG_ASSERT_NO_COND_INFO) && defined(CONFIG_ASSERT_NO_FILE_INFO)
|
|
#define __ASSERT_LOC(test) \
|
|
__ASSERT_PRINT("ASSERTION FAIL [%s]\n", \
|
|
Z_STRINGIFY(test))
|
|
#endif
|
|
|
|
#if defined(CONFIG_ASSERT_NO_COND_INFO) && defined(CONFIG_ASSERT_NO_FILE_INFO)
|
|
#define __ASSERT_LOC(test) \
|
|
__ASSERT_PRINT("ASSERTION FAIL\n")
|
|
#endif
|
|
|
|
#ifdef __ASSERT_ON
|
|
#if (__ASSERT_ON < 0) || (__ASSERT_ON > 2)
|
|
#error "Invalid __ASSERT() level: must be between 0 and 2"
|
|
#endif
|
|
|
|
#if __ASSERT_ON
|
|
|
|
#include <sys/printk.h>
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
#ifdef CONFIG_ASSERT_NO_FILE_INFO
|
|
void assert_post_action(void);
|
|
#define __ASSERT_POST_ACTION() assert_post_action()
|
|
#else /* CONFIG_ASSERT_NO_FILE_INFO */
|
|
void assert_post_action(const char *file, unsigned int line);
|
|
#define __ASSERT_POST_ACTION() assert_post_action(__FILE__, __LINE__)
|
|
#endif /* CONFIG_ASSERT_NO_FILE_INFO */
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#define __ASSERT_NO_MSG(test) \
|
|
do { \
|
|
if (!(test)) { \
|
|
__ASSERT_LOC(test); \
|
|
__ASSERT_POST_ACTION(); \
|
|
} \
|
|
} while (false)
|
|
|
|
#define __ASSERT(test, fmt, ...) \
|
|
do { \
|
|
if (!(test)) { \
|
|
__ASSERT_LOC(test); \
|
|
__ASSERT_MSG_INFO(fmt, ##__VA_ARGS__); \
|
|
__ASSERT_POST_ACTION(); \
|
|
} \
|
|
} while (false)
|
|
|
|
#define __ASSERT_EVAL(expr1, expr2, test, fmt, ...) \
|
|
do { \
|
|
expr2; \
|
|
__ASSERT(test, fmt, ##__VA_ARGS__); \
|
|
} while (false)
|
|
|
|
#if (__ASSERT_ON == 1)
|
|
#warning "__ASSERT() statements are ENABLED"
|
|
#endif
|
|
#else
|
|
#define __ASSERT(test, fmt, ...) { }
|
|
#define __ASSERT_EVAL(expr1, expr2, test, fmt, ...) expr1
|
|
#define __ASSERT_NO_MSG(test) { }
|
|
#endif
|
|
#else
|
|
#define __ASSERT(test, fmt, ...) { }
|
|
#define __ASSERT_EVAL(expr1, expr2, test, fmt, ...) expr1
|
|
#define __ASSERT_NO_MSG(test) { }
|
|
#endif
|
|
|
|
#endif /* ZEPHYR_INCLUDE_SYS___ASSERT_H_ */
|