method vlval lv =
let deps,loc =
!Value.lval_to_loc_with_deps
~with_alarms:CilE.warn_none_mode
~deps:Zone.bottom
current_stmt lv
in
let bits_loc = valid_enumerate_bits loc in
self#join deps;
self#join bits_loc;
SkipChildren