Landing: 1c92d913f471
Project / Subsystem
gcc / ada
Date
2025-12-22
Author
Denis Mazzucato
Commit
1c92d913f471702f942f2a7f0b2d08b38eb9f0b2
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 1c92d913f471702f942f2a7f0b2d08b38eb9f0b2
- source_type
- github
- headline
- Ada: Fix spurious range check in class-wide preconditions.
- tldr
- The Ada compiler no longer generates spurious range checks for out-mode scalars in dynamic class-wide preconditions.
- author
- Denis Mazzucato
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • bugfix
- • preconditions
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2025-12-22T00:00:00.000Z
The Ada compiler now avoids generating spurious range checks for out-mode scalars after a class-wide precondition call. This issue was specific to dynamic preconditions (as opposed to static ones). The fix involves refactoring the helper call builders to ensure consistent processing of actual parameters.