From 78b1df8bd1664931fe32d186a21a7ebf58ad9489 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Tue, 9 Jun 2009 06:47:06 +0000 Subject: Remove Array::object. - The sole remaining client was IVC, which is currently disabled for other correctness issues. I patched it to compile and left a FIXME that we will have to resolve this before we can reenable IVC. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73129 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Expr.h | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'include') diff --git a/include/klee/Expr.h b/include/klee/Expr.h index f13ab6d5..73734da3 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -29,7 +29,6 @@ namespace klee { class Array; class ConstantExpr; class ObjectState; -class MemoryObject; template class ref; @@ -474,8 +473,6 @@ private: class Array { public: const std::string name; - // FIXME: This does not belong here. - const MemoryObject *object; // FIXME: Not 64-bit clean. unsigned size; @@ -485,13 +482,13 @@ public: public: /// Array - Construct a new array object. /// - /// \param _name - The name for this arrays. Names should generally be unique + /// \param _name - The name for this array. Names should generally be unique /// across an application, but this is not necessary for correctness, except /// when printing expressions. When expressions are printed the output will /// not parse correctly since two arrays with the same name cannot be /// distinguished once printed. - Array(const std::string &_name, const MemoryObject *_object, uint64_t _size) - : name(_name), object(_object), size(_size), stpInitialArray(0) {} + Array(const std::string &_name, uint64_t _size) + : name(_name), size(_size), stpInitialArray(0) {} ~Array() { // FIXME: This relies on caller to delete the STP array. assert(!stpInitialArray && "Array must be deleted by caller!"); -- cgit 1.4.1