From 7fe8f20ef3b4259fb289dcf5efcff58111364838 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sat, 13 Jun 2009 23:58:27 +0000 Subject: Switch to using constant arrays for non-symbolic objects. - Currently uses a dumb implementation which keeps the old flushing architecture, but converts to a constant array when the first ReadExpr is created. - Temporary --use-constant-arrays switch can be used to disable for testing. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73313 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Memory.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'lib/Core/Memory.h') diff --git a/lib/Core/Memory.h b/lib/Core/Memory.h index 85f83ee1..d9849d2e 100644 --- a/lib/Core/Memory.h +++ b/lib/Core/Memory.h @@ -151,12 +151,12 @@ private: ref *knownSymbolics; -public: - unsigned size; - // mutable because we may need flush during read of const mutable UpdateList updates; +public: + unsigned size; + bool readOnly; public: @@ -199,6 +199,8 @@ public: void write64(unsigned offset, uint64_t value); private: + const UpdateList &getUpdates() const; + void makeConcrete(); void makeSymbolic(); -- cgit 1.4.1