Landing: 156c3e64ccc4
Project / Subsystem
gcc / ada
Date
2026-02-18
Author
Viljar Indus
Commit
156c3e64ccc4f064b5eccabf0617246c37594aa2
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ada
- patch_id
- —
- commit_hash
- 156c3e64ccc4f064b5eccabf0617246c37594aa2
- source_type
- github
- headline
- Apply check for all primitive equality operations in Ada
- tldr
- The compiler now checks for ghost equality functions in all branches when handling primitive subprograms in Ada.
- author
- Viljar Indus
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ada
- • compiler
- • equality
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-02-18T00:00:00.000Z
The compiler now checks for ghost equality functions in all branches when handling primitive subprograms. This improves compile-time checking and potentially prevents subtle errors related to equality comparisons involving primitive types in Ada code.