method vinst i =
match i with
| Set (lv,exp,_) ->
current_locs <- Some (Loc_hashtbl.create 7);
begin match lv with
Var _, offset ->
ignore (self#voffs offset);
| Mem e, offset ->
ignore (self#vexpr e);
ignore (self#voffs offset);
end;
ignore (self#vexpr exp);
(* TODO: do some stuff with self#current_stmt *)
SkipChildren
| _ -> SkipChildren