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