synth: handle array attribute "length" (#895)

1 files changed, 10 insertions, 0 deletions

diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb
index fae3b80fb..f5767b3f0 100644
--- a/src/synth/synth-expr.adb
+++ b/src/synth/synth-expr.adb
@@ -2241,6 +2241,16 @@ package body Synth.Expr is
                end case;
                return Create_Value_Discrete (Int64 (V), Typ);
             end;
+         when Iir_Kind_Length_Array_Attribute =>
+            declare
+               --  Use base type as the expression type is the index subtype.
+               Typ : constant Type_Acc :=
+                 Get_Value_Type (Syn_Inst, Get_Base_Type (Expr_Type));
+               B : Bound_Type;
+            begin
+               B := Synth_Array_Attribute (Syn_Inst, Expr);
+               return Create_Value_Discrete (Int64 (B.Len), Typ);
+            end;
          when others =>
             Error_Kind ("synth_expression_with_type", Expr);
       end case;