linux-kernel - Re: [PATCH v2] rust: kernel: introduce `unsafe_precondition

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <aIpmfRIvGh8oVUUj@fedora>
Date: Thu, 31 Jul 2025 00:07:49 +0530
From: Ritvik Gupta <ritvikfoss@...il.com>
To: Gary Guo <gary@...yguo.net>
Cc: ojeda@...nel.org, alex.gaynor@...il.com, boqun.feng@...il.com,
	bjorn3_gh@...tonmail.com, lossin@...nel.org, a.hindborg@...nel.org,
	aliceryhl@...gle.com, tmgross@...ch.edu, dakr@...nel.org,
	linux-kernel@...r.kernel.org, skhan@...uxfoundation.org
Subject: Re: [PATCH v2] rust: kernel: introduce `unsafe_precondition_assert!`
 macro

> This email should be include the Rust-for-Linux list.

Apologies for oversight.
Automated it to prevent in future :)

> These can just be `const { assert!() }`? There's no reason for this to
> be runtime.

Yeah! `static_assert!` makes sense here.
I'll add more relevant example in v3.

Thanks for the feedback :)