Landing: 34120f3a3145
Project / Subsystem
gcc / ada
Date
2026-09-23
Author
Eric Botcazou
Commit
34120f3a3145df1553cee33ac53d2446070162dd
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 34120f3a3145df1553cee33ac53d2446070162dd
- source_type
- github
- headline
- Ada: Fix subtype constraint application in view conversions
- tldr
- Ensures subtype constraints are correctly applied to Ada view conversions when the operand is constrained.
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • semantics
- • type system
- • safety
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-09-23T00:00:00.000Z
This change corrects the Ada compiler’s behavior regarding subtype constraints in view conversions. When a view conversion involves an operand object that is itself constrained, the compiler now correctly ensures that the subtype constraint is applied to the converted value, maintaining type safety and adherence to Ada’s rules.