Landing: 81ba15c03e43

← All landings

Project / Subsystem

gcc / ada

Date

2026-02-17

Author

Bob Duff

Commit

81ba15c03e43a5fa5c1d63d351672a310b43aef7

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: 81ba15c03e43a5fa5c1d63d351672a310b43aef7
source_type: github
headline: Add consistency checks for aspects and pragmas
tldr: VAST now includes checks for consistency between aspects and pragmas in Ada.
author: Bob Duff
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• aspects
• pragmas
• VAST
• consistency
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/81ba15c03e43a5fa5c1d63d351672a310b43aef7
date: 2026-02-17T00:00:00.000Z

This commit adds Check_Corresponding_Aspect to VAST (Very Abstract Syntax Tree) to perform checks for consistency between aspects and pragmas. This improves compile-time diagnostics by ensuring that aspects and pragmas used together are compatible and well-formed.