diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 20:02:34 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 20:02:34 +0000 |
| commit | d99bbdfb77a953e85016afa68b68835fcbe7da4f (patch) | |
| tree | bf42199e334ac1f0b5adb06c2d3db10ec6c5f997 /lib/Module/IntrinsicCleaner.cpp | |
| parent | 24f6b3f2c3faeea3405839e015e11dbbadd1a5f9 (diff) | |
| download | klee-d99bbdfb77a953e85016afa68b68835fcbe7da4f.tar.gz | |
Add missing include of Config.h, which was causing LLVM version checks to be
broken, and thus we were removing all dbg.stoppoint instructions from modules. This totally broke debug info with 2.6. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102873 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index 4d44f800..5898e89d 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -9,6 +9,7 @@ #include "Passes.h" +#include "klee/Config/config.h" #include "llvm/Constants.h" #include "llvm/DerivedTypes.h" #include "llvm/Function.h" |