Danilo Krummrich fb1bf1067d rust: alloc: add missing invariant in Vec::set_len() ...

When setting a new length, we have to justify that the set length
represents the exact number of elements stored in the vector.

Reviewed-by: Benno Lossin <benno.lossin@proton.me>
Reported-by: Alice Ryhl <aliceryhl@google.com>
Closes: https://lore.kernel.org/rust-for-linux/20250311-iov-iter-v1-4-f6c9134ea824@google.com
Fixes: 2aac4cd7da ("rust: alloc: implement kernel `Vec` type")
Link: https://lore.kernel.org/r/20250315154436.65065-2-dakr@kernel.org
Signed-off-by: Danilo Krummrich <dakr@kernel.org>

2025-04-07 14:02:56 +02:00

..

allocator_test.rs

rust: alloc: satisfy POSIX alignment requirement

2025-03-05 23:57:48 +01:00

allocator.rs

rust: alloc: make ReallocFunc::call inline

2025-03-06 20:49:06 +01:00

kbox.rs

Merge tag 'rust-6.15' of git://git.kernel.org/pub/scm/linux/kernel/git/ojeda/linux

2025-03-30 17:03:26 -07:00

kvec.rs

rust: alloc: add missing invariant in Vec::set_len()

2025-04-07 14:02:56 +02:00

layout.rs

rust: alloc: add doctest for ArrayLayout::new()

2025-01-13 23:45:30 +01:00