let offsetmap_of_lv ~with_alarms state lv =
CilE.set_syntactic_context (CilE.SyMem lv);
let loc_to_read =
lval_to_loc ~with_alarms state lv
in
Relations_type.Model.copy_offsetmap
~with_alarms:CilE.warn_none_mode
loc_to_read
state