Landing: 68ef7fc27875

← All landings

Project / Subsystem

gcc / ada

Date

2026-02-25

Author

Javier Miranda

Commit

68ef7fc278755d2ca4d626c941000fa7a5e3dce3

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: 68ef7fc278755d2ca4d626c941000fa7a5e3dce3
source_type: github
headline: Avoid transient scope creation under GNATProve in more cases.
tldr: The Ada compiler avoids creating transient scopes under GNATProve mode even when only checking syntax and semantics.
author: Javier Miranda
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• GNATProve
• compiler
• bugfix
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/68ef7fc278755d2ca4d626c941000fa7a5e3dce3
date: 2026-02-25T00:00:00.000Z

A regression was introduced where a transient scope was being created under GNATProve mode even when only performing syntax and semantic checks. This commit prevents the creation of transient scopes in sem_res.adb (Resolve_Declare_Expression) when expansion is disabled, addressing the issue across more scenarios. This ensures consistent behavior when compiling with GNATProve.