synth-decls: handle unbounded record subtypes. Fix #1324

1 files changed, 13 insertions, 12 deletions

diff --git a/src/vhdl/vhdl-annotations.adb b/src/vhdl/vhdl-annotations.adb
index e215b934e..4ec3e8849 100644
--- a/src/vhdl/vhdl-annotations.adb
+++ b/src/vhdl/vhdl-annotations.adb
@@ -346,21 +346,22 @@ package body Vhdl.Annotations is
             end if;
 
          when Iir_Kind_Record_Type_Definition =>
-            declare
-               List : constant Iir_Flist :=
-                 Get_Elements_Declaration_List (Def);
-            begin
-               for I in Flist_First .. Flist_Last (List) loop
-                  El := Get_Nth_Element (List, I);
-                  if Get_Subtype_Indication (El) /= Null_Iir then
-                     Annotate_Anonymous_Type_Definition
-                       (Block_Info, Get_Type (El));
-                  end if;
-               end loop;
-            end;
             if Flag_Synthesis then
                --  For the offsets.
                Create_Object_Info (Block_Info, Def, Kind_Type);
+            else
+               declare
+                  List : constant Iir_Flist :=
+                    Get_Elements_Declaration_List (Def);
+               begin
+                  for I in Flist_First .. Flist_Last (List) loop
+                     El := Get_Nth_Element (List, I);
+                     if Get_Subtype_Indication (El) /= Null_Iir then
+                        Annotate_Anonymous_Type_Definition
+                          (Block_Info, Get_Type (El));
+                     end if;
+                  end loop;
+               end;
             end if;
 
          when Iir_Kind_Record_Subtype_Definition =>