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