method vlval lv =
match current_locs with
None -> SkipChildren
| Some current_locs ->
begin match lv with
Mem _e, _ -> DoChildren
| Var v, NoOffset ->
let loc = Locations.loc_of_varinfo v in
ignore (Loc_hashtbl.find current_locs loc.loc);
SkipChildren
| Var _v, (Index _ | Field _) -> DoChildren
end