diff options
| -rw-r--r-- | include/klee/Internal/Module/KModule.h | 1 | ||||
| -rw-r--r-- | lib/Module/Passes.h | 12 |
2 files changed, 7 insertions, 6 deletions
diff --git a/include/klee/Internal/Module/KModule.h b/include/klee/Internal/Module/KModule.h index 538d8e6e..86be131b 100644 --- a/include/klee/Internal/Module/KModule.h +++ b/include/klee/Internal/Module/KModule.h @@ -10,6 +10,7 @@ #ifndef KLEE_KMODULE_H #define KLEE_KMODULE_H +#include "klee/Config/Version.h" #include "klee/Interpreter.h" #include <map> diff --git a/lib/Module/Passes.h b/lib/Module/Passes.h index 84ab2b13..05061a20 100644 --- a/lib/Module/Passes.h +++ b/lib/Module/Passes.h @@ -68,10 +68,10 @@ public: // variables (via intrinsic lowering). class IntrinsicCleanerPass : public llvm::ModulePass { static char ID; -#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1) - const llvm::TargetData &DataLayout; +#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1) + const llvm::TargetData &TargetData; #else - const llvm::DataLayout &DL; + const llvm::DataLayout &DataLayout; #endif llvm::IntrinsicLowering *IL; bool LowerIntrinsics; @@ -89,10 +89,10 @@ public: #else : llvm::ModulePass(ID), #endif -#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1) - DataLayout(TD), +#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1) + TargetData(TD), #else - DL(TD), + DataLayout(TD), #endif IL(new llvm::IntrinsicLowering(TD)), LowerIntrinsics(LI) {} |