Thank you for your contribution! Sashiko AI review found 1 potential issue(s) to consider: - [Low] Missing `#[inline]` attributes on small forwarding functions in abstraction crate. --
commit a8487c7d01286e697fa7028c9540c62f1483807e Author: Danilo Krummrich <[email protected]> rust: types: implement ForeignOwnable for ARef<T> Implement ForeignOwnable for ARef<T>, making it possible for C code to own an ARef<T>. > diff --git a/rust/kernel/sync/aref.rs b/rust/kernel/sync/aref.rs > index 9989f56d06052..82907383c44b5 100644 > --- a/rust/kernel/sync/aref.rs > +++ b/rust/kernel/sync/aref.rs [ ... ] > @@ -183,6 +187,41 @@ fn eq(&self, other: &ARef<U>) -> bool { > } > impl<T: AlwaysRefCounted + Eq> Eq for ARef<T> {} > > +// SAFETY: `into_foreign` returns a pointer from `NonNull::as_ptr`, so it's > non-null. The > +// `ARef` invariant guarantees that `ptr` points to a valid `T`, so it's > aligned to `T`. > +unsafe impl<T: AlwaysRefCounted + 'static> ForeignOwnable for ARef<T> { > + const FOREIGN_ALIGN: usize = core::mem::align_of::<T>(); > + > + type Borrowed<'a> = &'a T; > + type BorrowedMut<'a> = &'a T; > + > + fn into_foreign(self) -> *mut c_void { > + ARef::into_raw(self).as_ptr().cast() > + } [Severity: Low] This isn't a bug, but should into_foreign(), from_foreign(), borrow(), and borrow_mut() be annotated with #[inline]? The Rust subsystem guidelines suggest that small or forwarding functions in kernel abstractions should use the #[inline] attribute. > + > + unsafe fn from_foreign(ptr: *mut c_void) -> Self { > + // SAFETY: The safety requirements of this function ensure that > `ptr` comes from a previous > + // call to `Self::into_foreign`. > + let ptr = unsafe { NonNull::new_unchecked(ptr.cast()) }; > + > + // SAFETY: `ptr` came from `into_foreign`, which consumed an `ARef` > without decrementing > + // the refcount, so we can transfer the ownership to the new `ARef`. > + unsafe { ARef::from_raw(ptr) } > + } > + > + unsafe fn borrow<'a>(ptr: *mut c_void) -> &'a T { > + // SAFETY: The safety requirements of this method ensure that the > object remains alive and > + // immutable for the duration of 'a. > + unsafe { &*ptr.cast() } > + } > + > + unsafe fn borrow_mut<'a>(ptr: *mut c_void) -> &'a T { > + // SAFETY: The safety requirements for `borrow_mut` are a superset > of the safety > + // requirements for `borrow`. > + unsafe { <Self as ForeignOwnable>::borrow(ptr) } > + } > +} -- Sashiko AI review · https://sashiko.dev/#/patchset/[email protected]?part=1
