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
diff --git a/Analysis/ExplodedGraph.cpp b/Analysis/ExplodedGraph.cpp
index 826162f..ca58426 100644
--- a/Analysis/ExplodedGraph.cpp
+++ b/Analysis/ExplodedGraph.cpp
@@ -75,8 +75,7 @@
// 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)