From 21e59e89b5437ae0f3715b3f84f47f446e91d52d Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 30 Sep 2019 21:04:19 +0200 Subject: synth: handle range defined by high/low attributes. Fix #956 --- src/synth/synth-expr.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index 376ce6740..988cb89c3 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -451,8 +451,8 @@ package body Synth.Expr is is L, R : Value_Acc; begin - L := Synth_Expression (Syn_Inst, Get_Left_Limit (Rng)); - R := Synth_Expression (Syn_Inst, Get_Right_Limit (Rng)); + L := Synth_Expression_With_Basetype (Syn_Inst, Get_Left_Limit (Rng)); + R := Synth_Expression_With_Basetype (Syn_Inst, Get_Right_Limit (Rng)); if not (Is_Const (L) and Is_Const (R)) then Error_Msg_Synth (+Rng, "limits of range are not constant"); -- cgit v1.2.3