From 7a0e82382e1211ba316af72576fe9a5bbc760fa5 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 2 Nov 2017 09:32:38 +0100 Subject: Make print function of ObjectState public and const --- lib/Core/Memory.cpp | 2 +- lib/Core/Memory.h | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'lib/Core') diff --git a/lib/Core/Memory.cpp b/lib/Core/Memory.cpp index 584ea15d..cd13eada 100644 --- a/lib/Core/Memory.cpp +++ b/lib/Core/Memory.cpp @@ -577,7 +577,7 @@ void ObjectState::write64(unsigned offset, uint64_t value) { } } -void ObjectState::print() { +void ObjectState::print() const { llvm::errs() << "-- ObjectState --\n"; llvm::errs() << "\tMemoryObject ID: " << object->id << "\n"; llvm::errs() << "\tRoot Object: " << updates.root << "\n"; diff --git a/lib/Core/Memory.h b/lib/Core/Memory.h index 4e5c8734..3084cf32 100644 --- a/lib/Core/Memory.h +++ b/lib/Core/Memory.h @@ -205,6 +205,8 @@ public: void write32(unsigned offset, uint32_t value); void write64(unsigned offset, uint64_t value); + void print() const; + private: const UpdateList &getUpdates() const; @@ -231,7 +233,6 @@ private: void markByteUnflushed(unsigned offset); void setKnownSymbolic(unsigned offset, Expr *value); - void print(); ArrayCache *getArrayCache() const; }; -- cgit 1.4.1