diff options
| author | Tristan Gingold | 2014-01-04 01:53:37 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2014-01-04 01:53:37 +0100 |
| commit | 82c9bea16076114ff474defcc606db041ff0c5b0 (patch) | |
| tree | 544c69f60d700b761cfdd9524629da1c75a12693 /sem_stmts.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_stmts.ads')
| -rw-r--r-- | sem_stmts.ads | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/sem_stmts.ads b/sem_stmts.ads index 688a576..59102af 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). |