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