Searched refs:BranchNodeBuilder (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 437 class BranchNodeBuilder: public NodeBuilder {
447 BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, in BranchNodeBuilder() function
457 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, in BranchNodeBuilder() function
|
| H A D | ExplodedGraph.h | 66 friend class BranchNodeBuilder; variable
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 662 void BranchNodeBuilder::anchor() {} in anchor()
664 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode()
|
| H A D | ExprEngine.cpp | 1305 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch()
2414 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
2435 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
2490 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|