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 ~for_writing:false
                (loc_without_size_to_loc lv r))
    end;
    DoChildren