Landing: 5cdc41c0893c

Project / Subsystem

gcc / ada

Date

2026-09-22

Author

Eric Botcazou

Commit

5cdc41c0893c374038f28a9f709ff6bac52a8c67

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
—
commit_hash
5cdc41c0893c374038f28a9f709ff6bac52a8c67
source_type
github
headline
Ada: Centralize accessibility rule for conditional expressions
tldr
Implements Ada 3.10.2(9.1) accessibility rule for conditional expressions in a centralized manner, fixing anonymous access discriminant issues.
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-09-22T00:00:00.000Z

This commit centralizes the implementation of Ada’s rule 3.10.2(9.1) concerning the accessibility level of conditional expressions. Previously scattered and limited to specific contexts and anonymous access types, the new implementation handles both static and dynamic levels uniformly. This resolves issues with anonymous access discriminants and streamlines the accessibility checking process within the compiler.