Landing: 60f5887173a4
Project / Subsystem
gcc / gcc/ada
Date
2026-05-06
Author
Eric Botcazou
Commit
60f5887173a458008f1252323a6ea08ba0a85aab
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc/ada
- patch_id
- —
- commit_hash
- 60f5887173a458008f1252323a6ea08ba0a85aab
- source_type
- github
- headline
- Resolves incorrect validity check for array components
- tldr
- This commit fixes a bug where the compiler incorrectly reported validity check failures for floating-point components within arrays having reverse storage orde…
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • bugfix
- • ada
- • type-system
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-06T00:00:00.000Z
The Ada front end no longer incorrectly flags validity check failures for floating-point components in arrays stored with reverse storage order. The previous logic in Sem_Util.In_Reverse_Storage_Order_Object erroneously considered outer composite types, leading to false positives. The revised predicate now accurately identifies only the innermost composite type, eliminating these bogus error reports. Developers will see fewer incorrect compilation errors related to array validity.