Landing: cc17b1d02a9d
Project / Subsystem
gcc / ada
Date
2026-08-19
Author
Eric Botcazou
Commit
cc17b1d02a9dae2528d16576411e62246ee8f945
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- cc17b1d02a9dae2528d16576411e62246ee8f945
- source_type
- github
- headline
- Ada: Fix assertion failure on nested formal packages with box notation
- tldr
- Corrects an assertion failure in Ada package instantiation that occurred when nested formal packages were involved.
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • compiler
- • bugfix
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-08-19T00:00:00.000Z
The Ada compiler previously encountered an assertion failure when instantiating generics within nested formal packages. This was due to the compiler attempting to use discarded transient package information. This change ensures that instantiations are not registered if they reside within the local package of a formal one, resolving the assertion.