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/ExternalDispatcher.cpp | |
| parent | 6cc8ee707c1b4337120aa2972e2ad13a4861bbc3 (diff) | |
| download | klee-3a8b3bb1e8f8601e8a5598a652fad6d8d510fb30.tar.gz | |
rename CallSite to CallBase
Diffstat (limited to 'lib/Core/ExternalDispatcher.cpp')
| -rw-r--r-- | lib/Core/ExternalDispatcher.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Core/ExternalDispatcher.cpp b/lib/Core/ExternalDispatcher.cpp index c58e2ec8..13b17337 100644 --- a/lib/Core/ExternalDispatcher.cpp +++ b/lib/Core/ExternalDispatcher.cpp @@ -255,8 +255,8 @@ Function *ExternalDispatcherImpl::createDispatcher(Function *target, if (!resolveSymbol(target->getName().str())) return 0; - const CallBase &cs = cast<CallBase>(*inst); - Value **args = new Value *[cs.arg_size()]; + const CallBase &cb = cast<CallBase>(*inst); + Value **args = new Value *[cb.arg_size()]; std::vector<Type *> nullary; @@ -286,7 +286,7 @@ Function *ExternalDispatcherImpl::createDispatcher(Function *target, // Each argument will be passed by writing it into gTheArgsP[i]. unsigned i = 0, idx = 2; - for (auto ai = cs.arg_begin(), ae = cs.arg_end(); ai != ae; ++ai, ++i) { + for (auto ai = cb.arg_begin(), ae = cb.arg_end(); ai != ae; ++ai, ++i) { // Determine the type the argument will be passed as. This accommodates for // the corresponding code in Executor.cpp for handling calls to bitcasted // functions. |
