let lval_to_offsetmap kinstr lv ~with_alarms =
CilE.start_stmt kinstr;
let state = Db.Value.noassert_get_state kinstr in
let loc = Locations.valid_part
(lval_to_loc ~with_alarms state lv)
in
let offsetmap =
Relations_type.Model.copy_offsetmap loc state
in
CilE.end_stmt ();
offsetmap