Landing: f3ed871fa84b
Project / Subsystem
gcc / ada
Date
2026-02-05
Author
Gary Dismukes
Commit
f3ed871fa84b42d0da695020dbf437d9b49a9a81
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- f3ed871fa84b42d0da695020dbf437d9b49a9a81
- source_type
- github
- headline
- Error on legal No_Return subprogram with formals subject to Type_Invariant
- tldr
- The Ada compiler no longer incorrectly flags errors for `No_Return` subprograms with formals subject to `Type_Invariant` aspects.
- author
- Gary Dismukes
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • bugfix
- • error handling
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-02-05T00:00:00.000Z
The Ada compiler incorrectly reported an error for valid No_Return subprograms when their formals had a Type_Invariant aspect. This spurious error occurred due to the creation of a wrapper subprogram for invariant/postcondition checks, which interfered with the No_Return check. This commit prevents the generation of the wrapper subprogram for No_Return subprograms, as invariants and postconditions will never be executed in this case, thus resolving the false error.