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.