From 694a4d2744f252b326121c37c2271133e0ec535f Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 21 Jul 2014 07:47:19 +0200 Subject: Add overflow literal. --- sem_types.adb | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'sem_types.adb') diff --git a/sem_types.adb b/sem_types.adb index e7f8c97b4..ffa426809 100644 --- a/sem_types.adb +++ b/sem_types.adb @@ -1884,6 +1884,7 @@ package body Sem_Types is Res := Create_Iir (Iir_Kind_Access_Subtype_Definition); Location_Copy (Res, Def); Set_Base_Type (Res, Type_Mark); + Set_Type_Mark (Res, Base_Type); Set_Signal_Type_Flag (Res, False); Free_Old_Iir (Def); return Res; @@ -2001,9 +2002,12 @@ package body Sem_Types is Set_Type_Mark (Res, Def); Set_Range_Constraint (Res, Get_Range_Constraint (Def)); - when Iir_Kind_Access_Subtype_Definition - | Iir_Kind_Access_Type_Definition => + when Iir_Kind_Access_Subtype_Definition => Res := Create_Iir (Iir_Kind_Access_Subtype_Definition); + Set_Type_Mark (Res, Get_Type_Mark (Def)); + when Iir_Kind_Access_Type_Definition => + Res := Create_Iir (Iir_Kind_Access_Subtype_Definition); + Set_Type_Mark (Res, Get_Designated_Type (Def)); when Iir_Kind_Array_Type_Definition => Res := Create_Iir (Iir_Kind_Array_Subtype_Definition); @@ -2035,7 +2039,8 @@ package body Sem_Types is end if; Set_Resolved_Flag (Res, Get_Resolved_Flag (Def)); Set_Constraint_State (Res, Get_Constraint_State (Def)); - + Set_Elements_Declaration_List + (Res, Get_Elements_Declaration_List (Def)); when others => -- FIXME: todo Error_Kind ("copy_subtype_indication", Def); -- cgit v1.2.3