Landing: 032f5216d3e7

← All landings

Project / Subsystem

gcc / ada

Date

2026-02-24

Author

Javier Miranda

Commit

032f5216d3e72fb74c10b4214bf7c25c1708e985

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: 032f5216d3e72fb74c10b4214bf7c25c1708e985
source_type: github
headline: Avoid transient scope creation under GNATProve mode.
tldr: The Ada compiler now avoids creating transient scopes under GNATProve mode, fixing a recent regression.
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/032f5216d3e72fb74c10b4214bf7c25c1708e985
date: 2026-02-24T00:00:00.000Z

A regression introduced a transient scope creation under GNATProve mode in the Ada compiler. This commit fixes the issue by preventing the creation of a transient scope in sem_res.adb (Resolve_Declare_Expression) when compiling code under GNATProve mode, hence resolving the regression.