From 82c9bea16076114ff474defcc606db041ff0c5b0 Mon Sep 17 00:00:00 2001 From: Tristan Gingold 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_stmts.ads | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'sem_stmts.ads') diff --git a/sem_stmts.ads b/sem_stmts.ads index 688a576fc..59102affe 100644 --- a/sem_stmts.ads +++ b/sem_stmts.ads @@ -19,12 +19,13 @@ with Iirs; use Iirs; package Sem_Stmts is -- Semantize declarations and concurrent statements of BLK, which is - -- either an architecture_declaration or a block_statement. + -- either an architecture_declaration, and entity_declaration or + -- a block_statement. -- If SEM_DECLS is true, then semantize the declarations of BLK. procedure Sem_Block (Blk: Iir; Sem_Decls : Boolean); - procedure Sem_Concurrent_Statement_Chain - (Parent : Iir; Is_Passive : Boolean); + -- Analyze the concurrent statements of PARENT. + procedure Sem_Concurrent_Statement_Chain (Parent : Iir); -- Some signals are implicitly declared. This is the case for signals -- declared by an attribute ('stable, 'quiet and 'transaction). -- cgit v1.2.3