Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h431 class BranchNodeBuilder: public NodeBuilder {
441 BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, in BranchNodeBuilder() function
451 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, in BranchNodeBuilder() function
H A DExplodedGraph.h66 friend class BranchNodeBuilder; variable
H A DExprEngine.h81 class BranchNodeBuilder; variable
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp633 void BranchNodeBuilder::anchor() {} in anchor()
635 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode()
H A DExprEngine.cpp1136 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch()
2230 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
2251 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
2306 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()