================
@@ -262,6 +262,10 @@ void ExprEngine::processCallExit(ExplodedNode *CEBNode) {
// Find the last statement in the function and the corresponding basic block.
auto [LastSt, Blk] = getLastStmt(CEBNode);
+ const CFGBlock *PrePurgeBlock =
+ isa_and_nonnull<ReturnStmt>(LastSt) ? Blk : &CEBNode->getCFG().getExit();
+ setCurrLocationContextAndBlock(CalleeCtx, PrePurgeBlock);
----------------
NagyDonat wrote:
Thanks for the remark :smile: It was in my passive vocabulary, but didn't come
to my mind when I wrote the commit messages.
https://github.com/llvm/llvm-project/pull/186182
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
