Preliminary support of dynamically unbounded elements in aggregates.

For #646

1 files changed, 293 insertions, 285 deletions

diff --git a/src/vhdl/translate/trans.ads b/src/vhdl/translate/trans.ads
index f9ec5f494..a7968e20e 100644
--- a/src/vhdl/translate/trans.ads
+++ b/src/vhdl/translate/trans.ads
@@ -741,7 +741,8 @@ package Trans is
       Kind_Config,
       Kind_Assoc,
       Kind_Design_File,
-      Kind_Library
+      Kind_Library,
+      Kind_Expr_Eval
      );
 
    type Ortho_Info_Type_Kind is
@@ -1372,9 +1373,291 @@ package Trans is
    type Direct_Driver_Arr is array (Natural range <>) of Direct_Driver_Type;
    type Direct_Drivers_Acc is access Direct_Driver_Arr;
 
-   type Ortho_Info_Type;
+   type Ortho_Info_Type (Kind : Ortho_Info_Kind);
    type Ortho_Info_Acc is access Ortho_Info_Type;
 
+   subtype Type_Info_Acc is Ortho_Info_Acc (Kind_Type);
+   subtype Incomplete_Type_Info_Acc is Ortho_Info_Acc (Kind_Incomplete_Type);
+   subtype Index_Info_Acc is Ortho_Info_Acc (Kind_Index);
+   subtype Subprg_Info_Acc is Ortho_Info_Acc (Kind_Subprg);
+   subtype Operator_Info_Acc is Ortho_Info_Acc (Kind_Operator);
+   subtype Interface_Info_Acc is Ortho_Info_Acc (Kind_Interface);
+   subtype Call_Info_Acc is Ortho_Info_Acc (Kind_Call);
+   subtype Call_Assoc_Info_Acc is Ortho_Info_Acc (Kind_Call_Assoc);
+   subtype Object_Info_Acc is Ortho_Info_Acc (Kind_Object);
+   subtype Signal_Info_Acc is Ortho_Info_Acc (Kind_Signal);
+   subtype Alias_Info_Acc is Ortho_Info_Acc (Kind_Alias);
+   subtype Proc_Info_Acc is Ortho_Info_Acc (Kind_Process);
+   subtype Psl_Info_Acc is Ortho_Info_Acc (Kind_Psl_Directive);
+   subtype Loop_Info_Acc is Ortho_Info_Acc (Kind_Loop);
+   subtype Loop_State_Info_Acc is Ortho_Info_Acc (Kind_Loop_State);
+   subtype Block_Info_Acc is Ortho_Info_Acc (Kind_Block);
+   subtype Generate_Info_Acc is Ortho_Info_Acc (Kind_Generate);
+   subtype Comp_Info_Acc is Ortho_Info_Acc (Kind_Component);
+   subtype Field_Info_Acc is Ortho_Info_Acc (Kind_Field);
+   subtype Config_Info_Acc is Ortho_Info_Acc (Kind_Config);
+   subtype Assoc_Info_Acc is Ortho_Info_Acc (Kind_Assoc);
+   subtype Inter_Info_Acc is Ortho_Info_Acc (Kind_Interface);
+   subtype Design_File_Info_Acc is Ortho_Info_Acc (Kind_Design_File);
+   subtype Library_Info_Acc is Ortho_Info_Acc (Kind_Library);
+
+   procedure Init_Node_Infos;
+   procedure Update_Node_Infos;
+   procedure Free_Node_Infos;
+
+   procedure Set_Info (Target : Iir; Info : Ortho_Info_Acc);
+
+   procedure Clear_Info (Target : Iir);
+
+   function Get_Info (Target : Iir) return Ortho_Info_Acc;
+   pragma Inline (Get_Info);
+
+   --  Create an ortho_info field of kind KIND for iir node TARGET, and
+   --  return it.
+   function Add_Info (Target : Iir; Kind : Ortho_Info_Kind)
+                      return Ortho_Info_Acc;
+
+   procedure Free_Info (Target : Iir);
+
+   procedure Free_Type_Info (Info : in out Type_Info_Acc);
+
+   function Get_Ortho_Literal (Target : Iir) return O_Cnode;
+
+   function Get_Ortho_Type (Target : Iir; Is_Sig : Object_Kind_Type)
+                            return O_Tnode;
+
+   --  Return true is INFO is a type info for a composite type, ie:
+   --  * a record
+   --  * an array (fat or thin)
+   --  * a fat pointer.
+   function Is_Composite (Info : Type_Info_Acc) return Boolean;
+   pragma Inline (Is_Composite);
+
+   --  Type is bounded but layout and size are known only during elaboration.
+   function Is_Complex_Type (Tinfo : Type_Info_Acc) return Boolean;
+
+   --  Type size is known at compile-time.
+   function Is_Static_Type (Tinfo : Type_Info_Acc) return Boolean;
+
+   --  True iff TINFO is base + bounds.
+   function Is_Unbounded_Type (Tinfo : Type_Info_Acc) return Boolean;
+   pragma Inline (Is_Unbounded_Type);
+
+   type Hexstr_Type is array (Integer range 0 .. 15) of Character;
+   N2hex : constant Hexstr_Type := "0123456789abcdef";
+
+   --  In order to unify and have a common handling of Enode/Lnode/Dnode,
+   --  let's introduce Mnode (yes, another node).
+   --
+   --  Mnodes can be converted to Enode/Lnode via the M2xx functions.  If
+   --  an Mnode are referenced more than once, they must be stabilized (this
+   --  will create a new variable if needed as Enode and Lnode can be
+   --  referenced only once).
+   --
+   --  An Mnode is a typed union, containing either an Lnode or a Enode.
+   --  See Mstate for a description of the union.
+   --  The real data is contained insisde a record, so that the discriminant
+   --  can be changed.
+   type Mnode;
+
+   --  State of an Mmode.
+   type Mstate is
+     (
+      --  The Mnode contains an Enode, which can be either a value or a
+      --  pointer.
+      --  This Mnode can be used only once.
+      Mstate_E,
+
+      --  The Mnode contains an Lnode representing a value.
+      --  This Lnode can be used only once.
+      Mstate_Lv,
+
+      --  The Mnode contains an Lnode representing a pointer.
+      --  This Lnode can be used only once.
+      Mstate_Lp,
+
+      --  The Mnode contains an Dnode for a variable representing a value.
+      --  This Dnode may be used several times.
+      Mstate_Dv,
+
+      --  The Mnode contains an Dnode for a variable representing a pointer.
+      --  This Dnode may be used several times.
+      Mstate_Dp,
+
+      --  Null Mnode.
+      Mstate_Null,
+
+      --  The Mnode is invalid (such as already used).
+      Mstate_Bad);
+
+   type Mnode1 (State : Mstate := Mstate_Bad) is record
+      --  Additionnal informations about the objects: kind and type.
+      K : Object_Kind_Type;
+      T : Type_Info_Acc;
+
+      --  Ortho type of the object.
+      Vtype : O_Tnode;
+
+      --  Type for a pointer to the object.
+      Ptype : O_Tnode;
+
+      case State is
+         when Mstate_E =>
+            E  : O_Enode;
+         when Mstate_Lv =>
+            Lv : O_Lnode;
+         when Mstate_Lp =>
+            Lp : O_Lnode;
+         when Mstate_Dv =>
+            Dv : O_Dnode;
+         when Mstate_Dp =>
+            Dp : O_Dnode;
+         when Mstate_Bad
+            | Mstate_Null =>
+            null;
+      end case;
+   end record;
+   --pragma Pack (Mnode1);
+
+   type Mnode is record
+      M1 : Mnode1;
+   end record;
+
+   --  Null Mnode.
+   Mnode_Null : constant Mnode := Mnode'(M1 => (State => Mstate_Null,
+                                                K => Mode_Value,
+                                                Ptype => O_Tnode_Null,
+                                                Vtype => O_Tnode_Null,
+                                                T => null));
+
+   type Mnode_Array is array (Object_Kind_Type) of Mnode;
+
+   --  Object kind of a Mnode
+   function Get_Object_Kind (M : Mnode) return Object_Kind_Type;
+
+   --  Transform VAR to Mnode.
+   function Get_Var
+     (Var : Var_Type; Vtype : Type_Info_Acc; Mode : Object_Kind_Type)
+     return Mnode;
+
+   --  Likewise, but VAR is a pointer to the value.
+   function Get_Varp
+     (Var : Var_Type; Vtype : Type_Info_Acc; Mode : Object_Kind_Type)
+     return Mnode;
+
+   --  Return a stabilized node for M.
+   --  The former M is not usuable anymore.
+   function Stabilize (M : Mnode; Can_Copy : Boolean := False) return Mnode;
+
+   --  Stabilize M.
+   procedure Stabilize (M : in out Mnode);
+
+   --  If M is not stable, create a variable containing the value of M.
+   --  M must be scalar (or access).
+   function Stabilize_Value (M : Mnode) return Mnode;
+
+   --  Create a temporary of type INFO and kind KIND.
+   function Create_Temp (Info : Type_Info_Acc;
+                         Kind : Object_Kind_Type := Mode_Value)
+                         return Mnode;
+
+   function Get_Type_Info (M : Mnode) return Type_Info_Acc;
+   pragma Inline (Get_Type_Info);
+
+   --  Creation of Mnodes.
+
+   function E2M (E : O_Enode; T : Type_Info_Acc; Kind : Object_Kind_Type)
+                return Mnode;
+   function E2M (E : O_Enode;
+                 T : Type_Info_Acc;
+                 Kind  : Object_Kind_Type;
+                 Vtype : O_Tnode;
+                 Ptype : O_Tnode)
+                return Mnode;
+
+   --  From a Lnode, general form (can be used for ranges, bounds, base...)
+   function Lv2M (L     : O_Lnode;
+                  T     : Type_Info_Acc;
+                  Kind  : Object_Kind_Type;
+                  Vtype : O_Tnode;
+                  Ptype : O_Tnode)
+                 return Mnode;
+
+   --  From a Lnode, only for values.
+   function Lv2M (L : O_Lnode; T : Type_Info_Acc; Kind : Object_Kind_Type)
+                 return Mnode;
+
+   --  From a Lnode that designates a pointer, general form.
+   function Lp2M (L     : O_Lnode;
+                  T     : Type_Info_Acc;
+                  Kind  : Object_Kind_Type;
+                  Vtype : O_Tnode;
+                  Ptype : O_Tnode)
+                 return Mnode;
+
+   --  From a Lnode that designates a pointer to a value.
+   function Lp2M (L : O_Lnode; T : Type_Info_Acc; Kind : Object_Kind_Type)
+                 return Mnode;
+
+   --  From a variable declaration, general form.
+   function Dv2M (D     : O_Dnode;
+                  T     : Type_Info_Acc;
+                  Kind  : Object_Kind_Type;
+                  Vtype : O_Tnode;
+                  Ptype : O_Tnode)
+                  return Mnode;
+
+   --  From a variable for a value.
+   function Dv2M (D : O_Dnode; T : Type_Info_Acc; Kind : Object_Kind_Type)
+                 return Mnode;
+
+   --  From a pointer variable, general form.
+   function Dp2M (D     : O_Dnode;
+                  T     : Type_Info_Acc;
+                  Kind  : Object_Kind_Type;
+                  Vtype : O_Tnode;
+                  Ptype : O_Tnode)
+                  return Mnode;
+
+   --  From a pointer to a value variable.
+   function Dp2M (D : O_Dnode; T : Type_Info_Acc; Kind : Object_Kind_Type)
+                 return Mnode;
+
+   function M2Lv (M : Mnode) return O_Lnode;
+
+   function M2Lp (M : Mnode) return O_Lnode;
+
+   function M2Dp (M : Mnode) return O_Dnode;
+
+   function M2Dv (M : Mnode) return O_Dnode;
+
+   function T2M (Atype : Iir; Kind : Object_Kind_Type) return Mnode;
+
+   function M2E (M : Mnode) return O_Enode;
+
+   function M2Addr (M : Mnode) return O_Enode;
+
+   --    function Is_Null (M : Mnode) return Boolean is
+   --    begin
+   --       return M.M1.State = Mstate_Null;
+   --    end Is_Null;
+
+   function Is_Stable (M : Mnode) return Boolean;
+
+   function Varv2M (Var      : Var_Type;
+                    Var_Type : Type_Info_Acc;
+                    Mode     : Object_Kind_Type;
+                    Vtype    : O_Tnode;
+                    Ptype    : O_Tnode)
+                    return Mnode;
+
+   --  Convert a Lnode for a sub object to an MNODE.
+   function Lo2M (L : O_Lnode; Vtype : Type_Info_Acc; Mode : Object_Kind_Type)
+                  return Mnode;
+
+   function Lo2M (D : O_Dnode; Vtype : Type_Info_Acc; Mode : Object_Kind_Type)
+                  return Mnode;
+
    type Ortho_Info_Type (Kind : Ortho_Info_Kind) is record
       --  For a simple memory management: use mark and sweep to free all infos.
       Mark : Boolean := False;
