mirror of
https://github.com/Dasharo/linux.git
synced 2026-03-06 15:25:10 -08:00
rust: arc: use NonNull::new_unchecked
There is no need to check (and panic on violations of) the safety requirements on `ForeignOwnable` functions. Avoiding the check is consistent with the implementation of `ForeignOwnable` for `Box`. Reviewed-by: Alice Ryhl <aliceryhl@google.com> Reviewed-by: Andreas Hindborg <a.hindborg@kernel.org> Signed-off-by: Tamir Duberstein <tamird@gmail.com> Link: https://lore.kernel.org/r/20241120-borrow-mut-v6-1-80dbadd00951@gmail.com Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
This commit is contained in:
committed by
Miguel Ojeda
parent
47cb6bf786
commit
c6340da3d2
@@ -349,9 +349,9 @@ impl<T: 'static> ForeignOwnable for Arc<T> {
|
||||
}
|
||||
|
||||
unsafe fn borrow<'a>(ptr: *const crate::ffi::c_void) -> ArcBorrow<'a, T> {
|
||||
// By the safety requirement of this function, we know that `ptr` came from
|
||||
// a previous call to `Arc::into_foreign`.
|
||||
let inner = NonNull::new(ptr as *mut ArcInner<T>).unwrap();
|
||||
// SAFETY: The safety requirements of this function ensure that `ptr` comes from a previous
|
||||
// call to `Self::into_foreign`.
|
||||
let inner = unsafe { NonNull::new_unchecked(ptr as *mut ArcInner<T>) };
|
||||
|
||||
// SAFETY: The safety requirements of `from_foreign` ensure that the object remains alive
|
||||
// for the lifetime of the returned value.
|
||||
@@ -359,10 +359,14 @@ impl<T: 'static> ForeignOwnable for Arc<T> {
|
||||
}
|
||||
|
||||
unsafe fn from_foreign(ptr: *const crate::ffi::c_void) -> Self {
|
||||
// SAFETY: The safety requirements of this function ensure that `ptr` comes from a previous
|
||||
// call to `Self::into_foreign`.
|
||||
let inner = unsafe { NonNull::new_unchecked(ptr as *mut ArcInner<T>) };
|
||||
|
||||
// SAFETY: By the safety requirement of this function, we know that `ptr` came from
|
||||
// a previous call to `Arc::into_foreign`, which guarantees that `ptr` is valid and
|
||||
// holds a reference count increment that is transferrable to us.
|
||||
unsafe { Self::from_inner(NonNull::new(ptr as _).unwrap()) }
|
||||
unsafe { Self::from_inner(inner) }
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user