Function check_return_value

ir/instr.cpp:2548–2555

}

static StateValue
check_return_value(State &s, StateValue &&val, const Type &ty,
                   const FnAttrs &attrs,
                   const vector<pair<Value*, ParamAttrs>> &args) {
  auto [allocsize, np] = attrs.computeAllocSize(s, args);
  s.addUB(std::move(np));
  return attrs.encode(s, std::move(val), ty, allocsize, get_align_arg(args));
}

static StateValue
pack_return(State &s, Type &ty, StateValue &&val, const FnAttrs &attrs,