From 1f8f54ce6faddf1384f66c2d673619cef01bbb6a Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 6 Sep 2019 19:24:04 +0200 Subject: synth-expr: fix regression of issue 7 --- src/synth/synth-expr.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index 4bb556a22..78a843b6b 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -156,7 +156,8 @@ package body Synth.Expr is N : Net; begin case Val.Kind is - when Value_Array => + when Value_Array + | Value_Const_Array => pragma Assert (Val.Typ.Vbound.Len >= Off); return Val.Arr.V (Iir_Index32 (Val.Typ.Vbound.Len - Off)); when Value_Net -- cgit v1.2.3