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