diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-18 19:45:55 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-18 19:45:55 +0000 |
| commit | e2a2fceee17dbf7323b2dac00feb2293365fcc34 (patch) | |
| tree | fe7b22c2315f5b088ec5fb7463de5542dee65918 /lib/Expr/Updates.cpp | |
| parent | a1d4a739609e2a491e846c765c05ddd0b9c79935 (diff) | |
| download | klee-e2a2fceee17dbf7323b2dac00feb2293365fcc34.tar.gz | |
Nice patch by Hristina Palikareva that removes the dependency on STP
arrays from the Array and UpdateNode classes.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166214 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Expr/Updates.cpp')
| -rw-r--r-- | lib/Expr/Updates.cpp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/Expr/Updates.cpp b/lib/Expr/Updates.cpp index 379f1c8d..14fd8308 100644 --- a/lib/Expr/Updates.cpp +++ b/lib/Expr/Updates.cpp @@ -18,8 +18,7 @@ using namespace klee; UpdateNode::UpdateNode(const UpdateNode *_next, const ref<Expr> &_index, const ref<Expr> &_value) - : refCount(0), - stpArray(0), + : refCount(0), next(_next), index(_index), value(_value) { @@ -36,9 +35,6 @@ UpdateNode::UpdateNode(const UpdateNode *_next, extern "C" void vc_DeleteExpr(void*); UpdateNode::~UpdateNode() { - // XXX gross - if (stpArray) - ::vc_DeleteExpr(stpArray); } int UpdateNode::compare(const UpdateNode &b) const { |