diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-03-05 00:33:14 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-03-05 00:33:14 +0000 |
commit | 330dddd19406f9cc227e59e0bb0a36ecdc52915e (patch) | |
tree | 11332ef1e208029741dd139b34e596d5b074bddb /include/clang/Analysis/PathSensitive/ExplodedGraph.h | |
parent | e5f4dcb6bd73a10df6eb6c3cfe057c88cb2362cc (diff) |
Plug-in transfer function "EvalCall" now takes as an argument the current
GRStmtNodeBuilder and is now responsible for adding its own nodes to the graph.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47923 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
-rw-r--r-- | include/clang/Analysis/PathSensitive/ExplodedGraph.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index 423f4f065c..ca76c48387 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -365,9 +365,10 @@ public: }; -template <typename NodeTy> +template <typename StateTy> class ExplodedNodeSet { + typedef ExplodedNode<StateTy> NodeTy; typedef llvm::SmallPtrSet<NodeTy*,5> ImplTy; ImplTy Impl; |