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