anonsocket_read in miri::shims::unix::unnamed_socket - Rust
Description: Read from AnonSocket and return the number of bytes read.

Skip to main content

## anonsocket_read

# Function anonsocket_read

Source

    fn anonsocket_read<'tcx>(
        self_ref: FileDescriptionRef<AnonSocket>,
        ptr: Pointer,
        len: usize,
        ecx: &mut MiriInterpCx<'tcx>,
        finish: DynMachineCallback<'tcx, Result<usize, IoError>>,
    ) -> InterpResult<'tcx>

Expand description

Read from AnonSocket and return the number of bytes read.