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/Core/StatsTracker.cpp | |
| parent | 6cc8ee707c1b4337120aa2972e2ad13a4861bbc3 (diff) | |
| download | klee-3a8b3bb1e8f8601e8a5598a652fad6d8d510fb30.tar.gz | |
rename CallSite to CallBase
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
| -rw-r--r-- | lib/Core/StatsTracker.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index 11199db1..539b913c 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -786,14 +786,14 @@ void StatsTracker::computeReachableUncovered() { it != ie; ++it) { Instruction *inst = &*it; if (isa<CallInst>(inst) || isa<InvokeInst>(inst)) { - const CallBase &cs = cast<CallBase>(*inst); - if (isa<InlineAsm>(cs.getCalledOperand())) { + const CallBase &cb = cast<CallBase>(*inst); + if (isa<InlineAsm>(cb.getCalledOperand())) { // We can never call through here so assume no targets // (which should be correct anyhow). callTargets.insert(std::make_pair(inst, std::vector<Function*>())); } else if (Function *target = getDirectCallTarget( - cs, /*moduleIsFullyLinked=*/true)) { + cb, /*moduleIsFullyLinked=*/true)) { callTargets[inst].push_back(target); } else { callTargets[inst] = |