September 2025 Monthly report

Overview

Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project.

Project update

Most of the time this month was dedicated to preparing and attending three conferences: Oxidize in Berlin, Kangrejos in Oviedo and GNU Cauldron in Porto. Pierre-Emmanuel and Arthur also started working on another project for Embecosm, thus reducing the time spent on gccrs this month.

Oxidize was a nice experience and a good way to meet with some people using Rust in the embedded industry. We were able to present the project to many people who had not heard of it, and show the advantages of using the GCC static analyzers on unsafe Rust code.

Kangrejos was a great way for Pierre-Emmanuel to meet with a lot of folks working on the Linux kernel. A lot of them expressed interest in our progress, and a few mentioned their personal requirement for sticking with a GCC toolchain for compiling the kernel.

In Porto for Cauldron, a lot of GNU folks were interested in the frontend’s experimental status and the projects’ roadmap. There were comments about removing the dependency on cargo and rustc, which we are currently working towards with our goal of getting the standard library to compile under gccrs.

On that point, the entirety of core was added as a testcase to our testsuite - we are slowly but surely getting it to go through more and more passes of our pipeline. There is currently one bug left for our entire pipeline to pass, which concerns the resolution of const items associated with built-in types, such as i8::MAX.

After communicating with the GCC release managers, we have also worked on implementing a new CI process whose goal is to send emails to the GCC mailing list for each commit merged in our development repository. This will allow GCC developers to review patches as they are merged upstream, instead of seeing them in batches every week when we upstream them.

Community call

We will have our next monthly community call on the 15th of October at 9am UTC. You can subscribe to our calendar to see when the next one will be held. The call is open to everyone, even if you would just like to sit-in and listen. You can also subscribe to our mailing-list or join our Zulip chat to be notified of upcoming events.

• Jitsi link
• Calendar ID: 7060a0923ffebd3cb52b1afef35a28ff7b64f05962c9af84c23b1847f1f5f894@group.calendar.google.com
• Google calendar link
• iCal link

Call for contribution

• https://github.com/Rust-GCC/gccrs/issues/2500

• https://github.com/Rust-GCC/gccrs/issues/2376

Completed Activities

• ci: yet another fix for the conditionnal steps PR4197
• ci: fix step condition PR4196
• Add doc attribute checking on traits PR4195
• Fix malformed path segfault in attributes PR4194
• ci: fix early exit PR4193
• Add support for lowering rest patterns present in struct patterns to HIR. PR4192
• ci: handle empty commit list PR4191
• ci: adjust again the workflow for sending emails PR4190
• ci: don’t do cover letter, don’t group by PR PR4189
• ci: new workflow for sending emails after merging a PR PR4184
• gccrs: Fix ICE where we expect a num enum variant PR4183
• gccrs: Add error diag for self params on plain functions PR4182
• gccrs: Fix ICE on copied array expressions PR4181
• gccrs: Remove old hack from resolve operator overload PR4180
• gccrs: fnptr types can hold onto generic params so it needs to handle substs PR4179
• Metavar segfault PR4178
• gccrs: Fix ICE for invalid const capacity expression handling PR4177
• Test `libcore` PR4176
• Import `stdarch 1.49.0` PR4175
• Improve `FFIOpt` PR4174
• gccrs: Fix ICE handling division by zero in const eval PR4172
• Remove `AST::TraitItemConst` PR4170
• Protect from errors in alternate pattern parsing PR4169
• gccrs: Fix ICE with invalid const expression PR4150
• tests: added extra parens compile test PR4137
• Sync with upstream (2025-09-08): 4eb12ddd32d53ef55c2bd9bb03db057f096fff8f PR4136
• Implement `TokenCollector::visit(AST::FormatArgs&)` PR4135
• gccrs: track abi and unsafety on fnptrs for proper type checking PR4132
• gccrs: Revert “nr1.0: Remove support in expansion phase” PR4130
• gccrs: Revert “gccrs: Remove the template parameter PR4129
• gccrs: get rid of more clones in unify path PR4128
• gccrs: remove docker github workflow PR4127
• gccrs: Remove the template parameter so clang format stops barfing this PR4126
• Add test to confirm Rust-GCC/gccrs#3922 fix PR4125
• Add test to confirm Rust-GCC/gccrs#3924 fix PR4124
• nr1.0: Remove `EarlyNameResolver` PR4123
• ci: Bump commit to merge in arm64 ci PR4121
• Unify path-to-type handling in `Late` resolver PR4113
• nr1.0: Remove chunks of resolution phase PR4110
• Create subdirectory `checks/errors/feature` PR4107
• Implement compilation support for rest patterns in tuple struct patterns PR4102
• Improve ExpandVisitor’s completeness PR4099
• Vendor `libcore 1.49` PR4060
• Handle `link<sub>name</sub>` attribute PR4031

Contributors this month

• elle (new contributor!)
• Magnus (new contributor!)
• Zhi Heng
• Marc Poulhiès
• Owen Avery
• Pierre-Emmanuel Patry
• Philip Herron
• Arthur Cohen

Overall Task Status

Bugs

Test Cases

Milestones Progress

| Milestone | Last Month | This Month | Delta | Start Date | Completion Date | Target | Target GCC | |———–|————|————|——-|————|—————–|——–|————|

Planned Activities

• Finish debugging core
• Start experimenting with the kernel’s Rust code