================
@@ -709,8 +706,9 @@ void ExprEngine::handleConstructor(const Expr *E,
State = State->bindDefaultZero(Target, SF);
}
- Bldr.generateNode(CE, N, State, /*tag=*/nullptr,
- ProgramPoint::PreStmtKind);
+ const ProgramPoint &P = ProgramPoint::getProgramPoint(
+ CE, ProgramPoint::PreStmtKind, N->getStackFrame(), /*tag=*/nullptr);
+ PreInitialized.insert(Engine.makeNode(P, State, N));
----------------
NagyDonat wrote:
```suggestion
PreInitialized.insert(Engine.makeNode(PreStmt(CE, SF, /*tag=*/nullptr),
State, N));
```
I'm pretty sure that `N->getStackFrame()` is the same as
`Pred->getStackFrame()` but @tigbr make sure that it is so.
https://github.com/llvm/llvm-project/pull/212186
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
