vhdl-sem_types.adb: refine conditions for resolution functions.

Do not consider that functions with unbounded elements can be a
resolution function.

For #1844

1 files changed, 7 insertions, 3 deletions

diff --git a/src/vhdl/vhdl-sem_types.adb b/src/vhdl/vhdl-sem_types.adb
index 81a11e861..848cea916 100644
--- a/src/vhdl/vhdl-sem_types.adb
+++ b/src/vhdl/vhdl-sem_types.adb
@@ -1314,6 +1314,7 @@ package body Vhdl.Sem_Types is
       Decl: Iir;
       Decl_Type : Iir;
       Ret_Type : Iir;
+      El_Type : Iir;
    begin
       -- LRM93 2.4
       --  A resolution function must be a [pure] function;
@@ -1343,9 +1344,8 @@ package body Vhdl.Sem_Types is
       --  The type of the return value of the function must also be that of
       --  the signal.
       Ret_Type := Get_Return_Type (Func);
-      if Get_Base_Type (Get_Element_Subtype (Decl_Type))
-        /= Get_Base_Type (Ret_Type)
-      then
+      El_Type := Get_Element_Subtype (Decl_Type);
+      if Get_Base_Type (El_Type) /= Get_Base_Type (Ret_Type) then
          return False;
       end if;
       if Atype /= Null_Iir
@@ -1353,6 +1353,10 @@ package body Vhdl.Sem_Types is
       then
          return False;
       end if;
+      if not Is_Fully_Constrained_Type (El_Type) then
+         --  FIXME: not yet handled: unbounded element.
+         return False;
+      end if;
       -- LRM93 2.4
       --  A resolution function must be a [pure] function;
       if not Flags.Flag_Relaxed_Rules and then not Get_Pure_Flag (Func) then