vhdl: report unused types and subtypes

2 files changed, 13 insertions, 1 deletions

diff --git a/src/vhdl/vhdl-sem_decls.adb b/src/vhdl/vhdl-sem_decls.adb
index f79f0def0..f7b57f601 100644
--- a/src/vhdl/vhdl-sem_decls.adb
+++ b/src/vhdl/vhdl-sem_decls.adb
@@ -2529,7 +2529,9 @@ package body Vhdl.Sem_Decls is
                   end if;
                when Iir_Kind_Signal_Declaration
                  | Iir_Kind_Variable_Declaration
-                 | Iir_Kind_Component_Declaration =>
+                 | Iir_Kind_Component_Declaration
+                 | Iir_Kind_Type_Declaration
+                 | Iir_Kind_Subtype_Declaration =>
                   if not Get_Use_Flag (El) then
                      Warning_Msg_Sem (Warnid_Unused, +El,
                                       "%n is never referenced", +El);
diff --git a/src/vhdl/vhdl-sem_names.adb b/src/vhdl/vhdl-sem_names.adb
index fb935be34..566932049 100644
--- a/src/vhdl/vhdl-sem_names.adb
+++ b/src/vhdl/vhdl-sem_names.adb
@@ -919,6 +919,7 @@ package body Vhdl.Sem_Names is
    is
       Atype : Iir;
       Res : Iir;
+      Decl : Iir;
    begin
       --  The name must not have been analyzed.
       pragma Assert (Get_Type (Name) = Null_Iir);
@@ -965,6 +966,15 @@ package body Vhdl.Sem_Names is
 
       Set_Type (Res, Atype);
 
+      if Get_Kind (Res) in Iir_Kinds_Denoting_Name then
+         Decl := Get_Named_Entity (Res);
+         if Kind_In (Decl,
+                     Iir_Kind_Type_Declaration, Iir_Kind_Subtype_Declaration)
+         then
+            Set_Use_Flag (Decl, True);
+         end if;
+      end if;
+
       return Res;
    end Sem_Type_Mark;