icinga2/lib/base/debug.hpp

/* Icinga 2 | (c) 2012 Icinga GmbH | GPLv2+ */

#ifndef DEBUG_H
#define DEBUG_H

#include "i2-base.hpp"

#ifndef I2_DEBUG
#	define ASSERT(expr) ((void)0)
#else /* I2_DEBUG */
#	define ASSERT(expr) ((expr) ? void(0) : icinga_assert_fail(#expr, __FILE__, __LINE__))
#endif /* I2_DEBUG */

#define VERIFY(expr) ((expr) ? void(0) : icinga_assert_fail(#expr, __FILE__, __LINE__))

#define ABORT(expr) icinga_assert_fail(#expr, __FILE__, __LINE__)

[[noreturn]] inline void icinga_assert_fail(const char *expr, const char *file, int line) noexcept(true)
{
	fprintf(stderr, "%s:%d: assertion failed: %s\n", file, line, expr);
	std::abort();
}

#endif /* DEBUG_H */
Replace Copyright header with a short version, part I CLion -> replace in path 2019-02-25 08:48:22 -05:00			`/* Icinga 2 \| (c) 2012 Icinga GmbH \| GPLv2+ */`
Refactor ASSERT macro. 2013-08-28 02:18:58 -04:00
			`#ifndef DEBUG_H`
			`#define DEBUG_H`

Rename C++ header files. Fixes #6291 2014-05-25 10:23:35 -04:00			`#include "i2-base.hpp"`
Refactor ASSERT macro. 2013-08-28 02:18:58 -04:00
Rename _DEBUG to I2_DEBUG fixes #7767 2014-12-19 06:19:28 -05:00			`#ifndef I2_DEBUG`
Fix the ASSERT() macro. 2013-08-29 03:04:33 -04:00			`# define ASSERT(expr) ((void)0)`
Rename _DEBUG to I2_DEBUG fixes #7767 2014-12-19 06:19:28 -05:00			`#else /* I2_DEBUG */`
Add ABORT() macro for unconditionally failing ASSERTS This is necessary to stop MSVC complaining that "not all paths return a value", because it is not able to infer that the expression `false ? 0 : non_returning_function()` never returns. In the process of debugging this I've also slightly simplified the other assert macros and abort function, so they don't need compiler specific preprocessor-paths anymore. 2025-11-17 10:55:55 -05:00			`# define ASSERT(expr) ((expr) ? void(0) : icinga_assert_fail(#expr, __FILE__, __LINE__))`
Rename _DEBUG to I2_DEBUG fixes #7767 2014-12-19 06:19:28 -05:00			`#endif /* I2_DEBUG */`
Refactor ASSERT macro. 2013-08-28 02:18:58 -04:00
Add ABORT() macro for unconditionally failing ASSERTS This is necessary to stop MSVC complaining that "not all paths return a value", because it is not able to infer that the expression `false ? 0 : non_returning_function()` never returns. In the process of debugging this I've also slightly simplified the other assert macros and abort function, so they don't need compiler specific preprocessor-paths anymore. 2025-11-17 10:55:55 -05:00			`#define VERIFY(expr) ((expr) ? void(0) : icinga_assert_fail(#expr, __FILE__, __LINE__))`
Refactor ASSERT macro. 2013-08-28 02:18:58 -04:00
Add ABORT() macro for unconditionally failing ASSERTS This is necessary to stop MSVC complaining that "not all paths return a value", because it is not able to infer that the expression `false ? 0 : non_returning_function()` never returns. In the process of debugging this I've also slightly simplified the other assert macros and abort function, so they don't need compiler specific preprocessor-paths anymore. 2025-11-17 10:55:55 -05:00			`#define ABORT(expr) icinga_assert_fail(#expr, __FILE__, __LINE__)`
Implement class compiler. Refs #4963 2013-10-26 03:41:45 -04:00
Add ABORT() macro for unconditionally failing ASSERTS This is necessary to stop MSVC complaining that "not all paths return a value", because it is not able to infer that the expression `false ? 0 : non_returning_function()` never returns. In the process of debugging this I've also slightly simplified the other assert macros and abort function, so they don't need compiler specific preprocessor-paths anymore. 2025-11-17 10:55:55 -05:00			`[[noreturn]] inline void icinga_assert_fail(const char expr, const char file, int line) noexcept(true)`
Refactor ASSERT macro. 2013-08-28 02:18:58 -04:00			`{`
			`fprintf(stderr, "%s:%d: assertion failed: %s\n", file, line, expr);`
Fix build problems with Oracle Solaris Studio refs #6896 2014-09-02 07:02:22 -04:00			`std::abort();`
Refactor ASSERT macro. 2013-08-28 02:18:58 -04:00			`}`

			`#endif /* DEBUG_H */`