diff options
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 |