Landing: 73096437b4cf

Project / Subsystem

gcc / ada

Date

2026-03-03

Author

Marc Poulhiès

Commit

73096437b4cf320d70c705a055973f74609126a2

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
commit_hash
73096437b4cf320d70c705a055973f74609126a2
source_type
github
headline
Ada: Protect against a predicate failure in VAST.
tldr
Adds a check to avoid a predicate failure in the VAST tree traversal.
author
Marc Poulhiès
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • ada
  • vast
  • bugfix
  • compiler stability
discussion_id_link
bugzilla_pr
date
2026-03-03T00:00:00.000Z

A predicate failure could occur in the VAST (Very Abstract Syntax Tree) traversal if a node was not a Pragma as expected. This commit adds a check to ensure that aspect/pragma consistency is only verified for pragma nodes, preventing the predicate error and increasing compiler stability.