================
@@ -291,47 +291,14 @@ class NodeBuilder {
return generateNodeImpl(PP, State, Pred, true);
}
- const ExplodedNodeSet &getResults() { return Frontier; }
-
- const NodeBuilderContext &getContext() { return C; }
- bool hasGeneratedNodes() { return HasGeneratedNodes; }
-
- void takeNodes(const ExplodedNodeSet &S) {
- for (const auto I : S)
- Frontier.erase(I);
- }
-
- void takeNodes(ExplodedNode *N) { Frontier.erase(N); }
- void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); }
- void addNodes(ExplodedNode *N) { Frontier.Add(N); }
-};
----------------
NagyDonat wrote:
The Github diff display is a bit dumb (at least for me) -- these lines were not
deleted, they also appear as "added" lines below.
https://github.com/llvm/llvm-project/pull/181431
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
