Landing: c8d4f10ab64e

← All landings

Project / Subsystem

gcc / gcc/ada

Date

2026-05-07

Author

Viljar Indus

Commit

c8d4f10ab64e23d0418d15315dbec0c6d3949322

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: gcc/ada
patch_id: —
commit_hash: c8d4f10ab64e23d0418d15315dbec0c6d3949322
source_type: github
headline: Corrects context checks for the Initialized attribute
tldr: This commit fixes an issue where the Ada `Initialized` attribute was incorrectly checked in ghost code contexts, preventing compile-time errors.
author: Viljar Indus
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • bugfix
• ada
• verification
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/c8d4f10ab64e23d0418d15315dbec0c6d3949322
date: 2026-05-07T00:00:00.000Z

The Ada front end now correctly handles the Initialized attribute within ‘ghost code’ contexts. Previously, the compiler would attempt to apply checks meant for runtime code to these special compile-time sections, leading to errors. This fix ensures that the Initialized attribute can be used appropriately in ghost code without triggering erroneous policy and level checks.