From 876a9e45740b09a8518bef438f1e895c9f416be3 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Wed, 10 Jun 2009 06:23:00 +0000 Subject: 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 --- include/klee/Expr.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'include') 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(); } -- cgit 1.4.1