diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-01-24 11:49:34 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-01-24 11:49:34 +0100 |
| commit | 8fe9ab50e51204e5709eaad0fbf2ffb5397a0194 (patch) | |
| tree | 0e89980abf1ce802a37103fc5eb9eaf9d8e5b586 | |
| parent | 909a95182b6de03d6227f6331a6e60692d20203d (diff) | |
| download | yosys-8fe9ab50e51204e5709eaad0fbf2ffb5397a0194.tar.gz yosys-8fe9ab50e51204e5709eaad0fbf2ffb5397a0194.tar.bz2 yosys-8fe9ab50e51204e5709eaad0fbf2ffb5397a0194.zip | |
Added #ifdef NDEBUG for log_assert()
| -rw-r--r-- | kernel/log.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/kernel/log.h b/kernel/log.h index e61d19b62..8b3d8a3ad 100644 --- a/kernel/log.h +++ b/kernel/log.h @@ -79,12 +79,16 @@ template<typename T> static inline const char *log_id(T *obj) { void log_cell(RTLIL::Cell *cell, std::string indent = ""); +#ifndef NDEBUG static inline void log_assert_worker(bool cond, const char *expr, const char *file, int line) { if (!cond) log_error("Assert `%s' failed in %s:%d.\n", expr, file, line); } +# define log_assert(_assert_expr_) YOSYS_NAMESPACE_PREFIX log_assert_worker(_assert_expr_, #_assert_expr_, __FILE__, __LINE__) +#else +# define log_assert(_assert_expr_) +#endif #define log_abort() YOSYS_NAMESPACE_PREFIX log_error("Abort in %s:%d.\n", __FILE__, __LINE__) -#define log_assert(_assert_expr_) YOSYS_NAMESPACE_PREFIX log_assert_worker(_assert_expr_, #_assert_expr_, __FILE__, __LINE__) #define log_ping() YOSYS_NAMESPACE_PREFIX log("-- %s:%d %s --\n", __FILE__, __LINE__, __PRETTY_FUNCTION__) |