Searched refs:BranchNodeBuilder (Results 1 – 5 of 5) sorted by relevance
| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 401 class BranchNodeBuilder: public NodeBuilder {
410 BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, in BranchNodeBuilder() function
420 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, in BranchNodeBuilder() function
|
| D | SubEngine.h | 36 class BranchNodeBuilder; variable
|
| D | ExplodedGraph.h | 58 friend class BranchNodeBuilder; variable
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 631 void BranchNodeBuilder::anchor() { } in anchor()
633 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode()
|
| D | ExprEngine.cpp | 1383 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
1405 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
1484 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|