Landing: ea770aa878d6

← All landings

Project / Subsystem

gcc / ada

Date

2026-02-24

Author

Marc Poulhiès

Commit

ea770aa878d68e7da43f47c84078c9a5327cc4d9

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: ada
patch_id: —
commit_hash: ea770aa878d68e7da43f47c84078c9a5327cc4d9
source_type: github
headline: Fix premature VAST check on aspect consistency.
tldr: This commit adjusts a VAST check for aspect consistency in the Ada compiler, as it was being performed prematurely.
author: Marc Poulhiès
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • ada
• VAST
• compiler
• bugfix
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/ea770aa878d68e7da43f47c84078c9a5327cc4d9
date: 2026-02-24T00:00:00.000Z

The Ada compiler’s VAST (Verification Aspect Syntax Tree) was performing a check on aspect consistency prematurely. This commit adjusts the check in vast.adb (Do_Node_Pass_2) to account for the fact that N_Attribute_Definition_Clause nodes do not yet have a Corresponding_Aspect field. This resolves an issue where the check was being performed before the necessary information was available.