aboutsummaryrefslogtreecommitdiffstats
path: root/sem_expr.adb
diff options
context:
space:
mode:
Diffstat (limited to 'sem_expr.adb')
-rw-r--r--sem_expr.adb3
1 files changed, 3 insertions, 0 deletions
diff --git a/sem_expr.adb b/sem_expr.adb
index 21a05c487..4ee643665 100644
--- a/sem_expr.adb
+++ b/sem_expr.adb
@@ -651,6 +651,9 @@ package body Sem_Expr is
-- FIXME: catch phys/phys.
Set_Type (Expr, Integer_Type_Definition);
+ if Get_Expr_Staticness (Expr) = Locally then
+ Eval_Check_Range (Expr, Integer_Subtype_Definition, True);
+ end if;
elsif Range_Type = Universal_Integer_Type_Definition then
if Vhdl_Std >= Vhdl_08 then
-- LRM08 5.3.2.2