Fix premature VAST check on aspect consistency.
This commit adjusts a VAST check for aspect consistency in the Ada compiler, as it was being performed prematurely.
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.
In Details
This commit modifies vast.adb (Do_Node_Pass_2) to adjust the check for aspect consistency. The check was relying on the Corresponding_Aspect field of N_Attribute_Definition_Clause nodes, which is not yet populated. The change avoids a premature check.
For Context
The Verification Aspect Syntax Tree (VAST) is used in the Ada compiler for handling aspects, which are additional properties or constraints associated with program entities. This commit fixes an issue where a check for aspect consistency was being performed too early in the compilation process, before all the necessary information was available.