method vlval lv =
let deps,loc =
!Value.lval_to_loc_with_deps
~with_alarms:CilE.warn_none_mode
~deps:Zone.bottom
(Kstmt (Cilutil.out_some self#current_stmt))
lv
in
let bits_loc = valid_enumerate_bits loc in
let all = Zone.join bits_loc deps in
let froms = self#stmt_froms in
let all_f = Lmap_bitwise.From_Model.find froms all in
self#join all_f;
(* Format.printf "lval: all %a all_f %a@."
Zone.pretty all
Zone.pretty all_f; *)
SkipChildren