method private do_assign lv =
let deps,_loc =
!Value.lval_to_loc_with_deps
~with_alarms:CilE.warn_none_mode
~deps:Zone.bottom
self#current_kinstr
lv
in
(* Format.printf "do_assign deps:%a@."
Zone.pretty deps; *)
self#join deps;