about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2012-11-27 12:31:01 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2012-11-27 12:31:01 +0000
commitae29e8bbcf7b8c5177daab9050fcd62cfb338115 (patch)
treef11cff457bcd9c7b94ce64e0b2925f258f854283 /lib
parentad69a7f9bedb750c95a0dad31103de5a80cdeeee (diff)
downloadklee-ae29e8bbcf7b8c5177daab9050fcd62cfb338115.tar.gz
Patch sent by both Bogdan Copos and Nick Sumner fixing compilation with LLVM 3.1
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168695 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r--lib/Module/Optimize.cpp4
-rw-r--r--lib/Module/Passes.h4
2 files changed, 4 insertions, 4 deletions
diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp
index 20922e9e..da2c9733 100644
--- a/lib/Module/Optimize.cpp
+++ b/lib/Module/Optimize.cpp
@@ -27,7 +27,7 @@
 #else
 #include "llvm/Support/DynamicLibrary.h"
 #endif
-#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1)
+#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1)
 #include "llvm/Target/TargetData.h"
 #else
 #include "llvm/DataLayout.h"
@@ -182,7 +182,7 @@ void Optimize(Module* M) {
   if (VerifyEach)
     Passes.add(createVerifierPass());
 
-#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1)
+#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1)
   // Add an appropriate TargetData instance for this module...
   addPass(Passes, new TargetData(M));
 #else
diff --git a/lib/Module/Passes.h b/lib/Module/Passes.h
index 05061a20..b3c46124 100644
--- a/lib/Module/Passes.h
+++ b/lib/Module/Passes.h
@@ -22,7 +22,7 @@ namespace llvm {
   class Function;
   class Instruction;
   class Module;
-#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1)
+#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1)
   class TargetData;
 #else
   class DataLayout;
@@ -78,7 +78,7 @@ class IntrinsicCleanerPass : public llvm::ModulePass {
 
   bool runOnBasicBlock(llvm::BasicBlock &b);
 public:
-#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1)
+#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1)
   IntrinsicCleanerPass(const llvm::TargetData &TD,
 #else
   IntrinsicCleanerPass(const llvm::DataLayout &TD,