Landing: 190643888694
Project / Subsystem
gcc / ada
Date
2026-01-09
Author
Denis Mazzucato
Commit
190643888694dae2ed35bf2b24d8f4646f1ec228
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 190643888694dae2ed35bf2b24d8f4646f1ec228
- source_type
- github
- headline
- Ada: Improve analysis and diagnostics for the Initialize aspect in constructors.
- tldr
- The compiler now better enforces and diagnoses issues related to the Initialize aspect in Ada constructors, preventing incorrect initialization order, flagging…
- author
- Denis Mazzucato
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • constructor
- • initialization
- • aspect
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-01-09T00:00:00.000Z
This patch enhances the analysis of the Initialize aspect within Ada constructor bodies. Assignments based on the Initialize aspect are now consistently placed at the end of the constructor prologue to prevent overwriting. The patch introduces an ‘others’ default choice for the Initialize aggregate, improves diagnostics for misspelled Initialize aspects, flags missing components requiring initialization, and checks for invalid references to ancestors in aggregate choices, thus ensuring more robust and correct object initialization.