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_expr.ads | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'sem_expr.ads') 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 -- cgit v1.2.3