diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-01-29 22:56:11 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-01-29 22:56:11 +0000 |
commit | 7d7fe6d539b3bdb1701835223cca306c325614a7 (patch) | |
tree | 1565e4a64e8b616997ec90beb3d5c9db1ae5ae53 /include/clang/Analysis/PathSensitive/ExplodedGraph.h | |
parent | f4b7a6940070f04d7845ac55f0d1e300a8bee0d9 (diff) |
Added boilerplate logic in GREngine for processing branches.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46532 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, 3 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index a7f6c3c005..dc96c1c5a4 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -29,6 +29,7 @@ namespace clang { class GREngineImpl; class ExplodedNodeImpl; class GRStmtNodeBuilderImpl; +class GRBranchNodeBuilderImpl; class CFG; class ASTContext; class FunctionDecl; @@ -39,6 +40,7 @@ protected: friend class ExplodedGraphImpl; friend class GREngineImpl; friend class GRStmtNodeBuilderImpl; + friend class GRBranchNodeBuilderImpl; class NodeGroup { enum { Size1 = 0x0, SizeOther = 0x1, Infeasible = 0x2, Flags = 0x3 }; @@ -193,6 +195,7 @@ class ExplodedGraphImpl { protected: friend class GREngineImpl; friend class GRStmtNodeBuilderImpl; + friend class GRBranchNodeBuilderImpl; // Type definitions. typedef llvm::DenseMap<ProgramPoint,void*> EdgeNodeSetMap; |