Landing: 2a27188924a8

Project / Subsystem

gcc / ada

Date

2026-03-09

Author

Eric Botcazou

Commit

2a27188924a81fc3948c56353e35935b6d5682fd

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
commit_hash
2a27188924a81fc3948c56353e35935b6d5682fd
source_type
github
headline
Ada: Improve handling of return object declarations in conditional expressions
tldr
Enhances Ada compiler to distribute return object declarations into conditional expressions, lifting a previous limitation.
author
Eric Botcazou
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • ada
  • compiler
  • optimization
discussion_id_link
bugzilla_pr
date
2026-03-09T00:00:00.000Z

The Ada compiler now distributes the declaration of a return object into the dependent expressions of its initialization, even when it is a conditional expression. This resolves a previous limitation, particularly for the return object of an extended return statement. This enhancement improves the compiler’s ability to handle complex initialization scenarios.