iirs_utils: reimplement Are_Bounds_Locally_Static.

1 files changed, 6 insertions, 2 deletions

diff --git a/src/vhdl/iirs_utils.ads b/src/vhdl/iirs_utils.ads
index 771172fca..fbe4c1127 100644
--- a/src/vhdl/iirs_utils.ads
+++ b/src/vhdl/iirs_utils.ads
@@ -223,8 +223,12 @@ package Iirs_Utils is
    --  Number of dimensions (1..n) for ARRAY_TYPE.
    function Get_Nbr_Dimensions (Array_Type : Iir) return Natural;
 
-   --  Return True iff the all bounds of ARRAY_TYPE are locally static.
-   function Are_Bounds_Locally_Static (Array_Type : Iir) return Boolean;
+   --  Return True iff the all indexes of ARRAY_TYPE are locally static.
+   function Are_Array_Indexes_Locally_Static (Array_Type : Iir) return Boolean;
+
+   --  Return true if array/record bounds are locally static.  Only fully
+   --  constrained records or arrays are allowed.
+   function Are_Bounds_Locally_Static (Def : Iir) return Boolean;
 
    --  Return the type or subtype definition of the SUBTYP type mark.
    function Get_Denoted_Type_Mark (Subtyp : Iir) return Iir;