Landing: f0c0c86b8b2d
Project / Subsystem
gcc / ada
Date
2026-05-16
Author
Eric Botcazou
Commit
f0c0c86b8b2daec628705d64d7b174e25cedc3a9
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- f0c0c86b8b2daec628705d64d7b174e25cedc3a9
- source_type
- github
- headline
- Disable a couple of static accessibility checks in dynamic cases
- tldr
- The Ada compiler now correctly applies accessibility rules for dynamic contexts by disabling certain static checks.
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • compiler
- • semantics
- • accessibility
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-16T00:00:00.000Z
This commit modifies the Ada compiler to align with the Language Reference Manual’s rules regarding accessibility levels. Specifically, it disables some static accessibility checks when dealing with dynamic contexts, such as access discriminants and actual parameters, by passing Zero_On_Dynamic_Level to the accessibility calculation functions. This ensures the compiler accurately determines accessibility in situations where it varies at runtime.