diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-03-20 22:01:00 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-21 12:46:01 +0000 |
| commit | 9767a37f9e8a743fa81629510346cb0a5a3a7900 (patch) | |
| tree | bc49e16925582e41ee51cacc35c4f7bcafd8860f /include | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Internal/Support/FloatEvaluation.h | 5 | ||||
| -rw-r--r-- | include/klee/Internal/Support/ModuleUtil.h | 7 |
2 files changed, 1 insertions, 11 deletions
diff --git a/include/klee/Internal/Support/FloatEvaluation.h b/include/klee/Internal/Support/FloatEvaluation.h index 436e0dc8..62a5c0e7 100644 --- a/include/klee/Internal/Support/FloatEvaluation.h +++ b/include/klee/Internal/Support/FloatEvaluation.h @@ -132,15 +132,10 @@ inline uint64_t mod(uint64_t l, uint64_t r, unsigned inWidth) { // determine if l represents NaN inline bool isNaN(uint64_t l, unsigned inWidth) { switch( inWidth ) { -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) case FLT_BITS: return std::isnan(UInt64AsFloat(l)); case DBL_BITS: return std::isnan(UInt64AsDouble(l)); -#else - case FLT_BITS: return llvm::IsNAN( UInt64AsFloat(l) ); - case DBL_BITS: return llvm::IsNAN( UInt64AsDouble(l) ); -#endif default: llvm::report_fatal_error("unsupported floating point width"); } } diff --git a/include/klee/Internal/Support/ModuleUtil.h b/include/klee/Internal/Support/ModuleUtil.h index 6180225c..5fbfdb76 100644 --- a/include/klee/Internal/Support/ModuleUtil.h +++ b/include/klee/Internal/Support/ModuleUtil.h @@ -12,13 +12,8 @@ #include "klee/Config/Version.h" -#include "llvm/IR/Module.h" - -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 5) #include "llvm/IR/CallSite.h" -#else -#include "llvm/Support/CallSite.h" -#endif +#include "llvm/IR/Module.h" #include <memory> #include <string> |