From 26fd6d8bd00a5e0b2afb5cca1ff33d448dff09c5 Mon Sep 17 00:00:00 2001 From: Tomas Sedovic Date: Wed, 15 Oct 2025 16:28:37 +0200 Subject: [PATCH 1/2] Give credit to Tathagata Roy on the Coccinelle for Rust session --- content/inside-rust/program-management-update-2025-09.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/content/inside-rust/program-management-update-2025-09.md b/content/inside-rust/program-management-update-2025-09.md index ae5d3054e..8dac33534 100644 --- a/content/inside-rust/program-management-update-2025-09.md +++ b/content/inside-rust/program-management-update-2025-09.md @@ -103,6 +103,8 @@ info!("Window resized to: {width}x{height}"); across the codebase. Across all such `format!`-like invocations, parameters etc. And taking care to not interpolate field accesses or function calls (which are currently not allowed in the "format strings"). +Tathagata Roy ran the workshop for us. We tested Coccinelle out on some pre-existing examples, including the one above. The evening after, I ran it on all my repos. I'm really excited about this. + **Clippy** There was a really good status update on Clippy work specifically for Rust for Linux by Alejandra González. I had no idea that was happening, but it makes perfect sense. Clippy can highlight code that's not desirable even if it's allowed by the Rust compiler. From c358cbe42855dea1158614153efe964aebac4494 Mon Sep 17 00:00:00 2001 From: Tomas Sedovic Date: Wed, 15 Oct 2025 16:29:07 +0200 Subject: [PATCH 2/2] Address feedback by Pierre-Emmanuel Patry Pierre-Emmanuel is the first/given name rather than a first and a middle one. Using just "Pierre" is not correct. Also, GCCRS is already using Polonius. --- content/inside-rust/program-management-update-2025-09.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/inside-rust/program-management-update-2025-09.md b/content/inside-rust/program-management-update-2025-09.md index 8dac33534..643a4aa8d 100644 --- a/content/inside-rust/program-management-update-2025-09.md +++ b/content/inside-rust/program-management-update-2025-09.md @@ -133,7 +133,7 @@ The "front-end" here means that GCCRS reads Rust code and transforms it into an [ir]: https://en.wikipedia.org/wiki/Intermediate_representation -Pierre highlighted the difficulties of compiling even a "simple" `for` loop: to do that you need to be able to resolve traits and handle iterators and macros. +Pierre-Emmanuel highlighted the difficulties of compiling even a "simple" `for` loop: to do that you need to be able to resolve traits and handle iterators and macros. Their main target is to compile Rust's [core library][core]. @@ -141,7 +141,7 @@ Their main target is to compile Rust's [core library][core]. After that, they've set their sights on compiling the Linux kernel (including the Rust part). Linux can currently be built with either GCC or LLVM, but it is strongly recommended that everything use one or the other. This will be beneficial to some projects that are required to use the GCC toolchain. -Interestingly, the project is completely ignoring a borrow checker for now. Instead, their goal is to compile *correct* Rust programs — i.e. only those that `rustc` itself would compile. In the future, they plan to look into [Polonius][polonius], but it would be premature at this point. +Interestingly, the main effort is not going into the borrow-checker at all. They're using [Polonius][polonius] right now and the compiler is only handling *correct* Rust programs. In the future they're looking to integrate the next-gen borrow checker, but that's some ways off (and would require it being moved to its own crate). [polonius]: https://github.com/rust-lang/polonius