Landing: 82951a86c754
Project / Subsystem
gcc / ada
Date
2026-05-02
Author
Eric Botcazou
Commit
82951a86c754cd7f8421783b6edaffc61a5e2119
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 82951a86c754cd7f8421783b6edaffc61a5e2119
- source_type
- github
- headline
- Fix internal error on private tagged types in instance with -gnateV.
- tldr
- An internal compiler error with private tagged types and `-gnateV` in Ada generics is resolved.
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • bugfix
- • generics
- • type-system
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-02T00:00:00.000Z
This commit fixes an internal compiler error that occurred in Ada when using private tagged types within generic instances compiled with the -gnateV switch. The problem stemmed from the compiler failing to correctly restore the full view of a private tagged type during the expansion of generic instances. The fix involves adjusting the Valid_Scalars attribute’s handling of tagged extensions and extending the special case for selected components in instances to cover whole instances, ensuring proper type validation and avoiding crashes.