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/Core/SpecialFunctionHandler.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/Core') diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index a7a1b32e..8625fa63 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -17,6 +17,7 @@ #include "klee/Internal/Module/KInstruction.h" #include "klee/Internal/Module/KModule.h" +#include "klee/Internal/Support/Debug.h" #include "Executor.h" #include "MemoryManager.h" @@ -27,7 +28,6 @@ #include "llvm/Module.h" #endif #include "llvm/ADT/Twine.h" -#include "llvm/Support/Debug.h" #include @@ -280,7 +280,7 @@ void SpecialFunctionHandler::handleAliasFunction(ExecutionState &state, "invalid number of arguments to klee_alias_function"); std::string old_fn = readStringAtAddress(state, arguments[0]); std::string new_fn = readStringAtAddress(state, arguments[1]); - DEBUG_WITH_TYPE("alias_handling", llvm::errs() << "Replacing " << old_fn + KLEE_DEBUG_WITH_TYPE("alias_handling", llvm::errs() << "Replacing " << old_fn << "() with " << new_fn << "()\n"); if (old_fn == new_fn) state.removeFnAlias(old_fn); -- cgit 1.4.1