================
@@ -267,8 +260,9 @@ class NodeBuilder {
NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
const NodeBuilderContext &Ctx)
: C(Ctx), Frontier(DstSet) {
- Frontier.insert(SrcSet);
- assert(hasNoSinksInFrontier());
+ for (ExplodedNode *Node : SrcSet)
+ if (!Node->isSink())
+ Frontier.insert(Node);
}
----------------
NagyDonat wrote:
Anyway, I'm removing this commit from this PR and moving it to my next PR,
because I realized that this change is not logically related to the removal of
`StmtNodeBuilder` but it is related to my next change.
https://github.com/llvm/llvm-project/pull/181431
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
