let actualize_formals kf state actuals =
let formals = Kernel_function.get_formals kf in
fold_left2_best_effort
(fun acc (_,actual) formal ->
let loc_without_size =
Location_Bytes.inject
(Base.create_varinfo formal)
(Ival.zero)
in
let loc = make_loc
(loc_bytes_to_loc_bits loc_without_size)
(sizeof_vid formal)
in
Relations_type.Model.add_binding
~with_alarms:CilE.warn_none_mode ~exact:true
acc loc actual)
state
actuals
formals