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 /lib/Core | |
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.
Diffstat (limited to 'lib/Core')
-rw-r--r-- | lib/Core/Executor.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
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: |