miri::shims::native_lib

Function 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.