Landing: 693227c871f3

← All landings

Project / Subsystem

gcc / ada

Date

2026-02-19

Author

Eric Botcazou

Commit

693227c871f305b8c228eef14819b141bd907807

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: 693227c871f305b8c228eef14819b141bd907807
source_type: github
headline: Disable dynamic accessibility checks when checks are suppressed
tldr: The Ada compiler no longer generates dynamic accessibility checks when accessibility checks are disabled or the `No_Dynamic_Accessibility_Checks` restriction i…
author: Eric Botcazou
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• accessibility checks
• dynamic checks
• optimization
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/693227c871f305b8c228eef14819b141bd907807
date: 2026-02-19T00:00:00.000Z

Dynamic accessibility checks in Ada are now correctly disabled when either accessibility checks are globally suppressed (e.g., via the -gnatp switch) or the No_Dynamic_Accessibility_Checks restriction is enabled. Previously, these checks were still being generated in some cases, leading to incorrect behavior. This fix ensures that the checks are only performed when intended, improving code correctness and potentially performance when the checks are unnecessary.