Function miri::shims::native_lib::imm_to_carg
source ยท fn imm_to_carg<'tcx>(
v: ImmTy<'tcx>,
cx: &impl HasDataLayout,
) -> InterpResult<'tcx, CArg>
Expand description
Extract the scalar value from the result of reading a scalar from the machine,
and convert it to a CArg
.