mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-28 08:58:44 +00:00
Code Activity

don't even bother allocating traces in release mode

Browse source
This commit is contained in:
Nuno Lopes 2018-07-08 13:21:16 +01:00
parent a2d078f6f5
commit fd75eccfec
2 changed files with 14 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/util/trace.cpp
View file

@ -21,7 +21,6 @@ Revision History:
#ifdef _TRACE #ifdef _TRACE
std::ofstream tout(".z3-trace"); std::ofstream tout(".z3-trace");
#endif
static bool g_enable_all_trace_tags = false; static bool g_enable_all_trace_tags = false;
static str_hashtable* g_enabled_trace_tags = nullptr; static str_hashtable* g_enabled_trace_tags = nullptr;
@ -56,13 +55,11 @@ bool is_trace_enabled(const char * tag) {
} }
void close_trace() { void close_trace() {
#ifdef _TRACE
tout.close(); tout.close();
#endif
} }
void open_trace() { void open_trace() {
#ifdef _TRACE
tout.open(".z3-trace"); tout.open(".z3-trace");
#endif
} }
#endif

16
src/util/trace.h
View file

@ -33,9 +33,6 @@ Revision History:
#ifdef _TRACE #ifdef _TRACE
extern std::ofstream tout; extern std::ofstream tout;
#define TRACE_CODE(CODE) { CODE } ((void) 0 ) #define TRACE_CODE(CODE) { CODE } ((void) 0 )
#else
#define TRACE_CODE(CODE) ((void) 0)
#endif
void enable_trace(const char * tag); void enable_trace(const char * tag);
void enable_all_trace(bool flag); void enable_all_trace(bool flag);
@ -48,6 +45,18 @@ void finalize_trace();
ADD_FINALIZER('finalize_trace();') ADD_FINALIZER('finalize_trace();')
*/ */
#else
#define TRACE_CODE(CODE) ((void) 0)
static inline void enable_trace(const char * tag) {}
static inline void enable_all_trace(bool flag) {}
static inline void disable_trace(const char * tag) {}
static inline bool is_trace_enabled(const char * tag) {}
static inline void close_trace() {}
static inline void open_trace() {}
static inline void finalize_trace() {}
#endif
#define TRACE(TAG, CODE) TRACE_CODE(if (is_trace_enabled(TAG)) { tout << "-------- [" << TAG << "] " << __FUNCTION__ << " " << __FILE__ << ":" << __LINE__ << " ---------\n"; CODE tout << "------------------------------------------------\n"; tout.flush(); }) #define TRACE(TAG, CODE) TRACE_CODE(if (is_trace_enabled(TAG)) { tout << "-------- [" << TAG << "] " << __FUNCTION__ << " " << __FILE__ << ":" << __LINE__ << " ---------\n"; CODE tout << "------------------------------------------------\n"; tout.flush(); })
#define STRACE(TAG, CODE) TRACE_CODE(if (is_trace_enabled(TAG)) { CODE tout.flush(); }) #define STRACE(TAG, CODE) TRACE_CODE(if (is_trace_enabled(TAG)) { CODE tout.flush(); })
@ -55,4 +64,3 @@ void finalize_trace();
#define CTRACE(TAG, COND, CODE) TRACE_CODE(if (is_trace_enabled(TAG) && (COND)) { tout << "-------- [" << TAG << "] " << __FUNCTION__ << " " << __FILE__ << ":" << __LINE__ << " ---------\n"; CODE tout << "------------------------------------------------\n"; tout.flush(); }) #define CTRACE(TAG, COND, CODE) TRACE_CODE(if (is_trace_enabled(TAG) && (COND)) { tout << "-------- [" << TAG << "] " << __FUNCTION__ << " " << __FILE__ << ":" << __LINE__ << " ---------\n"; CODE tout << "------------------------------------------------\n"; tout.flush(); })
#endif /* TRACE_H_ */ #endif /* TRACE_H_ */