47 /// only reachable from the [`SocketState::Connecting`] state.
48 Connected(TcpStream),
49▶ /// The SO_ERROR socket option has been set after calling
50 /// the `connect` syscall, indicating that the connection
51 /// attempt failed. By the POSIX specification, a socket is
· · ·
67 /// The current blocking I/O readiness of the file description.
68 io_readiness: RefCell<BlockingIoSourceReadiness>,
69▶ /// [`Some`] when the socket had an async error which has not yet been fetched via `SO_ERROR`.
70 error: RefCell<Option<io::Error>>,
71 /// Read timeout of the socket. [`None`] means that reads can block indefinitely.
· · ·
70▶ error: RefCell<Option<io::Error>>,
71 /// Read timeout of the socket. [`None`] means that reads can block indefinitely.
72 /// The timeout is applied to the monotonic clock (the Unix specification doesn't
· · ·
117 len: usize,
118 ecx: &mut MiriInterpCx<'tcx>,
119▶ finish: DynMachineCallback<'tcx, Result<usize, IoError>>,
120 ) -> InterpResult<'tcx> {
121 assert!(communicate_allowed, "cannot have `Socket` with isolation enabled!");
· · ·
134 ptr: Pointer,
135 len: usize,
136▶ finish: DynMachineCallback<'tcx, Result<usize, IoError>>,
137 } |this, result: Result<(), ()>| {
138 if result.is_err() {
+ 113 more matches in this file