Move Array construction out of MemoryObject into ObjectState.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73162 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 1 insertions, 4 deletions

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index 9afbabd7..878a70ba 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -507,10 +507,7 @@ public:
              "Invalid initial constant value!");
 #endif
   }
-  ~Array() {
-    // FIXME: This relies on caller to delete the STP array.
-    assert(!stpInitialArray && "Array must be deleted by caller!");
-  }
+  ~Array();
 
   bool isSymbolicArray() const { return constantValues.empty(); }
   bool isConstantArray() const { return !isSymbolicArray(); }