let get_lval_zones stmt lval =
let dpds, loc = !Db.Value.lval_to_loc_with_deps
~with_alarms:CilE.warn_none_mode
(Kstmt stmt)
~deps:Locations.Zone.bottom lval
in
let zone = Locations.valid_enumerate_bits loc in
let exact = Locations.valid_cardinal_zero_or_one loc in
dpds, exact, zone