let lval_to_offsetmap_state state lv = let with_alarms = CilE.warn_none_mode in let loc = Locations.valid_part (lval_to_loc ~with_alarms state lv) in Relations_type.Model.copy_offsetmap ~with_alarms loc state