From d78758164626aab2f6e26ba80dc6afb89d22e0c7 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Tue, 9 Aug 2011 13:59:42 +0000
Subject: Disable the LowerSetJmpPass on LLVM 3.0+

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@137116 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Module/Optimize.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/Module')

diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp
index 524f80e2..d988a74c 100644
--- a/lib/Module/Optimize.cpp
+++ b/lib/Module/Optimize.cpp
@@ -91,7 +91,9 @@ namespace llvm {
 static void AddStandardCompilePasses(PassManager &PM) {
   PM.add(createVerifierPass());                  // Verify that input is correct
 
+#if LLVM_VERSION_CODE < LLVM_VERSION(3, 0)
   addPass(PM, createLowerSetJmpPass());          // Lower llvm.setjmp/.longjmp
+#endif
 
   // If the -strip-debug command line option was specified, do it.
   if (StripDebug)
-- 
cgit 1.4.1