[GSoC] Rust Drop trait support in gccrs - Status Report 5

Janet Chien via Gcc <[email protected]> Sat, 1 Aug 2026 15:44:19 +0100
Newsgroups gmane.comp.gcc.devel
Message-ID <CAHtgQQsQu9zcSpF_+6xdfSnvj16VwTuX1Qc1noLQ4HkuK8utaQ@mail.gmail.com>
Hi,
My name is Janet, and my GSoC project focuses on implementing
support for Rust's `Drop` trait in gccrs, the Rust frontend for GCC.

Here is my latest status report for the project.

Since the last report, I have mainly focused on
aligning gccrs with rustc, investigating BIR in gccrs,
and how MIR implements CFG in rustc.

I pushed patches to:
1. Separate argument and function body drop scopes
    (ref: https://github.com/Rust-GCC/gccrs/issues/4712)
    Under review:
    https://github.com/Rust-GCC/gccrs/pull/4718

2. Add straight-line BIR drop style analysis
    Under review:
    https://github.com/Rust-GCC/gccrs/pull/4730

I also opened an issue about double drop when implementing
unlabeled break drop
Details: https://github.com/Rust-GCC/gccrs/issues/4717

Next steps / Currently working on:
- Continue updating the existing patches based on review feedback.

- Apply the straight-line BIR drop style analysis to the backend to
  support basic move cases.

- Extend the BIR drop style analysis to conditional control flow.

Janet