May 2023 Monthly report

Overview

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

Milestone Progress

The GCC 13.2 release date is approaching, and we are hard at work trying to get core integrated to gccrs. We are progressing a lot on our AST pipeline, with many contributions from external contributors as well as work from Pierre-Emmanuel and Arthur. We are still trying to figure out some of the steps necessary for integrating the Rust 1.49 version of core with GCC’s build system, and how to properly submit these patches upstream in time for reviewing. This year’s Google Summer of Code is also starting, with our two students getting started on their projects this week. This work will be happening in public on our GitHub repository and our Zulip chat, which you can join for updates.

We are also getting things ready for submitting a talk to EuroRust in October - if you have any subject you’d like us to talk about when we meet there, feel free to send us a message or email! The subject of the talk is not fully defined yet and we are open to all ideas.

Community call

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

Completed Activities

• derive: Add proper derive(Clone) for unions PR2256
• derive: Add #[derive(Clone)] for regular structs PR2255
• gccrs: get rid of useless helper class and fix header usage PR2254
• Add #[derive(Copy)] support PR2253
• macro-invoc-lexer: Add Copyright header. PR2251
• Properly match delimiters PR2249
• gccrs: Fix cast site to not miss type-unifications PR2248
• Add missing name-resolution and hir lowering to Stmts PR2247
• Fix handling of single fragments in repetitions PR2243
• Avoid invalid metavariable substitutions PR2241
• Add Spans to procedural macros PR2240
• gccrs: remove stray semicolon PR2237
• Bug fixes autoderef cycles using derefs PR2235
• enr: Cleanup #[macro_use] accumulation PR2231
• Only check first item of cfg_attr attribute as predicate PR2230
• Fix macro resolutions in middle of multiple nested macro_use modules PR2226
• Add operator== for Optional. PR2224
• Handle keyword metavariables during macro expansion PR2221
• Change return type of token_id_keyword_string PR2219
• derive: Add base for builtin derives and #[derive(Clone)] PR2216
• ast: Add outer_attrs to all Items PR2215
• dump: Dump TupleIndexExprs PR2214
• Improve Optional<T> implementation PR2213
• Improve Optional<T&> implementation PR2212
• Allow hashing Optional<T> PR2211
• ast: Propagate type suffix PR2210
• Address invalid little-endian-only testcases PR2208
• Rework expression statement parsing PR2206
• libproc_macro: Change rust literal internals PR2204
• Add missing coercion site logic PR2202
• Handle keywords in macro fragments PR2200
• Fix “default unsafe fn …” parsing PR2199
• Fix ICE with unit expressions PR2197
• gccrs: Add missing compile locals for constants and statics PR2196
• Parse AST::AttrInputMacro attributes PR2185
• Add AST::AttrInputMacro PR2177
• Make key and key/value config options seperate PR2175
• Fix tail expression stripping PR2156
• Modularize libproc macro PR2153
• builtin: Cleanup handling of builtin macros PR2152
• Proc macro type PR2150
• Fix out of bounds indexing while expanding macros with repetition PR2141
• Handle nested #[macro_use] modules properly PR2131
• Added HIR::InlineAsm PR1886

Contributors this month

• Matthew Jasper (new contributor!)
• Owen Avery
• Pierre-Emmanuel Patry
• David Malcolm
• mvvsmk

Overall Task Status

Test Cases

Bugs

Milestones Progress

Note that the intrinsics milestone percentage on github is not representative: It shows a 73% completion rate, but does not take into account the tracking issues with dozens of unresolved items. Thus the percentage is computed using the sum of issues and tracked items done divided by the sums of issues and tracked items overall. Similarly, the Update GCC’s master branch milestone contains a tracking issue containing over 200 tasks. The percentage shown here takes this into account.

Testing project

The testing project is on hold as we try and figure out some of the issues we’re running into with GitHub and our various automations around it.

Planned Activities

• Look at remaining AST issues for compiling core
• Fix remaining type systems bugs for core 1.49
• Look at procedural macro name resolution
• Look at moving imports name resolution to Early Name Resolver

Detailed changelog