Landing: 7bc7c6ef5e9c

Project / Subsystem

gcc / gccrs

Date

2026-08-09

Author

Lishin

Commit

7bc7c6ef5e9c840e6e24a1e714dc48051d93f002

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
gccrs
patch_id
—
commit_hash
7bc7c6ef5e9c840e6e24a1e714dc48051d93f002
source_type
github
headline
gccrs drop analysis handles conditional moves in BIR
tldr
gccrs improves its analysis of when locals are dropped, correctly handling conditional moves.
author
Lishin
outcome
committed
performance_win
false
breaking_change
false
series_id
—
series_parts
[]
tags
  • • rust
  • • compiler
  • • borrow checker
  • • analysis
discussion_id_link
—
bugzilla_pr
—
date
2026-08-09T00:00:00.000Z

gccrs now accurately tracks the initialization state of local variables across control-flow branches in the BIR, specifically addressing conditional moves. This allows the compiler to correctly classify Drop statements as conditional when a local is moved on only some execution paths. New tests validate this behavior for static, dead, and conditional drops.