Landing: 38358fce938f
Project / Subsystem
gcc / ada
Date
2026-05-27
Author
Ronan Desplanques
Commit
38358fce938f1cd26cacb2bce3c0aa11a271b1ec
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 38358fce938f1cd26cacb2bce3c0aa11a271b1ec
- source_type
- github
- headline
- Ada: Fixes extra formal mismatch.
- tldr
- This commit corrects a condition that determines when to add finalization collection extra formals to BIP functions in the Ada compiler.
- author
- Ronan Desplanques
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • compiler
- • correctness
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-27T00:00:00.000Z
The Ada compiler’s handling of BIP (Bounded-size, Immutable, Pure) functions was corrected by fixing the criterion for adding extra formals related to finalization collection. This ensures that the compiler accurately determines when these additional parameters are necessary, preventing mismatches in function signatures. This change addresses a subtle correctness issue in how the Ada runtime interacts with compiled code during finalization.