diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-02-15 22:09:30 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-02-15 22:09:30 +0000 |
| commit | 50d0ac299c641bee9024f3fbae2ea0640898a040 (patch) | |
| tree | 806780088e3394fb6fe55eae3b122b4326ff0bd8 /Analysis/ExplodedGraph.cpp | |
| parent | 5d826b82936beb2c32dd02460332ba8035192c65 (diff) | |
Simplified transfer function logic for ++/-- operators.
Added more boilerplate transfer function support for pointer arithmetic.
Added more pretty-printing support for symbolic constraints.
Added transfer function support for handling enum values.
Minor pointer types cleanup in ExplodedGraphImpl.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47183 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Analysis/ExplodedGraph.cpp')
| -rw-r--r-- | Analysis/ExplodedGraph.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Analysis/ExplodedGraph.cpp b/Analysis/ExplodedGraph.cpp index 826162f243..ca5842656f 100644 --- a/Analysis/ExplodedGraph.cpp +++ b/Analysis/ExplodedGraph.cpp @@ -75,8 +75,7 @@ ExplodedGraphImpl::~ExplodedGraphImpl() { // of the FoldingSets are nodes allocated from the BumpPtrAllocator, // so all of those will get nuked when that object is destroyed. for (EdgeNodeSetMap::iterator I=Nodes.begin(), E=Nodes.end(); I!=E; ++I) { - llvm::FoldingSet<ExplodedNodeImpl>* ENodes = - reinterpret_cast<llvm::FoldingSet<ExplodedNodeImpl>*>(I->second); + llvm::FoldingSet<ExplodedNodeImpl>* ENodes = I->second; for (llvm::FoldingSet<ExplodedNodeImpl>::iterator I=ENodes->begin(), E=ENodes->end(); I!=E; ++I) |