about summary refs log tree commit diff homepage
path: root/lib/Module/Passes.h
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/Module/Passes.h
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/Module/Passes.h')
-rw-r--r--lib/Module/Passes.h4
1 files changed, 2 insertions, 2 deletions
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,