On Sun, Jun 7, 2026 at 2:17 PM Gary Guo gary@garyguo.net wrote:

IMO we really shouldn't use Clippy to generate code. We spent too much effort in fixing codegen issues that are only present when driven by clippy.

We should just run a check phase with clippy to get the lints only, and then use rustc to generate actual code.

Yeah, given the trouble it is giving, I think that will probably be a better approach medium term. I don't love it, because the original idea was to avoid such an extra phase, but it is definitely better vs. random source code changes...

We could also increase the symbol size-related variables (`KSYM_NAME_LEN`, `SZ` in `modpost`...) only for Clippy builds to a ludicrous value. The extra phase approach would avoid surprises more generally though, so I like it in that sense, and has the implicit advantage of avoiding someone using a Clippy kernel in production by mistake.

Ok, I can take a look at that. For now, I will pick the other patch.

Cheers, Miguel