aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/ExplodedGraph.h
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-02-15 22:09:30 +0000
committerTed Kremenek <kremenek@apple.com>2008-02-15 22:09:30 +0000
commit50d0ac299c641bee9024f3fbae2ea0640898a040 (patch)
tree806780088e3394fb6fe55eae3b122b4326ff0bd8 /include/clang/Analysis/PathSensitive/ExplodedGraph.h
parent5d826b82936beb2c32dd02460332ba8035192c65 (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 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
-rw-r--r--include/clang/Analysis/PathSensitive/ExplodedGraph.h5
1 files changed, 4 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h
index 871d765bd3..b6e31b9ffe 100644
--- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h
+++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h
@@ -203,7 +203,10 @@ protected:
friend class GRSwitchNodeBuilderImpl;
// Type definitions.
- typedef llvm::DenseMap<ProgramPoint,void*> EdgeNodeSetMap;
+ typedef llvm::DenseMap<ProgramPoint,
+ llvm::FoldingSet<clang::ExplodedNodeImpl>*>
+ EdgeNodeSetMap;
+
typedef llvm::SmallVector<ExplodedNodeImpl*,2> RootsTy;
typedef llvm::SmallVector<ExplodedNodeImpl*,10> EndNodesTy;