diff options
Diffstat (limited to 'iirs_utils.adb')
| -rw-r--r-- | iirs_utils.adb | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/iirs_utils.adb b/iirs_utils.adb index 9b441f75a..46e51ccfa 100644 --- a/iirs_utils.adb +++ b/iirs_utils.adb @@ -513,10 +513,11 @@ package body Iirs_Utils is return Get_Type_Declarator (Def) = Null_Iir; end Is_Anonymous_Type_Definition; - function Is_Unconstrained_Type_Definition (Def : Iir) return Boolean is + function Is_Fully_Constrained_Type (Def : Iir) return Boolean is begin - return Get_Kind (Def) in Iir_Kinds_Unconstrained_Array_Type_Definition; - end Is_Unconstrained_Type_Definition; + return Get_Kind (Def) not in Iir_Kinds_Composite_Type_Definition + or else Get_Constraint_State (Def) = Fully_Constrained; + end Is_Fully_Constrained_Type; function Is_Same_Profile (L, R: Iir) return Boolean is |