Landing: 6a23ada5e3cd
Project / Subsystem
gcc / ada
Date
2026-02-10
Author
Eric Botcazou
Commit
6a23ada5e3cd2c2757dfcd9779fb3dd1e5eaec57
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 6a23ada5e3cd2c2757dfcd9779fb3dd1e5eaec57
- source_type
- github
- headline
- Fix issue with qualified expressions of class-wide types in Ada
- tldr
- Fixes a long-standing issue in Ada with qualified expressions of class-wide types that could lead to spurious errors.
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • bugfix
- • type checking
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-02-10T00:00:00.000Z
This commit addresses a long-standing issue in the Ada compiler related to qualified expressions of class-wide types. The previous implementation failed to properly account for limited views of types when performing type compatibility analysis, potentially leading to spurious errors. The fix ensures an exact type match modulo the Non_Limited_View attribute, resolving the issue.