================
@@ -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);
}
----------------
steakhal wrote:
Is it really the same?
What if the `DstSet` already has elements?
https://github.com/llvm/llvm-project/pull/181431
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
