*
* -->
*
+ * \defgroup debug Debugging facilities and macros
+ * \ingroup core
+ * \{
+ *
* \brief Simple debug facilities for hosted and embedded C/C++ applications.
*
* Debug output goes to stderr in hosted applications.
#endif /* !CPU_HARVARD */
#if !CONFIG_KDEBUG_ASSERT_NO_TEXT
+ /**
+ * Assert a pre-condition on code.
+ */
#define ASSERT(x) ((void)(LIKELY(x) ? 0 : __bassert(#x, THIS_FILE, __LINE__)))
+ /**
+ * Assert a pre-condition and give explanation message when assert fails
+ */
#define ASSERT2(x, help) ((void)(LIKELY(x) ? 0 : __bassert(help " (" #x ")", THIS_FILE, __LINE__)))
#else
#define ASSERT(x) ((void)(LIKELY(x) ? 0 : __bassert("", THIS_FILE, __LINE__)))
#define ASSERT2(x, help) ((void)ASSERT(x))
#endif
+ #define IS_VALID_PTR(p) (LIKELY((void *)(p) >= (void *)CPU_RAM_START))
/**
* Check that the given pointer is either NULL or pointing to valid memory.
*
*
* \see ASSERT_VALID_PTR_OR_NULL()
*/
- #define ASSERT_VALID_PTR(p) ((void)(LIKELY((void *)(p) >= (void *)CPU_RAM_START) \
- ? 0 : __invalid_ptr(p, #p, THIS_FILE, __LINE__)))
+ #define ASSERT_VALID_PTR(p) (IS_VALID_PTR(p) \
+ ? 0 : __invalid_ptr(p, #p, THIS_FILE, __LINE__))
/**
* Check that the given pointer is not pointing to invalid memory.
#define ASSERT(x) ((void)0)
#endif /* ASSERT */
#define ASSERT2(x, help) ((void)0)
+ #define IS_VALID_PTR(p) (1)
#define ASSERT_VALID_PTR(p) ((void)0)
#define ASSERT_VALID_PTR_OR_NULL(p) ((void)0)
#define ASSERT_VALID_OBJ(_t, _o) ((void)0)
#endif /* _DEBUG */
+/** \} */ // defgroup debug
+
#endif /* BERTOS_DEBUG_H */