================
@@ -664,10 +663,9 @@ void ExprEngine::handleConstructor(const Expr *E,
   if (State != Pred->getState()) {
     static SimpleProgramPointTag T("ExprEngine",
                                    "Prepare for object construction");
-    ExplodedNodeSet DstPrepare;
-    NodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx);
-    Pred =
-        BldrPrepare.generateNode(E, Pred, State, &T, 
ProgramPoint::PreStmtKind);
+    const ProgramPoint &P = ProgramPoint::getProgramPoint(
+        E, ProgramPoint::PreStmtKind, Pred->getStackFrame(), &T);
+    Pred = Engine.makeNode(P, State, Pred);
----------------
NagyDonat wrote:

```suggestion
    Pred = Engine.makeNode(PreStmt(E, SF, &T), State, Pred);
```

https://github.com/llvm/llvm-project/pull/212186
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to