Landing: 3811deab5fd7
Project / Subsystem
gcc / ada
Date
2026-09-22
Author
Eric Botcazou
Commit
3811deab5fd7334c8cbe7b89ef416c7afb1e1677
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 3811deab5fd7334c8cbe7b89ef416c7afb1e1677
- source_type
- github
- headline
- Ada: Fix bogus validity failure for reverse SSO array converted to FP
- tldr
- Fixes an incorrect validity check for Ada arrays with reverse storage order converted to floating-point.
- author
- Eric Botcazou
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • compiler bug
- • storage order
- • type conversion
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-09-22T00:00:00.000Z
This commit addresses a spurious validity failure in the Ada compiler related to arrays with reverse scalar storage order that are converted to floating-point types. The compiler’s expander already has logic to handle such cases with special care, but it was not applied in this specific conversion scenario. The change ensures that the ‘Valid attribute correctly handles these conversions by introducing a predicate Is_Reverse_Storage_Order_Object to detect when a copy is necessary.