From 2ce22af434e383cf0c2c65e4da829de630b6cd9d Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sat, 13 Sep 2014 11:29:19 -0700 Subject: Add KLEE specific DEBUG macros. - This allows us to build in +Asserts mode even when LLVM isn't (by disabling the checks in that mode). - Eventually it would be nice to just move off of LLVM's DEBUG infrastructure entirely and just have our own copy, but this works for now. - Fixes #150. --- lib/Support/TreeStream.cpp | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) (limited to 'lib/Support') diff --git a/lib/Support/TreeStream.cpp b/lib/Support/TreeStream.cpp index 0d5e4568..74ffe3ba 100644 --- a/lib/Support/TreeStream.cpp +++ b/lib/Support/TreeStream.cpp @@ -9,13 +9,14 @@ #include "klee/Internal/ADT/TreeStream.h" +#include "klee/Internal/Support/Debug.h" + #include #include #include #include #include -#include "llvm/Support/Debug.h" #include "llvm/Support/raw_ostream.h" #include @@ -106,7 +107,7 @@ void TreeStreamWriter::readStream(TreeStreamID streamID, std::ifstream is(path.c_str(), std::ios::in | std::ios::binary); assert(is.good()); - DEBUG_WITH_TYPE("TreeStreamWriter", + KLEE_DEBUG_WITH_TYPE("TreeStreamWriter", llvm::errs() << "finding chain for: " << streamID << "\n"); std::map parents; @@ -137,11 +138,13 @@ void TreeStreamWriter::readStream(TreeStreamID streamID, while (size--) is.get(); } } - DEBUG(llvm::errs() << "roots: "; - for (size_t i = 0, e = roots.size(); i < e; ++i) { - llvm::errs() << roots[i] << " "; - } - llvm::errs() << "\n";); + KLEE_DEBUG({ + llvm::errs() << "roots: "; + for (size_t i = 0, e = roots.size(); i < e; ++i) { + llvm::errs() << roots[i] << " "; + } + llvm::errs() << "\n"; + }); is.seekg(0, std::ios::beg); for (;;) { unsigned id; -- cgit 1.4.1