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
  Cvalue.Model.copy_offsetmap
    ~with_alarms:CilE.warn_none_mode
    loc_to_read
    state