Landing: 4638dd827a8c
Project / Subsystem
gcc / ada
Date
2026-01-07
Author
Gary Dismukes
Commit
4638dd827a8ce4741aae1e3ed774253efe43ab1c
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 4638dd827a8ce4741aae1e3ed774253efe43ab1c
- source_type
- github
- headline
- Ada: Fix visibility bug in generic with precondition on formal subprogram
- tldr
- This commit fixes a visibility issue in Ada generics with preconditions on formal subprograms, ensuring correct analysis and resolution of references.
- author
- Gary Dismukes
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • generics
- • visibility
- • preconditions
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-01-07T00:00:00.000Z
This commit resolves a visibility bug in Ada generics where a global entity referenced in the precondition of a formal subprogram might not be visible during instantiation. The fix ensures that the formal subprogram’s contract is analyzed within the generic template, capturing global references correctly. Additionally, it addresses an issue where references to other formals within contract aspect specifications were not being properly analyzed, leading to potential backend issues.