let add_retres_to_state ~with_alarms kf offsetmap state =
let retres_vi = get kf in
let retres_base = Base.create_varinfo retres_vi in
let loc = Location_Bits.inject retres_base Ival.zero in
let size =
try Int.of_int (bitsSizeOf retres_vi.vtype)
with SizeOfError _ ->
Value_parameters.abort "library function return type size unknown. Please report"
in
let state = Cvalue.Model.paste_offsetmap
with_alarms offsetmap loc Int.zero size true state
in
retres_vi, state