From d719842cea889874eb5fc18cf1a31da719a63736 Mon Sep 17 00:00:00 2001 From: Karoliine Holter <44437975+karoliineh@users.noreply.github.com> Date: Thu, 11 Jan 2024 12:44:25 +0200 Subject: [PATCH] Use ask variable instead of Analyses.ask_of_ctx ctx Co-authored-by: Simmo Saan --- src/analyses/threadEscape.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/analyses/threadEscape.ml b/src/analyses/threadEscape.ml index 3aad5ea5cf..376666c611 100644 --- a/src/analyses/threadEscape.ml +++ b/src/analyses/threadEscape.ml @@ -132,7 +132,7 @@ struct let ask = Analyses.ask_of_ctx ctx in let vs = mpt ask (AddrOf lval) in if D.exists (fun v -> v.vglob || has_escaped ask v) vs then ( - let escaped = escape_rval ctx (Analyses.ask_of_ctx ctx) rval in + let escaped = escape_rval ctx ask rval in D.join ctx.local escaped ) else begin ctx.local