summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/utils.h4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/utils.h b/src/utils.h
index cf1cd1d0..7ad1033e 100644
--- a/src/utils.h
+++ b/src/utils.h
@@ -149,7 +149,6 @@ extern bool verify_enabled;
#define VERIFY(x) (ledger::verify_enabled ? assert(x) : ((void)0))
#define DO_VERIFY() ledger::verify_enabled
-#define IF_VERIFY() if (DO_VERIFY())
void initialize_memory_tracing();
void shutdown_memory_tracing();
@@ -237,11 +236,14 @@ inline bool operator!=(const string& __lhs, const char* __rhs)
#else // ! VERIFY_ON
#define VERIFY(x)
+#define DO_VERIFY() true
#define TRACE_CTOR(cls, args)
#define TRACE_DTOR(cls)
#endif // VERIFY_ON
+#define IF_VERIFY() if (DO_VERIFY())
+
/**********************************************************************
*
* Logging