let call_for_users (_state, call_stack) =
Users.mark_as_computed ();
match call_stack with
| [] -> assert false
| (current_function, _call_site) :: tail ->
let treat_element (user, _call_site) =
ignore
(Users.memo
~change:(Kernel_function.Hptset.add current_function)
(fun _ -> Kernel_function.Hptset.singleton current_function)
user)
in
List.iter treat_element tail