Searched refs:BranchNodeBuilder (Results 1 - 5 of 5) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 36 class BranchNodeBuilder;
|
| H A D | CoreEngine.h | 401 /// \brief BranchNodeBuilder is responsible for constructing the nodes
403 class BranchNodeBuilder: public NodeBuilder { class in namespace:clang::ento
412 BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, function in class:clang::ento::BranchNodeBuilder
422 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, function in class:clang::ento::BranchNodeBuilder
|
| H A D | ExplodedGraph.h | 58 friend class BranchNodeBuilder;
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 636 void BranchNodeBuilder::anchor() { }
638 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State,
|
| H A D | ExprEngine.cpp | 1438 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF);
1460 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF);
1539 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF);
|
Completed in 83 milliseconds