================
@@ -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());
----------------
NagyDonat wrote:
@steakhal I'm merging this PR, but I'm open to continuing this discussion here
or elsewhere if you are interested.
https://github.com/llvm/llvm-project/pull/186182
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
