synth: improve support of vhdl08. Fix #882

1 files changed, 9 insertions, 1 deletions

diff --git a/src/vhdl/vhdl-annotations.adb b/src/vhdl/vhdl-annotations.adb
index d61117bb4..cb44f98f0 100644
--- a/src/vhdl/vhdl-annotations.adb
+++ b/src/vhdl/vhdl-annotations.adb
@@ -383,7 +383,15 @@ package body Vhdl.Annotations is
             end if;
 
          when Iir_Kind_Array_Subtype_Definition =>
-            if Get_Array_Element_Constraint (Def) /= Null_Node then
+            if Get_Array_Element_Constraint (Def) /= Null_Node
+              or else
+              (Get_Resolution_Indication (Def) /= Null_Node
+                 and then
+                 (Get_Kind (Get_Resolution_Indication (Def))
+                    = Iir_Kind_Array_Element_Resolution))
+            then
+               --  This subtype has created a new anonymous subtype for the
+               --  element.
                Annotate_Type_Definition
                  (Block_Info, Get_Element_Subtype (Def));
             end if;