linux/rust/kernel
Danilo Krummrich 6635bb78eb rust: alloc: add missing invariant in Vec::set_len()
[ Upstream commit fb1bf1067d ]

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>
Signed-off-by: Sasha Levin <sashal@kernel.org>
History 2025-06-19 15:32:09 +02:00
..
alloc rust: alloc: add missing invariant in Vec::set_len() 2025-06-19 15:32:09 +02:00
block rust: use custom FFI integer types 2025-03-13 13:01:49 +01:00
init rust: init: add missing newline to pr_info! calls 2025-03-22 12:54:26 -07:00
list rust: start using the #[expect(...)] attribute 2025-03-13 13:01:42 +01:00
net rust: use custom FFI integer types 2025-03-13 13:01:49 +01:00
sync rust: use custom FFI integer types 2025-03-13 13:01:49 +01:00
alloc.rs rust: alloc: update module comment of alloc.rs 2025-03-13 13:01:47 +01:00
block.rs rust: block: introduce kernel::block::mq module 2024-06-14 07:45:04 -06:00
build_assert.rs rust: upgrade to Rust 1.68.2 2023-05-31 17:35:03 +02:00
device.rs rust: device: change the from_raw() function 2024-10-03 13:54:48 +02:00
error.rs rust: error: add missing newline to pr_warn! calls 2025-03-22 12:54:26 -07:00
firmware.rs rust: firmware: Use ffi::c_char type in FwFunc 2025-05-02 07:59:06 +02:00
init.rs rust: init: add missing newline to pr_info! calls 2025-03-22 12:54:26 -07:00
ioctl.rs rust: start using the #[expect(...)] attribute 2025-03-13 13:01:42 +01:00
kunit.rs rust: kunit: use C-string literals to clean warning 2024-10-01 23:46:42 +02:00
lib.rs rust: remove leftover mentions of the alloc crate 2025-03-22 12:54:23 -07:00
list.rs rust: allow Rust 1.87.0's clippy::ptr_eq lint 2025-05-18 08:24:57 +02:00
net.rs rust: core abstractions for network PHY drivers 2023-12-15 09:35:50 +00:00
page.rs rust: add abstraction for struct page 2024-07-08 23:44:01 +02:00
prelude.rs rust: alloc: add Vec to prelude 2025-03-13 13:01:46 +01:00
print.rs rust: fix signature of rust_fmt_argument 2025-04-10 14:39:20 +02:00
rbtree.rs rust: treewide: switch to our kernel Box type 2025-03-13 13:01:44 +01:00
sizes.rs rust: sizes: add commonly used constants 2024-08-30 10:27:34 +01:00
static_assert.rs rust: static_assert: add static_assert! macro 2022-12-04 01:59:16 +01:00
std_vendor.rs rust: start using the #[expect(...)] attribute 2025-03-13 13:01:42 +01:00
str.rs rust: clean Rust 1.88.0's clippy::uninlined_format_args lint 2025-05-18 08:24:57 +02:00
sync.rs rust: lockdep: Remove support for dynamically allocated LockClassKeys 2025-03-22 12:54:22 -07:00
task.rs rust: use custom FFI integer types 2025-03-13 13:01:49 +01:00
time.rs rust: use custom FFI integer types 2025-03-13 13:01:49 +01:00
types.rs rust: use custom FFI integer types 2025-03-13 13:01:49 +01:00
uaccess.rs rust: map long to isize and char to u8 2025-03-13 13:02:13 +01:00
workqueue.rs rust: treewide: switch to our kernel Box type 2025-03-13 13:01:44 +01:00