================
@@ -559,6 +559,20 @@ void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B,
HandleBlockEdge(Loc, Pred);
}
+ExplodedNode *CoreEngine::makeNode(const ProgramPoint &Loc,
+ ProgramStateRef State,
+ ExplodedNode *Pred,
+ bool MarkAsSink) const {
+ bool IsNew;
+ ExplodedNode *N = G.getNode(Loc, State, MarkAsSink, &IsNew);
+ N->addPredecessor(Pred, G);
+
+ if (!IsNew)
+ return nullptr;
+
+ return N;
----------------
NagyDonat wrote:
Done in
https://github.com/llvm/llvm-project/pull/182377/commits/e1656efbce1d4ed779cc50e98b4e278f0e6ad8ab
https://github.com/llvm/llvm-project/pull/182377
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits