method vexpr exp =
match exp.enode with
| AddrOf lv | StartOf lv ->
let deps,_loc =
!Value.lval_to_loc_with_deps
~with_alarms:CilE.warn_none_mode
~deps:Zone.bottom
(Kstmt (out_some self#current_stmt))
lv
in
let froms = self#stmt_froms in
let deps_f = Lmap_bitwise.From_Model.find froms deps in
self#join deps_f;
Format.printf "AddrOf: deps %a deps_f %a@."
Zone.pretty deps
Zone.pretty deps_f;
SkipChildren
| _ -> DoChildren