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