diff options
author | Lukas Wölfer <lukas.woelfer@rwth-aachen.de> | 2018-08-27 00:51:03 +0200 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-11-23 22:34:13 +0000 |
commit | 0283175fdda6bf4dbd9343b53987d0aee01ce9fc (patch) | |
tree | 53725b53080f718d22a8aa5d8661e63283c3084d /lib/Core/Executor.h | |
parent | 92b49c62b796e4c2544fc2415d9817068aed6eae (diff) | |
download | klee-0283175fdda6bf4dbd9343b53987d0aee01ce9fc.tar.gz |
Implemented memalign with alignment
Diffstat (limited to 'lib/Core/Executor.h')
-rw-r--r-- | lib/Core/Executor.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 180c9140..66a28ba8 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -301,12 +301,17 @@ private: /// done (realloc semantics). The initialized bytes will be the /// minimum of the size of the old and new objects, with remaining /// bytes initialized as specified by zeroMemory. + /// + /// \param allocationAlignment If non-zero, the given alignment is + /// used. Otherwise, the alignment is deduced via + /// Executor::getAllocationAlignment void executeAlloc(ExecutionState &state, ref<Expr> size, bool isLocal, KInstruction *target, bool zeroMemory=false, - const ObjectState *reallocFrom=0); + const ObjectState *reallocFrom=0, + size_t allocationAlignment=0); /// Free the given address with checking for errors. If target is /// given it will be bound to 0 in the resulting states (this is a |