@@ -1593,6 +1876,10 @@ package Trans is
             --  In that case, Interface_Node must be null.
             Interface_Field : O_Fnode_Array := (others => O_Fnode_Null);
 
+         when Kind_Expr_Eval =>
+            --  Result of an evaluation.
+            Expr_Eval : Mnode;
+
          when Kind_Disconnect =>
             --  Variable which contains the time_expression of the
             --  disconnection specification
@@ -1807,288 +2094,6 @@ package Trans is
    procedure Unchecked_Deallocation is new Ada.Unchecked_Deallocation
      (Name => Ortho_Info_Acc, Object => Ortho_Info_Type);
 
-   subtype Type_Info_Acc is Ortho_Info_Acc (Kind_Type);
-   subtype Incomplete_Type_Info_Acc is Ortho_Info_Acc (Kind_Incomplete_Type);
-   subtype Index_Info_Acc is Ortho_Info_Acc (Kind_Index);
-   subtype Subprg_Info_Acc is Ortho_Info_Acc (Kind_Subprg);
-   subtype Operator_Info_Acc is Ortho_Info_Acc (Kind_Operator);
-   subtype Interface_Info_Acc is Ortho_Info_Acc (Kind_Interface);
-   subtype Call_Info_Acc is Ortho_Info_Acc (Kind_Call);
-   subtype Call_Assoc_Info_Acc is Ortho_Info_Acc (Kind_Call_Assoc);
-   subtype Object_Info_Acc is Ortho_Info_Acc (Kind_Object);
-   subtype Signal_Info_Acc is Ortho_Info_Acc (Kind_Signal);
-   subtype Alias_Info_Acc is Ortho_Info_Acc (Kind_Alias);
-   subtype Proc_Info_Acc is Ortho_Info_Acc (Kind_Process);
-   subtype Psl_Info_Acc is Ortho_Info_Acc (Kind_Psl_Directive);
-   subtype Loop_Info_Acc is Ortho_Info_Acc (Kind_Loop);
-   subtype Loop_State_Info_Acc is Ortho_Info_Acc (Kind_Loop_State);
-   subtype Block_Info_Acc is Ortho_Info_Acc (Kind_Block);
-   subtype Generate_Info_Acc is Ortho_Info_Acc (Kind_Generate);
-   subtype Comp_Info_Acc is Ortho_Info_Acc (Kind_Component);
-   subtype Field_Info_Acc is Ortho_Info_Acc (Kind_Field);
-   subtype Config_Info_Acc is Ortho_Info_Acc (Kind_Config);
-   subtype Assoc_Info_Acc is Ortho_Info_Acc (Kind_Assoc);
-   subtype Inter_Info_Acc is Ortho_Info_Acc (Kind_Interface);
-   subtype Design_File_Info_Acc is Ortho_Info_Acc (Kind_Design_File);
-   subtype Library_Info_Acc is Ortho_Info_Acc (Kind_Library);
-
-   procedure Init_Node_Infos;
-   procedure Update_Node_Infos;
-   procedure Free_Node_Infos;
-
-   procedure Set_Info (Target : Iir; Info : Ortho_Info_Acc);
-
-   procedure Clear_Info (Target : Iir);
-
-   function Get_Info (Target : Iir) return Ortho_Info_Acc;
-   pragma Inline (Get_Info);
-
-   --  Create an ortho_info field of kind KIND for iir node TARGET, and
-   --  return it.
-   function Add_Info (Target : Iir; Kind : Ortho_Info_Kind)
-                      return Ortho_Info_Acc;
-
-   procedure Free_Info (Target : Iir);
-
-   procedure Free_Type_Info (Info : in out Type_Info_Acc);
-
-   function Get_Ortho_Literal (Target : Iir) return O_Cnode;
-
-   function Get_Ortho_Type (Target : Iir; Is_Sig : Object_Kind_Type)
-                            return O_Tnode;
-
-   --  Return true is INFO is a type info for a composite type, ie:
-   --  * a record
-   --  * an array (fat or thin)
-   --  * a fat pointer.
-   function Is_Composite (Info : Type_Info_Acc) return Boolean;
-   pragma Inline (Is_Composite);
-
-   --  Type is bounded but layout and size are known only during elaboration.
-   function Is_Complex_Type (Tinfo : Type_Info_Acc) return Boolean;
-
-   --  Type size is known at compile-time.
-   function Is_Static_Type (Tinfo : Type_Info_Acc) return Boolean;
-
-   --  True iff TINFO is base + bounds.
-   function Is_Unbounded_Type (Tinfo : Type_Info_Acc) return Boolean;
-   pragma Inline (Is_Unbounded_Type);
-
-   type Hexstr_Type is array (Integer range 0 .. 15) of Character;
-   N2hex : constant Hexstr_Type := "0123456789abcdef";
-
-   --  In order to unify and have a common handling of Enode/Lnode/Dnode,
-   --  let's introduce Mnode (yes, another node).
-   --
-   --  Mnodes can be converted to Enode/Lnode via the M2xx functions.  If
-   --  an Mnode are referenced more than once, they must be stabilized (this
-   --  will create a new variable if needed as Enode and Lnode can be
-   --  referenced only once).
-   --
-   --  An Mnode is a typed union, containing either an Lnode or a Enode.
-   --  See Mstate for a description of the union.
-   --  The real data is contained insisde a record, so that the discriminant
-   --  can be changed.
-   type Mnode;
-
-   --  State of an Mmode.
-   type Mstate is
-     (
-      --  The Mnode contains an Enode, which can be either a value or a
-      --  pointer.
-      --  This Mnode can be used only once.
-      Mstate_E,
-
-      --  The Mnode contains an Lnode representing a value.
-      --  This Lnode can be used only once.
-      Mstate_Lv,
-
-      --  The Mnode contains an Lnode representing a pointer.
-      --  This Lnode can be used only once.
-      Mstate_Lp,
-
-      --  The Mnode contains an Dnode for a variable representing a value.
-      --  This Dnode may be used several times.
-      Mstate_Dv,
-
-      --  The Mnode contains an Dnode for a variable representing a pointer.
-      --  This Dnode may be used several times.
-      Mstate_Dp,
-
-      --  Null Mnode.
-      Mstate_Null,
-
-      --  The Mnode is invalid (such as already used).
-      Mstate_Bad);
-
-   type Mnode1 (State : Mstate := Mstate_Bad) is record
-      --  Additionnal informations about the objects: kind and type.
-      K : Object_Kind_Type;
-      T : Type_Info_Acc;
-
-      --  Ortho type of the object.
-      Vtype : O_Tnode;
-
-      --  Type for a pointer to the object.
-      Ptype : O_Tnode;
-
-      case State is
-         when Mstate_E =>
-            E  : O_Enode;
-         when Mstate_Lv =>
-            Lv : O_Lnode;
-         when Mstate_Lp =>
-            Lp : O_Lnode;
-         when Mstate_Dv =>
-            Dv : O_Dnode;
-         when Mstate_Dp =>
-            Dp : O_Dnode;
-         when Mstate_Bad
-            | Mstate_Null =>
-            null;
-      end case;
-   end record;
-   --pragma Pack (Mnode1);
-
-   type Mnode is record
-      M1 : Mnode1;
-   end record;
-
-   --  Null Mnode.
-   Mnode_Null : constant Mnode := Mnode'(M1 => (State => Mstate_Null,
-                                                K => Mode_Value,
-                                                Ptype => O_Tnode_Null,
-                                                Vtype => O_Tnode_Null,
-                                                T => null));
-
-   type Mnode_Array is array (Object_Kind_Type) of Mnode;
-
-   --  Object kind of a Mnode
-   function Get_Object_Kind (M : Mnode) return Object_Kind_Type;
-
-   --  Transform VAR to Mnode.
-   function Get_Var
-     (Var : Var_Type; Vtype : Type_Info_Acc; Mode : Object_Kind_Type)
-     return Mnode;
-
-   --  Likewise, but VAR is a pointer to the value.
-   function Get_Varp
-     (Var : Var_Type; Vtype : Type_Info_Acc; Mode : Object_Kind_Type)
-     return Mnode;
-
-   --  Return a stabilized node for M.
-   --  The former M is not usuable anymore.
-   function Stabilize (M : Mnode; Can_Copy : Boolean := False) return Mnode;
-
-   --  Stabilize M.
-   procedure Stabilize (M : in out Mnode);
-
-   --  If M is not stable, create a variable containing the value of M.
-   --  M must be scalar (or access).
-   function Stabilize_Value (M : Mnode) return Mnode;
-
-   --  Create a temporary of type INFO and kind KIND.
-   function Create_Temp (Info : Type_Info_Acc;
-                         Kind : Object_Kind_Type := Mode_Value)
-                         return Mnode;
-
-   function Get_Type_Info (M : Mnode) return Type_Info_Acc;
-   pragma Inline (Get_Type_Info);
-
-   --  Creation of Mnodes.
-
-   function E2M (E : O_Enode; T : Type_Info_Acc; Kind : Object_Kind_Type)
-                return Mnode;
-   function E2M (E : O_Enode;
-                 T : Type_Info_Acc;
-                 Kind  : Object_Kind_Type;
-                 Vtype : O_Tnode;
-                 Ptype : O_Tnode)
-                return Mnode;
-
-   --  From a Lnode, general form (can be used for ranges, bounds, base...)
-   function Lv2M (L     : O_Lnode;
-                  T     : Type_Info_Acc;
-                  Kind  : Object_Kind_Type;
-                  Vtype : O_Tnode;
-                  Ptype : O_Tnode)
-                 return Mnode;
-
-   --  From a Lnode, only for values.
-   function Lv2M (L : O_Lnode; T : Type_Info_Acc; Kind : Object_Kind_Type)
-                 return Mnode;
-
-   --  From a Lnode that designates a pointer, general form.
-   function Lp2M (L     : O_Lnode;
-                  T     : Type_Info_Acc;
-                  Kind  : Object_Kind_Type;
-                  Vtype : O_Tnode;
-                  Ptype : O_Tnode)
-                 return Mnode;
-
-   --  From a Lnode that designates a pointer to a value.
-   function Lp2M (L : O_Lnode; T : Type_Info_Acc; Kind : Object_Kind_Type)
-                 return Mnode;
-
-   --  From a variable declaration, general form.
-   function Dv2M (D     : O_Dnode;
-                  T     : Type_Info_Acc;
-                  Kind  : Object_Kind_Type;
-                  Vtype : O_Tnode;
-                  Ptype : O_Tnode)
-                  return Mnode;
-
-   --  From a variable for a value.
-   function Dv2M (D : O_Dnode; T : Type_Info_Acc; Kind : Object_Kind_Type)
-                 return Mnode;
-
-   --  From a pointer variable, general form.
-   function Dp2M (D     : O_Dnode;
-                  T     : Type_Info_Acc;
-                  Kind  : Object_Kind_Type;
-                  Vtype : O_Tnode;
-                  Ptype : O_Tnode)
-                  return Mnode;
-
-   --  From a pointer to a value variable.
-   function Dp2M (D : O_Dnode; T : Type_Info_Acc; Kind : Object_Kind_Type)
-                 return Mnode;
-
-   function M2Lv (M : Mnode) return O_Lnode;
-
-   function M2Lp (M : Mnode) return O_Lnode;
-
-   function M2Dp (M : Mnode) return O_Dnode;
-
-   function M2Dv (M : Mnode) return O_Dnode;
-
-   function T2M (Atype : Iir; Kind : Object_Kind_Type) return Mnode;
-
-   function M2E (M : Mnode) return O_Enode;
-
-   function M2Addr (M : Mnode) return O_Enode;
-
-   --    function Is_Null (M : Mnode) return Boolean is
-   --    begin
-   --       return M.M1.State = Mstate_Null;
-   --    end Is_Null;
-
-   function Is_Stable (M : Mnode) return Boolean;
-
-   function Varv2M (Var      : Var_Type;
-                    Var_Type : Type_Info_Acc;
-                    Mode     : Object_Kind_Type;
-                    Vtype    : O_Tnode;
-                    Ptype    : O_Tnode)
-                    return Mnode;
-
-   --  Convert a Lnode for a sub object to an MNODE.
-   function Lo2M (L : O_Lnode; Vtype : Type_Info_Acc; Mode : Object_Kind_Type)
-                  return Mnode;
-
-   function Lo2M (D : O_Dnode; Vtype : Type_Info_Acc; Mode : Object_Kind_Type)
-                  return Mnode;
-
    package Helpers is
       --  Generate code to initialize a ghdl_index_type variable V to 0.
       procedure Init_Var (V : O_Dnode);
@@ -2126,7 +2131,10 @@ package Trans is
       --  Create a temporary variable of ATYPE and initialize it with the
       --  address of NAME.
       function Create_Temp_Ptr (Atype : O_Tnode; Name : O_Lnode)
-                                return O_Dnode;
+                               return O_Dnode;
+
+      function Create_Temp_Bounds (Tinfo : Type_Info_Acc) return Mnode;
+
       --  Create a mark in the temporary region for the stack2.
       --  FIXME: maybe a flag must be added to CLOSE_TEMP where it is known
       --   stack2 can be released.