diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-08-24 13:59:29 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-12-20 14:36:51 +0000 |
| commit | 3e28c11203af6c96d612e45fb45445e12d41ad7f (patch) | |
| tree | 8aa1e9e703273acdd308848b18baa33446a133b2 /tools/kleaver | |
| parent | 90b40d50f0f15ecfcf84fa0a95e2f7aaddf4ace4 (diff) | |
| download | klee-3e28c11203af6c96d612e45fb45445e12d41ad7f.tar.gz | |
llvm13: llvm::cl::GeneralCategory is no longer a global
Therefore, llvm::cl::getGeneralCategory() should be used instead. See: https://reviews.llvm.org/D105959
Diffstat (limited to 'tools/kleaver')
| -rw-r--r-- | tools/kleaver/main.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index 9a79474c..0a4cfbff 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -387,8 +387,11 @@ static bool printInputAsSMTLIBv2(const char *Filename, } int main(int argc, char **argv) { - +#if LLVM_VERSION_CODE >= LLVM_VERSION(13, 0) + KCommandLine::HideOptions(llvm::cl::getGeneralCategory()); +#else KCommandLine::HideOptions(llvm::cl::GeneralCategory); +#endif bool success = true; |