January 2024 Monthly report

Overview

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

Milestone Progress

We finally upstreamed our 2023 patchset to the GCC repository after long weeks of checking, testing, amending and rebasing. We ended up pushing 879 commits to the repository, which will be included in the next GCC 14.1 release. We are now working towards upstreaming commits weekly, and writing tooling to help us achieve that. We have already upstreamed 91 new commits which were submitted since the last upstream cutoff.

The entire team also went to FOSDEM, with Pierre-Emmanuel giving a talk on the future of the project and our plans of integrating some rustc components to the project. We will link the video of this talk once it is available online. As a reminder, the first of these components being integrated are the polonius borrow-checker and the format string parser responsible for parsing format_args!() macro invocations. We have posted a Request for Comments on the GCC mailing list, which received positive answers:

https://gcc.gnu.org/pipermail/gcc/2024-January/243211.html

We are also preparing subjects for this year’s Google Summer of Code. They will be published on the GCC wiki, and you are encouraged to come discuss them with us on our Zulip chat. Feel free to also approach us with an original idea, as we would love to mentor you on your own addition to gccrs!

We would like to remind our readers that Jakub Dupak, one of our contributors working on integrating the polonius borrow-checker to gccrs, is currently finishing studying for his Master’s Degree and is looking for sponsorship to continue his work on the borrow checker. Please get in touch if you or your company would be interested in funding his work!

Community call

We will have our next monthly community call on the 12th of February 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.

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

Call for contribution

This is a new section for particularly easy or interesting issues we would like folks external to the project to contribute to. We are available for mentoring and guiding you on their resolution. This is a great way to start making your mark on a complex project such as this one and to learn a lot in the process!

• Issue 2819

This issue concerns adding better hints and errors around the order of keywords for function qualifiers. This work allows you to get to grips with our parser, as well as explore our error emitting machinery and add better hints for future gccrs users.

Check out our Contributing guidelines to get started on them or feel free to send us a message on Zulip or IRC!

Completed Activities

• Refactor mangler PR2781

• Handle `async` qualifier inside trait PR2779

• TyTy: Remove deprecated FnDef API PR2776

• Renamed `WIN64` to `WIN<sub>64</sub>` PR2774

• Allow enabling ```lang<sub>items</sub>``` and ```no<sub>core</sub>``` features PR2773

• Borrowck ast lifetimes PR2771

• Minor changes needed for borrowck PR2770

• Make default resolver inherit from default visitor PR2763

• Make expand visitor inherit from default visitor PR2761

• Change cfg stripper to use default visitor PR2758

• Make function body optional and reject invalid functions during AST validation PR2755

• Generate error for const trait functions PR2754

• Respin the builtin PR PR2693

• Handle newlines during string parsing while lexing PR2684

• gccrs: fix bug in pattern check for tuples PR2830

• gccrs: Add testcase to show issue is already fixed PR2829

• gccrs: Fix ICE accessing empty vector without check PR2828

• gccrs: add test cases to prove type inference is working PR2826

• gccrs: add testcase to prove issue has already been fixed PR2825

• Remove horrible path expression generic hack PR2824

• Move the Implementation of implitem lowering into its own file. PR2821

• Borrowck: add support for regions (lifetimes) in TyTy PR2814

• Parse normal functions with `self` parameter correctly PR2813

• Remove ```TraitImplItem``` PR2810

• gccrs: Fix output line ending patterns for Windows platforms. PR2809

• Set the default ABI to C for extern blocks and extern functions PR2806

• rust_debug: Cast size_t values to unsigned long before printing. PR2801

• Add improved error when a field is redefined in a struct constructor PR2797

• Add improved error when no fields in initializer PR2793

• expand: C++ify proc macro decls generation PR2791

• Improved `for lifetime` handling PR2790

• Handle `async` keyword for regular implementations PR2789

• Handle `async` functions in traits PR2786

• Added newline to get more readable lexdump PR2784

• Unify storage of associated items in ```SingleASTNode``` PR2780

• Implement Quick Check PR2769

• Update `gcc-patch-dev` branch PR2611

• Improve design https://github.com/rust-gcc/rust-gcc.github.io/pull/38

Contributors this month

• Robert Goss (new contributor!)
• Guillaume Gomez
• Owen Avery
• Jakub Dupak
• Raiki Tamura
• Nobel Singh
• Kushal Pal
• Owen Avery

Overall Task Status

Test Cases

Bugs

Milestones Progress

Testing project

Planned Activities

• Opaque types
• Drop marker trait
• format_args!()

Risks

Detailed changelog