aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/Core/Memory.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Core/Memory.cpp')
-rw-r--r--lib/Core/Memory.cpp4
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/Core/Memory.cpp b/lib/Core/Memory.cpp
index 8f144456..ba1b8e1f 100644
--- a/lib/Core/Memory.cpp
+++ b/lib/Core/Memory.cpp
@@ -102,7 +102,7 @@ ObjectState::ObjectState(const MemoryObject *mo, unsigned _size)
flushMask(0),
knownSymbolics(0),
size(_size),
- updates(mo->array, false, 0),
+ updates(mo->array, 0),
readOnly(false) {
}
@@ -149,7 +149,6 @@ void ObjectState::makeConcrete() {
void ObjectState::makeSymbolic() {
assert(!updates.head &&
"XXX makeSymbolic of objects with symbolic values is unsupported");
- updates.isRooted = true;
// XXX simplify this, can just delete various arrays I guess
for (unsigned i=0; i<size; i++) {
@@ -792,7 +791,6 @@ void ObjectState::print() {
llvm::cerr << "-- ObjectState --\n";
llvm::cerr << "\tMemoryObject ID: " << object->id << "\n";
llvm::cerr << "\tRoot Object: " << updates.root << "\n";
- llvm::cerr << "\tIs Rooted? " << updates.isRooted << "\n";
llvm::cerr << "\tSize: " << size << "\n";
llvm::cerr << "\tBytes:\n";