================
@@ -3655,29 +3652,27 @@ void ExprEngine::evalLoad(ExplodedNodeSet &Dst,
V = state->getSVal(location.castAs<Loc>(), LoadTy);
}
- Bldr.generateNode(NodeEx, I,
- state->BindExpr(BoundEx, I->getStackFrame(), V), tag,
- ProgramPoint::PostLoadKind);
+ const auto *SF = I->getStackFrame();
+ const auto &Loc = ProgramPoint::getProgramPoint(
+ NodeEx, ProgramPoint::PostLoadKind, SF, tag);
----------------
NagyDonat wrote:
```suggestion
PostLoad Loc(NodeEx, SF, tag);
```
You don't need `getProgramPoint` if the program point kind is concrete.
https://github.com/llvm/llvm-project/pull/212186
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
