diff options
author | Tristan Gingold <tgingold@free.fr> | 2014-01-04 01:53:37 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2014-01-04 01:53:37 +0100 |
commit | 82c9bea16076114ff474defcc606db041ff0c5b0 (patch) | |
tree | 544c69f60d700b761cfdd9524629da1c75a12693 /sem_specs.ads | |
parent | 7fd6fa6d4109a177a823c6c6f5ac3137977b075f (diff) | |
download | ghdl-82c9bea16076114ff474defcc606db041ff0c5b0.tar.gz ghdl-82c9bea16076114ff474defcc606db041ff0c5b0.tar.bz2 ghdl-82c9bea16076114ff474defcc606db041ff0c5b0.zip |
sem_discrete_range_expression: be sure the range is discrete.
Allow attribute specifications on statements in entities.
(and a couples of minor crashes).
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); |