October 2024 Monthly report

Overview

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

Project update

37 pull-requests were merged this month, which makes October one of the most productive months of this year for gccrs. Most of the changes concerned our name resolution rewrite, and more specifically its integration to the rest of the compiler pipeline. This paves the way for the removal of our old name resolution algorithm, which will happen as soon as all testcases pass using the new algorithm. Some long standing type system bugs were also fixed, which brings us closer and closer towards typechecking core and being able to compile it. We are now approaching the end of the Stage 1 period for GCC 15.1, which means we will soon no longer be able to push changes to common GCC infrastructure. As such, we are spending some time making sure all of these changes are properly sent upstream and are being reviewed. Changes made specifically to the Rust frontend will be upstreamable until the release of GCC 15.1, in spring of 2025. We are also working towards a rework of our fork-updating process, in order to make it easier to develop gccrs on the most recent version of GCC. This process is currently manual, and hard to automate - which is not fair to the contributor in charge of this task. Spending this time will make it easier for us to upstream our changes, which will speed up that process.

The technical blogpost from last month was well-received, with positive comments and conversations on Reddit. It has been linked in the blog.rust-lang.org blogpost, which has been reviewed and approved, and should release shortly.

Community call

We will have our next monthly community call on the 12th of November at 10am 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

There are no calls for contribution this month, as we do not have a lot of good first issues available. Still, feel free to take a look at them here and get in touch with us for some mentoring or help!

Completed Activities

• Remove usage of `Resolver::get<sub>builtintypes</sub>` PR3236
• gccrs: fix bad type inferencing on path’s PR3235
• gccrs: add test case to show method resolution is working PR3234
• Make `TyTy::TupleType::get<sub>unittype</sub>` cache its return value PR3232
• Use name resolution 2.0 in `TraitItemReference` PR3228
• Insert trait names during toplevel resolution 2.0 PR3227
• Fix variable shadowing in late resolution 2.0 PR3226
• Use name resolver 2.0 in `CompileTraitItem` PR3223
• Use name resolution 2.0 in `TraitResolver` PR3222
• Resolve `SelfParam` in name resolution 2.0 PR3221
• Rename some `PathIdentSegment` functions PR3219
• Fix name resolution 2.0 definition lookups in unsafe checker PR3217
• Add a newline to the end of `nr2/exclude` PR3216
• gccrs: Fix bad recursive operator overload call PR3214
• Make `const` references to `ForeverStack` more useful PR3211
• Use name resolver 2.0 in const checker PR3207
• Use name resolver 2.0 for compiling break/continue PR3206
• Load unloaded modules during toplevel resolution 2.0 PR3205
• Use name resolver 2.0 in pattern checker PR3204
• Improve path handling while testing name resolution 2.0 PR3203
• Handle const generic parameters during resolution 2.0 PR3202
• Handle external static items in toplevel resolver 2.0 PR3201
• Disambiguate generic args during name resolution 2.0 PR3200
• Use name resolver 2.0 in `MarkLive` PR3199
• Use name resolver 2.0 during pattern typechecking PR3198
• Allow identifiers and paths to reference types during nr2.0 PR3197
• Insert static items into the value namespace PR3194
• Improve `InlineAsmOperand` PR3193
• Handle `TypeAlias` during toplevel resolution 2.0 PR3192
• Improve handling of `InlineAsm` in `DefaultASTVisitor` PR3191
• Fix some issues with canonical path fetching in name resolution 2.0 PR3190
• Improve `Rib::Definition` shadowing PR3188
• gccrs: Fix ICE when typechecking non-trait item when we expect one PR3187
• gccrs: Add test case to show ICE is fixed PR3186
• Provide input operand for gccrs PR3151
• Desugar IfLet* expr to match PR3064
• Check for writes outside of the build directory PR2974

Contributors this month

• Philip Herron
• Owen Avery
• Marc Poulhiès
• Jasmine Tang

Overall Task Status

Test Cases

Bugs

Milestones Progress

Planned Activities

• Finish usage of lang items for codegen
• Finish for-loops code expansion
• Improve our process for updating our github repository with upstream GCC

Risks

There have been no changes to the Risk table this month

Detailed changelog