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

1 files changed, 3 insertions, 6 deletions

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 T> 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!");