diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-06-08 21:23:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-08 21:23:37 +0100 |
| commit | 5289c6135b7baef600257c614ef52f9af10a22e4 (patch) | |
| tree | 1c20bf390a284fb7be06107d30005326111b3486 | |
| parent | 8fbbdf6b842365b8b5d63c5fe46f9b53b0886f1c (diff) | |
| parent | 3a1cc630a10eabd9c0ee5fe4cc61e7df9b5ee37b (diff) | |
| download | klee-5289c6135b7baef600257c614ef52f9af10a22e4.tar.gz | |
Merge pull request #675 from ccadar/varargs
Fixed typos in comments related to vararg support.
| -rw-r--r-- | include/klee/ExecutionState.h | 2 | ||||
| -rw-r--r-- | lib/Core/Executor.cpp | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 32f840f6..78ebddac 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -51,7 +51,7 @@ struct StackFrame { // For vararg functions: arguments not passed via parameter are // stored (packed tightly) in a local (alloca) memory object. This - // is setup to match the way the front-end generates vaarg code (it + // is set up to match the way the front-end generates vaarg code (it // does not pass vaarg through as expected). VACopy is lowered inside // of intrinsic lowering. MemoryObject *varargs; diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index d71d767d..5af31125 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1303,7 +1303,7 @@ void Executor::executeCall(ExecutionState &state, return; // FIXME: This is really specific to the architecture, not the pointer - // size. This happens to work fir x86-32 and x86-64, however. + // size. This happens to work for x86-32 and x86-64, however. Expr::Width WordSize = Context::get().getPointerWidth(); if (WordSize == Expr::Int32) { executeMemoryOperation(state, true, arguments[0], @@ -1311,7 +1311,7 @@ void Executor::executeCall(ExecutionState &state, } else { assert(WordSize == Expr::Int64 && "Unknown word size!"); - // X86-64 has quite complicated calling convention. However, + // x86-64 has quite complicated calling convention. However, // instead of implementing it, we can do a simple hack: just // make a function believe that all varargs are on stack. executeMemoryOperation(state, true, arguments[0], @@ -1335,7 +1335,7 @@ void Executor::executeCall(ExecutionState &state, // va_end is a noop for the interpreter. // // FIXME: We should validate that the target didn't do something bad - // with vaeend, however (like call it twice). + // with va_end, however (like call it twice). break; case Intrinsic::vacopy: |