diff options
Diffstat (limited to 'src/vhdl/sem_decls.adb')
| -rw-r--r-- | src/vhdl/sem_decls.adb | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/vhdl/sem_decls.adb b/src/vhdl/sem_decls.adb index 2d2dce858..7d83c2e13 100644 --- a/src/vhdl/sem_decls.adb +++ b/src/vhdl/sem_decls.adb @@ -116,25 +116,6 @@ package body Sem_Decls is end if; end Check_Signal_Type; - -- Create a globally static subtype. - procedure Sem_Force_Static_Type (Decl : Iir; Atype : Iir) - is - Base_Type : constant Iir := Get_Base_Type (Atype); - Res : Iir; - begin - pragma Assert (Get_Kind (Base_Type) = Iir_Kind_Array_Type_Definition); - Res := Create_Iir (Iir_Kind_Array_Subtype_Definition); - Set_Location (Res, Get_Location (Decl)); - Set_Element_Subtype (Res, Get_Element_Subtype (Atype)); - Set_Base_Type (Res, Base_Type); - Set_Index_Subtype_List (Res, Get_Index_Subtype_List (Atype)); - Set_Type_Staticness (Res, Globally); - Set_Constraint_State (Res, Get_Constraint_State (Atype)); - Set_Index_Constraint_Flag (Res, Get_Index_Constraint_Flag (Atype)); - Set_Signal_Type_Flag (Res, Get_Signal_Type_Flag (Atype)); - Set_Type (Decl, Res); - end Sem_Force_Static_Type; - procedure Sem_Interface_Object_Declaration (Inter, Last : Iir; Interface_Kind : Interface_Kind_Type) is @@ -313,14 +294,6 @@ package body Sem_Decls is -- LRM93 7.4.2 (Globally static primaries) -- 3. a generic constant. Set_Expr_Staticness (Inter, Globally); - - if A_Type /= Null_Iir - and then (Get_Kind (A_Type) - in Iir_Kinds_Composite_Type_Definition) - and then Get_Type_Staticness (A_Type) = None - then - Sem_Force_Static_Type (Inter, A_Type); - end if; end if; when Port_Interface_List => if Get_Kind (Inter) /= Iir_Kind_Interface_Signal_Declaration then @@ -1725,8 +1698,6 @@ package body Sem_Decls is then if Get_Type_Staticness (Value_Type) >= Globally then Set_Type (Decl, Value_Type); - else - Sem_Force_Static_Type (Decl, Value_Type); end if; end if; end Sem_Object_Type_From_Value; |