Searched refs:SrcSet (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 284 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
287 Frontier.insert(SrcSet); in C()
400 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
403 : NodeBuilder(SrcSet, DstSet, Ctx), EnclosingBldr(Enclosing) { in NodeBuilder() argument
405 for (const auto I : SrcSet) in NodeBuilder()
457 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, in BranchNodeBuilder() argument
460 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
462 takeNodes(SrcSet); in BranchNodeBuilder()
|