diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2011-08-09 13:59:42 +0000 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2011-08-09 13:59:42 +0000 |
commit | d78758164626aab2f6e26ba80dc6afb89d22e0c7 (patch) | |
tree | 6e02ad1ff0c20a521fbb234744103902a326a62b /lib | |
parent | 3c2bacc7a9fb95caef07d87d9b6220712b7d613f (diff) | |
download | klee-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.cpp | 2 |
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) |