Landing: 1eb09b77def2

← All landings

Project / Subsystem

gcc / ada

Date

2026-03-09

Author

Eric Botcazou

Commit

1eb09b77def248e29e39563b439814a8e086579f

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: 1eb09b77def248e29e39563b439814a8e086579f
source_type: github
headline: Ada: Fix handling of qualified subtype with static predicate in array aggregate.
tldr: The Ada compiler now correctly handles qualified subtypes with static predicates in array aggregates.
author: Eric Botcazou
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• subtypes
• predicates
• array aggregates
• bugfix
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/1eb09b77def248e29e39563b439814a8e086579f
date: 2026-03-09T00:00:00.000Z

The Ada compiler now correctly handles static predicates associated with qualified subtypes used in array aggregates. Previously, the static predicate was ignored unless the choice in the aggregate was the direct name of the subtype. This ensures that the compiler correctly applies static predicates in array aggregates, leading to more accurate type checking and code generation.