Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 06e5b34c authored by Andrew Walbran's avatar Andrew Walbran Committed by Automerger Merge Worker
Browse files

Merge "Add safety comments." into main am: dcac88ce am: 383ff05e am: d6ed5462 

Original change: https://android-review.googlesource.com/c/platform/system/core/+/2651895



Change-Id: I33a50490c60723580d85c8f3b7a82c864c988165
Signed-off-by: default avatarAutomerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
parents b90c3fb6 d6ed5462

debuggerd/rust/tombstoned_client/src/lib.rs

+12 −6
Original line number Diff line number Diff line
@@ -39,20 +39,26 @@ pub struct TombstonedConnection { 
}



impl TombstonedConnection {

    /// # Safety

    ///

    /// The file descriptors must be valid and open.

    unsafe fn from_raw_fds(

        tombstoned_socket: RawFd,

        text_output_fd: RawFd,

        proto_output_fd: RawFd,

    ) -> Self {

        Self {

            tombstoned_socket: File::from_raw_fd(tombstoned_socket),

            // SAFETY: The caller guarantees that the file descriptor is valid and open.

            tombstoned_socket: unsafe { File::from_raw_fd(tombstoned_socket) },

            text_output: if text_output_fd >= 0 {

                Some(File::from_raw_fd(text_output_fd))

                // SAFETY: The caller guarantees that the file descriptor is valid and open.

                Some(unsafe { File::from_raw_fd(text_output_fd) })

            } else {

                None

            },

            proto_output: if proto_output_fd >= 0 {

                Some(File::from_raw_fd(proto_output_fd))

                // SAFETY: The caller guarantees that the file descriptor is valid and open.

                Some(unsafe { File::from_raw_fd(proto_output_fd) })

            } else {

                None

            },
@@ -71,6 +77,8 @@ impl TombstonedConnection { 
            &mut proto_output_fd,

            dump_type,

        ) {

            // SAFETY: If tombstoned_connect_files returns successfully then they file descriptors

            // are valid and open.

            Ok(unsafe { Self::from_raw_fds(tombstoned_socket, text_output_fd, proto_output_fd) })

        } else {

            Err(Error)
@@ -146,8 +154,6 @@ mod tests { 
            .write_all(b"test data")

            .expect("Failed to write to text output FD.");



        connection

            .notify_completion()

            .expect("Failed to notify completion.");

        connection.notify_completion().expect("Failed to notify completion.");

    }

}