1
Fork 0

core: Apply unsafe_op_in_unsafe_fn

This commit is contained in:
Eric Huss 2025-02-13 12:40:27 -08:00
parent d88ffcdb8b
commit 4e36f46464
8 changed files with 15 additions and 15 deletions

View file

@ -70,7 +70,7 @@ use crate::{cmp, ptr};
/// { /// {
/// return null_mut(); /// return null_mut();
/// }; /// };
/// self.arena.get().cast::<u8>().add(allocated) /// unsafe { self.arena.get().cast::<u8>().add(allocated) }
/// } /// }
/// unsafe fn dealloc(&self, _ptr: *mut u8, _layout: Layout) {} /// unsafe fn dealloc(&self, _ptr: *mut u8, _layout: Layout) {}
/// } /// }

View file

@ -52,7 +52,7 @@ use crate::{intrinsics, ub_checks};
/// // Safety: `divisor` can't be zero because of `prepare_inputs`, /// // Safety: `divisor` can't be zero because of `prepare_inputs`,
/// // but the compiler does not know about this. We *promise* /// // but the compiler does not know about this. We *promise*
/// // that we always call `prepare_inputs`. /// // that we always call `prepare_inputs`.
/// std::hint::unreachable_unchecked() /// unsafe { std::hint::unreachable_unchecked() }
/// } /// }
/// // The compiler would normally introduce a check here that prevents /// // The compiler would normally introduce a check here that prevents
/// // a division by zero. However, if `divisor` was zero, the branch /// // a division by zero. However, if `divisor` was zero, the branch

View file

