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