From 82c9bea16076114ff474defcc606db041ff0c5b0 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 4 Jan 2014 01:53:37 +0100
Subject: sem_discrete_range_expression: be sure the range is discrete. Allow
 attribute specifications on statements in entities. (and a couples of minor
 crashes).

---
 sem_specs.ads | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'sem_specs.ads')

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);
 
-- 
cgit v1.2.3