]> www.infradead.org Git - users/hch/misc.git/commitdiff
rust: derive `Zeroable` for all structs & unions generated by bindgen where possible
authorBenno Lossin <lossin@kernel.org>
Thu, 14 Aug 2025 09:30:29 +0000 (11:30 +0200)
committerMiguel Ojeda <ojeda@kernel.org>
Mon, 8 Sep 2025 12:03:17 +0000 (14:03 +0200)
Using the `--with-derive-custom-{struct,union}` option of bindgen, add
`#[derive(MaybeZeroable)]` to every struct & union. This makes those
types implement `Zeroable` if all their fields implement it.

Sadly bindgen doesn't add custom derives to the `__BindgenBitfieldUnit`
struct. So manually implement `Zeroable` for that.

Signed-off-by: Benno Lossin <lossin@kernel.org>
Reviewed-by: Alice Ryhl <aliceryhl@google.com>
[ Formatted comment. - Miguel ]
Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
rust/bindgen_parameters
rust/bindings/lib.rs
rust/uapi/lib.rs

index 02b371b98b39125fac44546acef57d9d32da3545..e13c6f9dd17b2264259d33208c73d1695fe98291 100644 (file)
@@ -35,3 +35,7 @@
 # recognized, block generation of the non-helper constants.
 --blocklist-item ARCH_SLAB_MINALIGN
 --blocklist-item ARCH_KMALLOC_MINALIGN
+
+# Structs should implement `Zeroable` when all of their fields do.
+--with-derive-custom-struct .*=MaybeZeroable
+--with-derive-custom-union .*=MaybeZeroable
index 474cc98c48a323216933521bd3981cfd814a2e28..0c57cf9b4004f176997c59ecc58a9a9ac76163d9 100644 (file)
 #[allow(clippy::undocumented_unsafe_blocks)]
 #[cfg_attr(CONFIG_RUSTC_HAS_UNNECESSARY_TRANSMUTES, allow(unnecessary_transmutes))]
 mod bindings_raw {
+    use pin_init::{MaybeZeroable, Zeroable};
+
     // Manual definition for blocklisted types.
     type __kernel_size_t = usize;
     type __kernel_ssize_t = isize;
     type __kernel_ptrdiff_t = isize;
 
+    // `bindgen` doesn't automatically do this, see
+    // <https://github.com/rust-lang/rust-bindgen/issues/3196>
+    //
+    // SAFETY: `__BindgenBitfieldUnit<Storage>` is a newtype around `Storage`.
+    unsafe impl<Storage> Zeroable for __BindgenBitfieldUnit<Storage> where Storage: Zeroable {}
+
     // Use glob import here to expose all helpers.
     // Symbols defined within the module will take precedence to the glob import.
     pub use super::bindings_helper::*;
index 31c2f713313fe3cc0cf090e74bd3b569b54ddd38..1d5fd9efb93e9db97fec84fca2bae37b500c20c5 100644 (file)
@@ -34,4 +34,6 @@ type __kernel_size_t = usize;
 type __kernel_ssize_t = isize;
 type __kernel_ptrdiff_t = isize;
 
+use pin_init::MaybeZeroable;
+
 include!(concat!(env!("OBJTREE"), "/rust/uapi/uapi_generated.rs"));