Use correctly constrained constants if the memory object is fully symbolic

Before, only partially symbolic variables have been concretized.
Now, every object that is not fully concrete is concretized correctly
this includes fully symbolic objects.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/Core/Memory.cpp b/lib/Core/Memory.cpp
index 1e3c8922..0c9394bd 100644
--- a/lib/Core/Memory.cpp
+++ b/lib/Core/Memory.cpp
@@ -199,7 +199,7 @@ const UpdateList &ObjectState::getUpdates() const {
 void ObjectState::flushToConcreteStore(TimingSolver *solver,
                                        const ExecutionState &state) const {
   for (unsigned i = 0; i < size; i++) {
-    if (isByteKnownSymbolic(i)) {
+    if (!isByteConcrete(i)) {
       ref<ConstantExpr> ce;
       bool success = solver->getValue(state.constraints, read8(i), ce,
                                       state.queryMetaData);