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_expr.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_expr.ads')
-rw-r--r-- | sem_expr.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sem_expr.ads b/sem_expr.ads index e209afdfa..5b56cae40 100644 --- a/sem_expr.ads +++ b/sem_expr.ads @@ -103,6 +103,11 @@ package Sem_Expr is -- Semantize a procedure_call or a concurrent_procedure_call_statement. procedure Sem_Procedure_Call (Call : Iir_Procedure_Call; Stmt : Iir); + -- Semantize a range. If ANY_DIR is true, the range can't be a + -- null range (slice vs subtype -- used in static evaluation). + function Sem_Range_Expression (Expr: Iir; A_Type: Iir; Any_Dir : Boolean) + return Iir; + -- Semantize a discrete range. If ANY_DIR is true, the range can't be a -- null range (slice vs subtype -- used in static evaluation). function Sem_Discrete_Range_Expression |