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 /include/clang/Analysis/PathSensitive/ExplodedGraph.h | |
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 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
-rw-r--r-- | include/clang/Analysis/PathSensitive/ExplodedGraph.h | 5 |
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; |