Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly

call the dstor instead of using delete.

llvm-svn: 46084
This commit is contained in:
Ted Kremenek 2008-01-16 19:27:42 +00:00
parent a65e1f3b31
commit deac51943a
1 changed files with 1 additions and 1 deletions

View File

@ -80,7 +80,7 @@ ExplodedGraphImpl::~ExplodedGraphImpl() {
for (llvm::FoldingSet<ExplodedNodeImpl>::iterator
I=ENodes->begin(), E=ENodes->end(); I!=E; ++I)
delete &*I;
(*I).~ExplodedNodeImpl();
delete ENodes;
}