[clang] [NFC][analyzer] Refactor ExprEngine::processCallExit (PR #186182)
Balázs Benics via cfe-commits
cfe-commits at lists.llvm.org
Fri Mar 13 04:08:41 PDT 2026
================
@@ -388,8 +389,8 @@ void ExprEngine::processCallExit(ExplodedNode *CEBNode) {
// Step 5: Perform the post-condition check of the CallExpr and enqueue the
// result onto the work list.
// CEENode -> Dst -> WorkList
- NodeBuilderContext Ctx(Engine, calleeCtx->getCallSiteBlock(), CEENode);
- SaveAndRestore<const NodeBuilderContext *> NBCSave(currBldrCtx, &Ctx);
+ setCurrLocationContextAndBlock(CEENode->getLocationContext(),
+ calleeCtx->getCallSiteBlock());
----------------
steakhal wrote:
Do you think we should just invoke these handlers with the same contexts in both cases?
Would that make sense?
https://github.com/llvm/llvm-project/pull/186182
More information about the cfe-commits
mailing list