Skip to content

Commit

Permalink
Add comment about f_ask in combine_assign
Browse files Browse the repository at this point in the history
  • Loading branch information
karoliineh committed Jan 11, 2024
1 parent d719842 commit 34d30fe
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/analyses/threadEscape.ml
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,7 @@ struct
match lval with
| Some lval when D.exists (fun v -> v.vglob || has_escaped ask v) (mpt ask (AddrOf lval)) ->
let rval = Lval (ReturnUtil.return_lval ()) in
let escaped = escape_rval ctx f_ask rval in
let escaped = escape_rval ctx f_ask rval in (* Using f_ask because the return value is only accessible in the context of that function at this point *)
D.join ctx.local escaped
| _ -> ctx.local

Expand Down

0 comments on commit 34d30fe

Please sign in to comment.