about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorPeter Collingbourne <peter@pcc.me.uk>2011-08-09 13:59:42 +0000
committerPeter Collingbourne <peter@pcc.me.uk>2011-08-09 13:59:42 +0000
commitd78758164626aab2f6e26ba80dc6afb89d22e0c7 (patch)
tree6e02ad1ff0c20a521fbb234744103902a326a62b /lib
parent3c2bacc7a9fb95caef07d87d9b6220712b7d613f (diff)
downloadklee-d78758164626aab2f6e26ba80dc6afb89d22e0c7.tar.gz
Disable the LowerSetJmpPass on LLVM 3.0+
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@137116 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r--lib/Module/Optimize.cpp2
1 files changed, 2 insertions, 0 deletions
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)