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