aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/ExplodedGraph.h
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-01-29 22:56:11 +0000
committerTed Kremenek <kremenek@apple.com>2008-01-29 22:56:11 +0000
commit7d7fe6d539b3bdb1701835223cca306c325614a7 (patch)
tree1565e4a64e8b616997ec90beb3d5c9db1ae5ae53 /include/clang/Analysis/PathSensitive/ExplodedGraph.h
parentf4b7a6940070f04d7845ac55f0d1e300a8bee0d9 (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.h3
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;