Landing: b9d5e5f0fdd3

Project / Subsystem

gcc / ada

Date

2026-02-13

Author

Eric Botcazou

Commit

b9d5e5f0fdd383f48d598c925722b164882bcaef

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
commit_hash
b9d5e5f0fdd383f48d598c925722b164882bcaef
source_type
github
headline
Ada: Fixes missing accessibility check for anonymous access function result
tldr
This commit fixes a missing accessibility check for anonymous access function result in Ada, improving program safety.
author
Eric Botcazou
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • ada
  • accessibility
  • bugfix
discussion_id_link
bugzilla_pr
date
2026-02-13T00:00:00.000Z

This commit addresses a missing accessibility check for anonymous access function results in Ada. It refactors code to generate accessibility checks for single discriminants and moves routines for return accessibility checks. By consolidating the computation of minimum accessibility levels, this change enhances the safety and reliability of Ada programs by ensuring proper access control.