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