diff options
author | Frank Busse <bb0xfb@gmail.com> | 2022-06-14 11:27:30 +0100 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-06-30 10:02:30 +0100 |
commit | 3a8b3bb1e8f8601e8a5598a652fad6d8d510fb30 (patch) | |
tree | 4f887b7925ed52ff01b03dfbb8397ec099447601 /lib/Module/ModuleUtil.cpp | |
parent | 6cc8ee707c1b4337120aa2972e2ad13a4861bbc3 (diff) | |
download | klee-3a8b3bb1e8f8601e8a5598a652fad6d8d510fb30.tar.gz |
rename CallSite to CallBase
Diffstat (limited to 'lib/Module/ModuleUtil.cpp')
-rw-r--r-- | lib/Module/ModuleUtil.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index e1c6e8bd..155b117f 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -270,9 +270,9 @@ klee::linkModules(std::vector<std::unique_ptr<llvm::Module>> &modules, } Function *klee::getDirectCallTarget( - const CallBase &cs, + const CallBase &cb, bool moduleIsFullyLinked) { - Value *v = cs.getCalledOperand(); + Value *v = cb.getCalledOperand(); bool viaConstantExpr = false; // Walk through aliases and bitcasts to try to find // the function being called. @@ -311,12 +311,12 @@ Function *klee::getDirectCallTarget( static bool valueIsOnlyCalled(const Value *v) { for (auto user : v->users()) { // Make sure the instruction is a call or invoke. - if (const auto *cs_ptr = dyn_cast<CallBase>(user)) { - const CallBase &cs = *cs_ptr; + if (const auto *cb_ptr = dyn_cast<CallBase>(user)) { + const CallBase &cb = *cb_ptr; // Make sure that the value is only the target of this call and // not an argument. - if (cs.hasArgument(v)) + if (cb.hasArgument(v)) return false; } else if (const auto *ce = dyn_cast<ConstantExpr>(user)) { if (ce->getOpcode() == Instruction::BitCast) |