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
current_stmt lv
in
self#join deps;
SkipChildren
| _ -> DoChildren