vhdl-19: analyze return identifier

1 files changed, 18 insertions, 0 deletions

diff --git a/src/vhdl/vhdl-sem.adb b/src/vhdl/vhdl-sem.adb
index 3de7fd78e..3338f77f6 100644
--- a/src/vhdl/vhdl-sem.adb
+++ b/src/vhdl/vhdl-sem.adb
@@ -29,6 +29,7 @@ with Vhdl.Sem_Names; use Vhdl.Sem_Names;
 with Vhdl.Sem_Specs; use Vhdl.Sem_Specs;
 with Vhdl.Sem_Decls; use Vhdl.Sem_Decls;
 with Vhdl.Sem_Assocs; use Vhdl.Sem_Assocs;
+with Vhdl.Sem_Types;
 with Vhdl.Sem_Inst;
 with Vhdl.Sem_Lib; use Vhdl.Sem_Lib;
 with Vhdl.Sem_Psl;
@@ -2109,6 +2110,23 @@ package body Vhdl.Sem is
       end loop;
       Enable_Warning (Warnid_Hide, Warn_Hide_Enabled);
 
+      --  For vhdl-19, handle return identifier.
+      if Get_Kind (Spec) = Iir_Kind_Function_Declaration then
+         declare
+            Ret : constant Iir := Get_Return_Identifier (Spec);
+            Ret_Type : Iir;
+         begin
+            if Ret /= Null_Iir then
+               Xrefs.Xref_Decl (Ret);
+               Set_Visible_Flag (Ret, True);
+               Ret_Type := Get_Type (Spec);
+               Ret_Type := Sem_Types.Build_Constrained_Subtype (Ret_Type, Ret);
+               Set_Type (Ret, Ret_Type);
+               Add_Name (Ret, Get_Identifier (Ret), False);
+            end if;
+         end;
+      end if;
+
       Sem_Sequential_Statements (Spec, Subprg);
 
       Set_Is_Within_Flag (Spec, False);