diff options
author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-22 01:03:44 +0200 |
---|---|---|
committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-23 12:18:35 +0200 |
commit | 37e92d0c802524c19a9a84164253639aac47fee3 (patch) | |
tree | 6b9036dcc8415544eb5a6d5cace7fddb2bfc323a /lib/Core/SpecialFunctionHandler.cpp | |
parent | 9fb2f5666d5f8c7c2f335fc8408883a0cf958964 (diff) | |
download | klee-37e92d0c802524c19a9a84164253639aac47fee3.tar.gz |
Remove support for LLVM < 3.4
Request LLVM 3.4 as minimal requirement for KLEE
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.cpp')
-rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 0ecbdd07..aaa26922 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -23,20 +23,9 @@ #include "klee/CommandLine.h" -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 3) #include "llvm/IR/Module.h" -#else -#include "llvm/Module.h" -#endif #include "llvm/ADT/Twine.h" - -#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1) -#include "llvm/Target/TargetData.h" -#elif LLVM_VERSION_CODE <= LLVM_VERSION(3, 2) -#include "llvm/DataLayout.h" -#else #include "llvm/IR/DataLayout.h" -#endif #include <errno.h> @@ -187,13 +176,7 @@ void SpecialFunctionHandler::prepare() { // Make sure NoReturn attribute is set, for optimization and // coverage counting. if (hi.doesNotReturn) -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 3) - f->addFnAttr(Attribute::NoReturn); -#elif LLVM_VERSION_CODE >= LLVM_VERSION(3, 2) - f->addFnAttr(Attributes::NoReturn); -#else f->addFnAttr(Attribute::NoReturn); -#endif // Change to a declaration since we handle internally (simplifies // module and allows deleting dead code). |