aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/iirs_utils.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/iirs_utils.ads')
-rw-r--r--src/vhdl/iirs_utils.ads2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/iirs_utils.ads b/src/vhdl/iirs_utils.ads
index 02ed90b22..43cda1d1a 100644
--- a/src/vhdl/iirs_utils.ads
+++ b/src/vhdl/iirs_utils.ads
@@ -232,6 +232,8 @@ package Iirs_Utils is
-- Return true if array/record bounds are locally static. Only fully
-- constrained records or arrays are allowed.
+ -- It is possible to have non-locally static types with locally bounds (eg:
+ -- a constrained array of type).
function Are_Bounds_Locally_Static (Def : Iir) return Boolean;
-- Return the type or subtype definition of the SUBTYP type mark.