let lval_to_zone_state state lv =
  Locations.valid_enumerate_bits
    ~for_writing:false
    (lval_to_loc ~with_alarms:CilE.warn_none_mode state lv)