================
@@ -763,7 +760,8 @@ void ExprEngine::handleConstructor(const Expr *E,
"We should not have inlined this constructor!");
for (ExplodedNode *N : DstEvaluated) {
- Bldr.generateSink(E, N, N->getState());
+ DstEvaluatedPostProcessed.insert(Engine.makePostStmtNode(
+ E, N->getState(), N, /* MarkAsSink */ true));
----------------
NagyDonat wrote:
```suggestion
Engine.makePostStmtNode(E, N->getState(), N, /*MarkAsSink=*/true);
```
As above, `insert` ignores sink nodes.
https://github.com/llvm/llvm-project/pull/212186
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