@ -1703,12 +1703,12 @@ pub const fn forget<T: ?Sized>(_: T) {
/// ``` /// ```
/// struct R<'a>(&'a i32); /// struct R<'a>(&'a i32);
/// unsafe fn extend_lifetime<'b>(r: R<'b>) -> R<'static> { /// unsafe fn extend_lifetime<'b>(r: R<'b>) -> R<'static> {
/// std::mem::transmute::<R<'b>, R<'static>>(r) /// unsafe { std::mem::transmute::<R<'b>, R<'static>>(r) }
/// } /// }
/// ///
/// unsafe fn shorten_invariant_lifetime<'b, 'c>(r: &'b mut R<'static>) /// unsafe fn shorten_invariant_lifetime<'b, 'c>(r: &'b mut R<'static>)
/// -> &'b mut R<'c> { /// -> &'b mut R<'c> {
/// std::mem::transmute::<&'b mut R<'static>, &'b mut R<'c>>(r) /// unsafe { std::mem::transmute::<&'b mut R<'static>, &'b mut R<'c>>(r) }
/// } /// }
/// ``` /// ```
/// ///
@ -4498,11 +4498,11 @@ pub const unsafe fn copy_nonoverlapping<T>(src: *const T, dst: *mut T, count: us
/// ///
/// // SAFETY: Our precondition ensures the source is aligned and valid, /// // SAFETY: Our precondition ensures the source is aligned and valid,
/// // and `Vec::with_capacity` ensures that we have usable space to write them. /// // and `Vec::with_capacity` ensures that we have usable space to write them.
/// ptr::copy(ptr, dst.as_mut_ptr(), elts); /// unsafe { ptr::copy(ptr, dst.as_mut_ptr(), elts); }
/// ///
/// // SAFETY: We created it with this much capacity earlier, /// // SAFETY: We created it with this much capacity earlier,
/// // and the previous `copy` has initialized these elements. /// // and the previous `copy` has initialized these elements.
/// dst.set_len(elts); /// unsafe { dst.set_len(elts); }
/// dst /// dst
/// } /// }
/// ``` /// ```

View file

@ -98,7 +98,7 @@ use crate::{fmt, intrinsics, ptr, slice};
/// ///
/// unsafe fn make_vec(out: *mut Vec<i32>) { /// unsafe fn make_vec(out: *mut Vec<i32>) {
/// // `write` does not drop the old contents, which is important. /// // `write` does not drop the old contents, which is important.
/// out.write(vec![1, 2, 3]); /// unsafe { out.write(vec![1, 2, 3]); }
/// } /// }
/// ///
/// let mut v = MaybeUninit::uninit(); /// let mut v = MaybeUninit::uninit();
@ -844,7 +844,7 @@ impl<T> MaybeUninit<T> {
/// # #![allow(unexpected_cfgs)] /// # #![allow(unexpected_cfgs)]
/// use std::mem::MaybeUninit; /// use std::mem::MaybeUninit;
/// ///
/// # unsafe extern "C" fn initialize_buffer(buf: *mut [u8; 1024]) { *buf = [0; 1024] } /// # unsafe extern "C" fn initialize_buffer(buf: *mut [u8; 1024]) { unsafe { *buf = [0; 1024] } }
/// # #[cfg(FALSE)] /// # #[cfg(FALSE)]
/// extern "C" { /// extern "C" {
/// /// Initializes *all* the bytes of the input buffer. /// /// Initializes *all* the bytes of the input buffer.

View file

@ -32,7 +32,7 @@ use crate::marker::{ConstParamTy_, UnsizedConstParamTy};
/// src: ManuallyDrop::new(src), /// src: ManuallyDrop::new(src),
/// }; /// };
/// ///
/// let dst = transmute.dst; /// let dst = unsafe { transmute.dst };
/// ///
/// ManuallyDrop::into_inner(dst) /// ManuallyDrop::into_inner(dst)
/// } /// }

View file

@ -724,13 +724,13 @@ impl<T: ?Sized> *const T {
/// that their safety preconditions are met: /// that their safety preconditions are met:
/// ```rust /// ```rust
/// # #![feature(ptr_sub_ptr)] /// # #![feature(ptr_sub_ptr)]
/// # unsafe fn blah(ptr: *const i32, origin: *const i32, count: usize) -> bool { /// # unsafe fn blah(ptr: *const i32, origin: *const i32, count: usize) -> bool { unsafe {
/// ptr.sub_ptr(origin) == count /// ptr.sub_ptr(origin) == count
/// # && /// # &&
/// origin.add(count) == ptr /// origin.add(count) == ptr
/// # && /// # &&
/// ptr.sub(count) == origin /// ptr.sub(count) == origin
/// # } /// # } }
/// ``` /// ```
/// ///
/// # Safety /// # Safety

View file

@ -896,13 +896,13 @@ impl<T: ?Sized> *mut T {
/// that their safety preconditions are met: /// that their safety preconditions are met:
/// ```rust /// ```rust
/// # #![feature(ptr_sub_ptr)] /// # #![feature(ptr_sub_ptr)]
/// # unsafe fn blah(ptr: *mut i32, origin: *mut i32, count: usize) -> bool { /// # unsafe fn blah(ptr: *mut i32, origin: *mut i32, count: usize) -> bool { unsafe {
/// ptr.sub_ptr(origin) == count /// ptr.sub_ptr(origin) == count
/// # && /// # &&
/// origin.add(count) == ptr /// origin.add(count) == ptr
/// # && /// # &&
/// ptr.sub(count) == origin /// ptr.sub(count) == origin
/// # } /// # } }
/// ``` /// ```
/// ///
/// # Safety /// # Safety

View file

@ -857,13 +857,13 @@ impl<T: ?Sized> NonNull<T> {
/// that their safety preconditions are met: /// that their safety preconditions are met:
/// ```rust /// ```rust
/// # #![feature(ptr_sub_ptr)] /// # #![feature(ptr_sub_ptr)]
/// # unsafe fn blah(ptr: std::ptr::NonNull<u32>, origin: std::ptr::NonNull<u32>, count: usize) -> bool { /// # unsafe fn blah(ptr: std::ptr::NonNull<u32>, origin: std::ptr::NonNull<u32>, count: usize) -> bool { unsafe {
/// ptr.sub_ptr(origin) == count /// ptr.sub_ptr(origin) == count
/// # && /// # &&
/// origin.add(count) == ptr /// origin.add(count) == ptr
/// # && /// # &&
/// ptr.sub(count) == origin /// ptr.sub(count) == origin
/// # } /// # } }
/// ``` /// ```
/// ///
/// # Safety /// # Safety