Landing: 551caf7fc9e6
Project / Subsystem
gcc / ada
Date
2026-05-13
Author
Eric Botcazou
Commit
551caf7fc9e6a50c03df6657796413dc292e18a2
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 551caf7fc9e6a50c03df6657796413dc292e18a2
- source_type
- github
- headline
- Ada fixes missing error for deep accessibility in aggregate returns.
- tldr
- GCC's Ada compiler now correctly flags accessibility errors in aggregate returns and refines static accessibility checks for anonymous access types.
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • compiler-frontend
- • accessibility-checks
- • ada-2012
- • bugfix
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-13T00:00:00.000Z
This commit resolves several issues within the GCC Ada front end related to accessibility checks. It fixes a missing error report for overly deep accessibility levels in aggregate returns involving function calls with prefixed forms. The change also adjusts the implementation of the Ada Reference Manual’s 6.5(5.9) rule to use a proper static accessibility check, preventing incorrect flagging of Ada 2012 stand-alone anonymous access types. Additionally, it streamlines the RM 3.10.2(28) rule by merging its implementations for named and anonymous access types into a single, consistent code block.