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 /lib/Basic | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'lib/Basic')
| -rw-r--r-- | lib/Basic/CmdLineOptions.cpp | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp index 2a58141e..9e190840 100644 --- a/lib/Basic/CmdLineOptions.cpp +++ b/lib/Basic/CmdLineOptions.cpp @@ -114,12 +114,7 @@ cl::opt<bool> UseAssignmentValidatingSolver( void KCommandLine::HideOptions(llvm::cl::OptionCategory &Category) { -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) StringMap<cl::Option *> &map = cl::getRegisteredOptions(); -#else - StringMap<cl::Option *> map; - cl::getRegisteredOptions(map); -#endif for (auto &elem : map) { if (elem.second->Category == &Category) { @@ -129,12 +124,7 @@ void KCommandLine::HideOptions(llvm::cl::OptionCategory &Category) { } void KCommandLine::HideUnrelatedOptions(cl::OptionCategory &Category) { -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) StringMap<cl::Option *> &map = cl::getRegisteredOptions(); -#else - StringMap<cl::Option *> map; - cl::getRegisteredOptions(map); -#endif for (StringMap<cl::Option *>::iterator i = map.begin(), e = map.end(); i != e; i++) { if (i->second->Category != &Category) { |