method vlval (base,_ as lv) =
    begin match base with
      | Var _ -> ()
      | Mem e ->
          let state = 
            Value.get_state 
              (Kstmt (Cilutil.out_some self#current_stmt)) 
          in
          let r = !Value.eval_expr  ~with_alarms:CilE.warn_none_mode state e in
          self#join (valid_enumerate_bits (loc_without_size_to_loc lv r))
    end;
    DoChildren