diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 11:29:19 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 11:29:32 -0700 |
| commit | 2ce22af434e383cf0c2c65e4da829de630b6cd9d (patch) | |
| tree | c49e4a0461ffa7c95adfa0fefd15bbc10b654c1f /lib/Module/InstructionInfoTable.cpp | |
| parent | 91eab8b92526a8215ebc9ed50da5b1d405533ac7 (diff) | |
| download | klee-2ce22af434e383cf0c2c65e4da829de630b6cd9d.tar.gz | |
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.
Diffstat (limited to 'lib/Module/InstructionInfoTable.cpp')
| -rw-r--r-- | lib/Module/InstructionInfoTable.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/Module/InstructionInfoTable.cpp b/lib/Module/InstructionInfoTable.cpp index 82d60708..8d27e426 100644 --- a/lib/Module/InstructionInfoTable.cpp +++ b/lib/Module/InstructionInfoTable.cpp @@ -33,7 +33,6 @@ #include "llvm/Analysis/DebugInfo.h" #endif #include "llvm/Analysis/ValueTracking.h" -#include "llvm/Support/Debug.h" #include "llvm/Support/ErrorHandling.h" #include <map> |