diff options
Diffstat (limited to 'lib/Core/Memory.cpp')
-rw-r--r-- | lib/Core/Memory.cpp | 4 |
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"; |