diff options
Diffstat (limited to 'sem_specs.ads')
| -rw-r--r-- | sem_specs.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sem_specs.ads b/sem_specs.ads index 22e5d4ed9..76edc0fce 100644 --- a/sem_specs.ads +++ b/sem_specs.ads @@ -25,6 +25,9 @@ package Sem_Specs is (Spec : Iir_Attribute_Specification; Scope : Iir); -- Check declarations following an ALL/OTHERS attribute specification. + -- ATTR_SPEC_CHAIN is the linked list of all attribute specifications whith + -- the entity name list ALL or OTHERS until the current declaration DECL. + -- So no specification in the chain must match the declaration. procedure Check_Post_Attribute_Specification (Attr_Spec_Chain : Iir; Decl : Iir); |