From 30336015ff88298f38841efa1e0dd120e71f2f67 Mon Sep 17 00:00:00 2001
From: Lukas Zaoral <lzaoral@redhat.com>
Date: Thu, 10 Sep 2020 17:14:42 +0200
Subject: llvm11: Use getCalledOperand instead of getCalledValue

CallBase::getCalledValue has been deprecated by getCalledOperand since LLVM 8
and has been removed in LLVM 11

See: https://reviews.llvm.org/D78882
---
 tools/klee/main.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 874660d7..c1270b46 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -917,7 +917,11 @@ void externalsAndGlobalsCheck(const llvm::Module *m) {
       for (BasicBlock::const_iterator it = bbIt->begin(), ie = bbIt->end();
            it != ie; ++it) {
         if (const CallInst *ci = dyn_cast<CallInst>(it)) {
+#if LLVM_VERSION_CODE >= LLVM_VERSION(8, 0)
+          if (isa<InlineAsm>(ci->getCalledOperand())) {
+#else
           if (isa<InlineAsm>(ci->getCalledValue())) {
+#endif
             klee_warning_once(&*fnIt,
                               "function \"%s\" has inline asm",
                               fnIt->getName().data());
-- 
cgit 1.4.1