Landing: 7f8fb37914c3

← All landings

Project / Subsystem

gcc / gcc/ada

Date

2026-09-22

Author

Eric Botcazou

Commit

7f8fb37914c36d9c6048065cc1e71def5edef46e

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: gcc/ada
patch_id: —
commit_hash: 7f8fb37914c36d9c6048065cc1e71def5edef46e
source_type: github
headline: Ada: Do not apply static accessibility checks to synthesized return
tldr: Improves Ada accessibility checks by skipping static checks for synthesized return values.
author: Eric Botcazou
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• compiler
• bugfix
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/7f8fb37914c36d9c6048065cc1e71def5edef46e
date: 2026-09-22T00:00:00.000Z

This change enhances Ada’s static accessibility checks by applying an early return in Check_Return_Construct_Accessibility. This prevents unnecessary checks for synthesized return values, aligning with the handling of dynamic checks in Apply_Accessibility_Check_For_Return.