Landing: afd5181e9569

← All landings

Project / Subsystem

gcc / ada

Date

2026-03-13

Author

Piotr Trojanek

Commit

afd5181e95696086b44bd3ad6beb3ccc5c3c27c1

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: afd5181e95696086b44bd3ad6beb3ccc5c3c27c1
source_type: github
headline: Suppress Warning About Unused Variable in Trivial Quantification
tldr: The Ada compiler now suppresses warnings about unused variables in trivial quantification expressions (e.g., `for all X in ... => True`).
author: Piotr Trojanek
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• warning
• quantification
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/afd5181e95696086b44bd3ad6beb3ccc5c3c27c1
date: 2026-03-13T00:00:00.000Z

The Ada compiler will no longer warn about unused variables in trivial quantified expressions where the condition is simply True or False. This avoids spurious warnings when the user has likely written such an expression intentionally.