From 8c7b05c79661cd140305c214de9b00747042723c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 5 Aug 2019 08:09:00 +0200
Subject: synth: improve support of vhdl08.  Fix #882

---
 src/vhdl/vhdl-annotations.adb | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'src/vhdl')

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;
-- 
cgit v1.2.3