Home
last modified time | relevance | path

Searched refs:BranchNodeBuilder (Results 1 – 5 of 5) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h398 class BranchNodeBuilder: public NodeBuilder {
407 BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, in BranchNodeBuilder() function
417 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, in BranchNodeBuilder() function
DSubEngine.h36 class BranchNodeBuilder; variable
DExplodedGraph.h58 friend class BranchNodeBuilder; variable
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp653 void BranchNodeBuilder::anchor() { } in anchor()
655 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode()
DExprEngine.cpp701 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch()
1529 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
1551 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
1630 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()