|
| 1 | +#+title: Monthly Report for October 2024 |
| 2 | +#+author: Philip Herron, Pierre-Emmanuel Patry and Arthur Cohen |
| 3 | +#+date: 2024-11-04 |
| 4 | + |
| 5 | +** Overview |
| 6 | + |
| 7 | +Thanks again to [[https://opensrcsec.com/][Open Source Security, inc]] and [[https://www.embecosm.com/][Embecosm]] for their ongoing support for this project. |
| 8 | + |
| 9 | +*** Project update |
| 10 | + |
| 11 | +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 algorith, 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. |
| 12 | + |
| 13 | +The technical blogpost from lsat 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. |
| 14 | + |
| 15 | +*** Community call |
| 16 | + |
| 17 | +We will have our next monthly community call on the 12th of November at 10am UTC. You can subscribe to our calendar |
| 18 | +to see when the next one will be held. The call is open to everyone, even if you would just |
| 19 | +like to sit-in and listen. You can also subscribe to our [[https://gcc.gnu.org/mailman/listinfo/gcc-rust][mailing-list]] or join our [[https://gcc-rust.zulipchat.com][Zulip chat]] to |
| 20 | +be notified of upcoming events. |
| 21 | + |
| 22 | +- [[https://meet.jit.si/gccrs-community-call-august][Jitsi link]] |
| 23 | +- Calendar ID: 7060a0923ffebd3cb52b1afef35a28ff7b64f05962c9af84c23b1847f1f5f894@group.calendar.google.com |
| 24 | +- [[https://calendar.google.com/calendar/embed?src=7060a0923ffebd3cb52b1afef35a28ff7b64f05962c9af84c23b1847f1f5f894%40group.calendar.google.com][Google calendar link]] |
| 25 | +- [[https://calendar.google.com/calendar/ical/7060a0923ffebd3cb52b1afef35a28ff7b64f05962c9af84c23b1847f1f5f894%40group.calendar.google.com/public/basic.ics][iCal link]] |
| 26 | + |
| 27 | +** Call for contribution |
| 28 | + |
| 29 | +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 [[https://github.com/Rust-GCC/gccrs/issues?q=is%3Aopen+is%3Aissue+label%3Agood-first-pr][here]] and get in touch with us for some mentoring or help! |
| 30 | + |
| 31 | +** Completed Activities |
| 32 | + |
| 33 | +- Remove usage of `Resolver::get_builtin_types` [[https://github.com/rust-gcc/gccrs/pull/3236][PR3236]] |
| 34 | +- gccrs: fix bad type inferencing on path's [[https://github.com/rust-gcc/gccrs/pull/3235][PR3235]] |
| 35 | +- gccrs: add test case to show method resolution is working [[https://github.com/rust-gcc/gccrs/pull/3234][PR3234]] |
| 36 | +- Make `TyTy::TupleType::get_unit_type` cache its return value [[https://github.com/rust-gcc/gccrs/pull/3232][PR3232]] |
| 37 | +- Use name resolution 2.0 in `TraitItemReference` [[https://github.com/rust-gcc/gccrs/pull/3228][PR3228]] |
| 38 | +- Insert trait names during toplevel resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3227][PR3227]] |
| 39 | +- Fix variable shadowing in late resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3226][PR3226]] |
| 40 | +- Use name resolver 2.0 in `CompileTraitItem` [[https://github.com/rust-gcc/gccrs/pull/3223][PR3223]] |
| 41 | +- Use name resolution 2.0 in `TraitResolver` [[https://github.com/rust-gcc/gccrs/pull/3222][PR3222]] |
| 42 | +- Resolve `SelfParam` in name resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3221][PR3221]] |
| 43 | +- Rename some `PathIdentSegment` functions [[https://github.com/rust-gcc/gccrs/pull/3219][PR3219]] |
| 44 | +- Fix name resolution 2.0 definition lookups in unsafe checker [[https://github.com/rust-gcc/gccrs/pull/3217][PR3217]] |
| 45 | +- Add a newline to the end of `nr2/exclude` [[https://github.com/rust-gcc/gccrs/pull/3216][PR3216]] |
| 46 | +- gccrs: Fix bad recursive operator overload call [[https://github.com/rust-gcc/gccrs/pull/3214][PR3214]] |
| 47 | +- Make `const` references to `ForeverStack` more useful [[https://github.com/rust-gcc/gccrs/pull/3211][PR3211]] |
| 48 | +- Use name resolver 2.0 in const checker [[https://github.com/rust-gcc/gccrs/pull/3207][PR3207]] |
| 49 | +- Use name resolver 2.0 for compiling break/continue [[https://github.com/rust-gcc/gccrs/pull/3206][PR3206]] |
| 50 | +- Load unloaded modules during toplevel resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3205][PR3205]] |
| 51 | +- Use name resolver 2.0 in pattern checker [[https://github.com/rust-gcc/gccrs/pull/3204][PR3204]] |
| 52 | +- Improve path handling while testing name resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3203][PR3203]] |
| 53 | +- Handle const generic parameters during resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3202][PR3202]] |
| 54 | +- Handle external static items in toplevel resolver 2.0 [[https://github.com/rust-gcc/gccrs/pull/3201][PR3201]] |
| 55 | +- Disambiguate generic args during name resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3200][PR3200]] |
| 56 | +- Use name resolver 2.0 in `MarkLive` [[https://github.com/rust-gcc/gccrs/pull/3199][PR3199]] |
| 57 | +- Use name resolver 2.0 during pattern typechecking [[https://github.com/rust-gcc/gccrs/pull/3198][PR3198]] |
| 58 | +- Allow identifiers and paths to reference types during nr2.0 [[https://github.com/rust-gcc/gccrs/pull/3197][PR3197]] |
| 59 | +- Insert static items into the value namespace [[https://github.com/rust-gcc/gccrs/pull/3194][PR3194]] |
| 60 | +- Improve `InlineAsmOperand` [[https://github.com/rust-gcc/gccrs/pull/3193][PR3193]] |
| 61 | +- Handle `TypeAlias` during toplevel resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3192][PR3192]] |
| 62 | +- Improve handling of `InlineAsm` in `DefaultASTVisitor` [[https://github.com/rust-gcc/gccrs/pull/3191][PR3191]] |
| 63 | +- Fix some issues with canonical path fetching in name resolution 2.0 [[https://github.com/rust-gcc/gccrs/pull/3190][PR3190]] |
| 64 | +- Improve `Rib::Definition` shadowing [[https://github.com/rust-gcc/gccrs/pull/3188][PR3188]] |
| 65 | +- gccrs: Fix ICE when typechecking non-trait item when we expect one [[https://github.com/rust-gcc/gccrs/pull/3187][PR3187]] |
| 66 | +- gccrs: Add test case to show ICE is fixed [[https://github.com/rust-gcc/gccrs/pull/3186][PR3186]] |
| 67 | +- Provide input operand for gccrs [[https://github.com/rust-gcc/gccrs/pull/3151][PR3151]] |
| 68 | +- Desugar IfLet* expr to match [[https://github.com/rust-gcc/gccrs/pull/3064][PR3064]] |
| 69 | +- Check for writes outside of the build directory [[https://github.com/rust-gcc/gccrs/pull/2974][PR2974]] |
| 70 | + |
| 71 | +*** Contributors this month |
| 72 | + |
| 73 | +- [[https://github.com/philberty][Philip Herron]] |
| 74 | +- [[https://github.com/powerboat9][Owen Avery]] |
| 75 | +- [[https://github.com/dkm][Marc Poulhiès]] |
| 76 | +- [[https://github.com/badumbatish][Jasmine Tang]] |
| 77 | + |
| 78 | +*** Overall Task Status |
| 79 | + |
| 80 | +| Category | Last Month | This Month | Delta | |
| 81 | +|-------------+------------+------------+-------| |
| 82 | +| TODO | 327 | 327 | - | |
| 83 | +| In Progress | 75 | 75 | - | |
| 84 | +| Completed | 888 | 897 | +9 | |
| 85 | + |
| 86 | +*** Test Cases |
| 87 | + |
| 88 | +| TestCases | Last Month | This Month | Delta | |
| 89 | +|-----------+------------+------------+-------| |
| 90 | +| Passing | 9144 | 9212 | +67 | |
| 91 | +| Failed | - | - | - | |
| 92 | +| XFAIL | 323 | 294 | +29 | |
| 93 | +| XPASS | - | - | - | |
| 94 | + |
| 95 | +*** Bugs |
| 96 | + |
| 97 | +| Category | Last Month | This Month | Delta | |
| 98 | +|-------------+------------+------------+-------| |
| 99 | +| TODO | 120 | 119 | -1 | |
| 100 | +| In Progress | 40 | 48 | -2 | |
| 101 | +| Completed | 437 | 441 | +4 | |
| 102 | + |
| 103 | +*** Milestones Progress |
| 104 | + |
| 105 | +| Milestone | Last Month | This Month | Delta | Start Date | Completion Date | Target | Target GCC | |
| 106 | +|-----------------------------------|------------|------------|-------|---------------|-----------------|---------------|------------| |
| 107 | +| GCC 14.2 | 100% | 100% | - | 7th Jun 2024 | 15th Jun 2024 | 15th Jun 2024 | GCC 14.2 | |
| 108 | +| GCC 15.1 | 100% | 100% | - | 21st Jun 2024 | 31st Jun 2024 | 1st Jul 2024 | GCC 15.1 | |
| 109 | +| Name resolution 2.0 rework | 6% | 6% | - | 1st Jun 2024 | - | 1st Apr 2025 | GCC 15.1 | |
| 110 | +| Macro expansion | 18% | 29% | +9% | 1st Jun 2024 | - | 1st Jan 2025 | GCC 15.1 | |
| 111 | +| Unhandled attributes | 100% | 100% | - | 1st Jul 2024 | 15th Aug 2024 | 15th Aug 2024 | GCC 15.1 | |
| 112 | +| Lang items | 66% | 66% | - | 1st Jul 2024 | - | 21st Nov 2024 | GCC 15.1 | |
| 113 | +| Deref and DerefMut improvements | 0% | 100% | +100% | 28th Sep 2024 | 25th Oct 2024 | 28th Dec 2024 | GCC 15.1 | |
| 114 | +| Indexing fixes | 0% | 0% | - | 21st Jul 2024 | - | 15th Nov 2024 | GCC 15.1 | |
| 115 | +| Iterator fixes | 0% | 0% | - | 21st Jul 2024 | - | 15th Nov 2024 | GCC 15.1 | |
| 116 | + |
| 117 | +| Upcoming Milestone | Last Month | This Month | Delta | Start Date | Completion Date | Target | Target GCC | |
| 118 | +|-----------------------------------|------------|------------|-------|---------------|-----------------|---------------|------------| |
| 119 | +| Auto traits improvements | 0% | 0% | - | 15th Sep 2024 | - | 21st Dec 2024 | GCC 15.1 | |
| 120 | +| Remaining typecheck issues | 0% | 85% | +85% | 21st Oct 2024 | - | 1st Mar 2025 | GCC 15.1 | |
| 121 | +| cfg-core | 0% | 0% | - | 1st Dec 2024 | - | 1st Mar 2025 | GCC 15.1 | |
| 122 | +| Question mark operator | 0% | 0% | - | 15th Dec 2024 | - | 21st Feb 2025 | GCC 15.1 | |
| 123 | +| Codegen fixes | 0% | 0% | - | 7th Oct 2024 | - | 1st Mar 2025 | GCC 15.1 | |
| 124 | +| Specialization | 0% | 0% | - | 1st Jan 2025 | - | 1st Mar 2025 | GCC 15.1 | |
| 125 | +| Inline assembly | 100% | 100% | - | 1st Jun 2024 | 26th Aug 2024 | 15th Sep 2024 | GCC 15.1 | |
| 126 | +| Borrow checker improvements | 100% | 100% | - | 1st Jun 2024 | 26th Aug 2024 | 15th Sep 2024 | GCC 15.1 | |
| 127 | +| Rustc Testsuite Adaptor | 0% | 0% | - | 1st Jun 2024 | - | 15th Sep 2024 | GCC 15.1 | |
| 128 | +| black_box intrinsic | 0% | 0% | - | 28th Oct 2024 | - | 28th Jan 2025 | GCC 15.1 | |
| 129 | +| Unstable RfL features | 0% | 0% | - | 7th Jan 2025 | - | 1st Mar 2025 | GCC 15.1 | |
| 130 | +| cfg-rfl | 0% | 0% | - | 7th Jan 2025 | - | 15th Feb 2025 | GCC 15.1 | |
| 131 | +| alloc parser issues | 100% | 100% | - | 7th Jan 2025 | 31st Jun 2024 | 28th Jan 2025 | GCC 15.1 | |
| 132 | +| let-else | 0% | 0% | - | 28th Jan 2025 | - | 28th Feb 2025 | GCC 15.1 | |
| 133 | +| Explicit generics with impl Trait | 0% | 0% | - | 28th Feb 2025 | - | 28th Mar 2025 | GCC 15.1 | |
| 134 | +| offset_of!() builtin macro | 0% | 0% | - | 15th Mar 2025 | - | 15th May 2025 | GCC 15.1 | |
| 135 | +| Generic Associated Types | 0% | 0% | - | 15th Mar 2025 | - | 15th Jun 2025 | GCC 16.1 | |
| 136 | +| RfL const generics | 0% | 0% | - | 1st May 2025 | - | 15th Jun 2025 | GCC 16.1 | |
| 137 | +| frontend plugin hooks | 0% | 0% | - | 15th May 2025 | - | 7th Jul 2025 | GCC 16.1 | |
| 138 | +| Handling the testsuite issues | 0% | 0% | - | 15th Sep 2024 | - | 15th Sep 2025 | GCC 16.1 | |
| 139 | +| std parser issues | 100% | 100% | - | 7th Jan 2025 | 31st Jun 2024 | 28th Jan 2025 | GCC 16.1 | |
| 140 | +| main shim | 0% | 0% | - | 28th Jul 2025 | - | 15th Sep 2025 | GCC 16.1 | |
| 141 | + |
| 142 | +| Past Milestone | Last Month | This Month | Delta | Start Date | Completion Date | Target | Target GCC | |
| 143 | +|-----------------------------------+------------+------------+-------+---------------+-----------------+---------------|------------| |
| 144 | +| Data Structures 1 - Core | 100% | 100% | - | 30th Nov 2020 | 27th Jan 2021 | 29th Jan 2021 | GCC 14.1 | |
| 145 | +| Control Flow 1 - Core | 100% | 100% | - | 28th Jan 2021 | 10th Feb 2021 | 26th Feb 2021 | GCC 14.1 | |
| 146 | +| Data Structures 2 - Generics | 100% | 100% | - | 11th Feb 2021 | 14th May 2021 | 28th May 2021 | GCC 14.1 | |
| 147 | +| Data Structures 3 - Traits | 100% | 100% | - | 20th May 2021 | 17th Sep 2021 | 27th Aug 2021 | GCC 14.1 | |
| 148 | +| Control Flow 2 - Pattern Matching | 100% | 100% | - | 20th Sep 2021 | 9th Dec 2021 | 29th Nov 2021 | GCC 14.1 | |
| 149 | +| Macros and cfg expansion | 100% | 100% | - | 1st Dec 2021 | 31st Mar 2022 | 28th Mar 2022 | GCC 14.1 | |
| 150 | +| Imports and Visibility | 100% | 100% | - | 29th Mar 2022 | 13th Jul 2022 | 27th May 2022 | GCC 14.1 | |
| 151 | +| Const Generics | 100% | 100% | - | 30th May 2022 | 10th Oct 2022 | 17th Oct 2022 | GCC 14.1 | |
| 152 | +| Initial upstream patches | 100% | 100% | - | 10th Oct 2022 | 13th Nov 2022 | 13th Nov 2022 | GCC 14.1 | |
| 153 | +| Upstream initial patchset | 100% | 100% | - | 13th Nov 2022 | 13th Dec 2022 | 19th Dec 2022 | GCC 14.1 | |
| 154 | +| Update GCC's master branch | 100% | 100% | - | 1st Jan 2023 | 21st Feb 2023 | 3rd Mar 2023 | GCC 14.1 | |
| 155 | +| Final set of upstream patches | 100% | 100% | - | 16th Nov 2022 | 1st May 2023 | 30th Apr 2023 | GCC 14.1 | |
| 156 | +| Borrow Checking 1 | 100% | 100% | - | TBD | 8th Jan 2024 | 15th Aug 2023 | GCC 14.1 | |
| 157 | +| Procedural Macros 1 | 100% | 100% | - | 13th Apr 2023 | 6th Aug 2023 | 6th Aug 2023 | GCC 14.1 | |
| 158 | +| GCC 13.2 Release | 100% | 100% | - | 13th Apr 2023 | 22nd Jul 2023 | 15th Jul 2023 | GCC 14.1 | |
| 159 | +| GCC 14 Stage 3 | 100% | 100% | - | 1st Sep 2023 | 20th Sep 2023 | 1st Nov 2023 | GCC 14.1 | |
| 160 | +| GCC 14.1 Release | 100% | 100% | - | 2nd Jan 2024 | 2nd Jun 2024 | 15th Apr 2024 | GCC 14.1 | |
| 161 | +| format_args!() support | 100% | 100% | - | 15th Feb 2024 | - | 1st Apr 2024 | GCC 14.1 | |
| 162 | + |
| 163 | +** Planned Activities |
| 164 | + |
| 165 | +- Finish usage of lang items for codegen |
| 166 | +- Finish for-loops code expansion |
| 167 | +- Improve our process for updating our github repository with upstream GCC |
| 168 | + |
| 169 | +*** Risks |
| 170 | + |
| 171 | +There have been no changes to the Risk table this month |
| 172 | + |
| 173 | +| Risk | Impact (1-3) | Likelihood (0-10) | Risk (I * L) | Mitigation | |
| 174 | +|-----------------------------------------------+--------------+-------------------+--------------+-----------------------------------------------------------------| |
| 175 | +| Missing features for GCC 15.1 deadline | 2 | 1 | 2 | Start working on required features as early as July (6mo ahead) | |
| 176 | + |
| 177 | +** Detailed changelog |
0 commit comments