Landing: 41f45a47555f

Project / Subsystem

gcc / ada

Date

2026-03-12

Author

Marc Poulhiès

Commit

41f45a47555fcb7a8104d1bb75cc74e21c31fe24

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
commit_hash
41f45a47555fcb7a8104d1bb75cc74e21c31fe24
source_type
github
headline
Add Chain Check to VAST for Entity Consistency
tldr
Adds a check to ensure entity chains in VAST are consistent, specifically for entities used as Scope.
author
Marc Poulhiès
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • ada
  • vast
  • consistency
  • syntax tree
discussion_id_link
bugzilla_pr
date
2026-03-12T00:00:00.000Z

This change adds a check to the VAST (Very Abstract Syntax Tree) to ensure that the Next_Entity and Prev_Entity links are consistent within entity chains. The check is currently limited to entities used as Scope. Calls to Copy_And_Swap can create incorrect chains where the new node has its Prev/Next/First/Last links copied from the original node, but back links are not changed, leading to inconsistencies when traversing the chain.