================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
