Landing: bf268b3d5e82

Project / Subsystem

gcc / ada

Date

2025-12-23

Author

Denis Mazzucato

Commit

bf268b3d5e82d8269081b5b8dac302e0e04b820f

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
commit_hash
bf268b3d5e82d8269081b5b8dac302e0e04b820f
source_type
github
headline
Ada: Stop propagation of by-constructor indication during composition.
tldr
The Ada compiler now correctly propagates the by-constructor indication only for derived tagged types, not during composition.
author
Denis Mazzucato
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • ada
  • bugfix
  • type system
discussion_id_link
bugzilla_pr
date
2025-12-23T00:00:00.000Z

The Ada compiler now correctly handles the propagation of the ‘by-constructor’ indication. This indication is now only propagated for derived tagged types and not during composition. This change ensures that the compiler adheres to the correct semantics for type derivation and composition in Ada.