From fbf90e543f27ac7ea77df9044ede3e3541f06a18 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 26 Oct 2015 11:56:57 +0000 Subject: [PATCH] einfo.ads, [...] (Needs_Typedef, [...]): Removed, no longer used. 2015-10-26 Arnaud Charlet * einfo.ads, einfo.adb, exp_unst.adb (Needs_Typedef, Set_Needs_Typedef): Removed, no longer used. From-SVN: r229347 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/einfo.adb | 15 +-------------- gcc/ada/einfo.ads | 13 ------------- gcc/ada/exp_unst.adb | 5 ----- 4 files changed, 6 insertions(+), 32 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 8951f1105e7..87bf6be7ba5 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2015-10-26 Arnaud Charlet + + * einfo.ads, einfo.adb, exp_unst.adb (Needs_Typedef, + Set_Needs_Typedef): Removed, no longer used. + 2015-10-26 Hristian Kirtchev * einfo.adb (First_Component): Update the assertion to allow diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index c8e6fcfe719..930e18ea48d 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -595,7 +595,7 @@ package body Einfo is -- Is_Uplevel_Referenced_Entity Flag283 -- Is_Unimplemented Flag284 -- Is_Volatile_Full_Access Flag285 - -- Needs_Typedef Flag286 + -- (unused) Flag286 -- Rewritten_For_C Flag287 -- (unused) Flag288 @@ -2687,12 +2687,6 @@ package body Einfo is return Flag22 (Id); end Needs_No_Actuals; - function Needs_Typedef (Id : E) return B is - begin - pragma Assert (Is_Type (Id)); - return Flag286 (Id); - end Needs_Typedef; - function Never_Set_In_Source (Id : E) return B is begin return Flag115 (Id); @@ -5715,12 +5709,6 @@ package body Einfo is Set_Flag22 (Id, V); end Set_Needs_No_Actuals; - procedure Set_Needs_Typedef (Id : E; V : B := True) is - begin - pragma Assert (Is_Type (Id)); - Set_Flag286 (Id, V); - end Set_Needs_Typedef; - procedure Set_Never_Set_In_Source (Id : E; V : B := True) is begin Set_Flag115 (Id, V); @@ -9010,7 +8998,6 @@ package body Einfo is W ("Must_Have_Preelab_Init", Flag208 (Id)); W ("Needs_Debug_Info", Flag147 (Id)); W ("Needs_No_Actuals", Flag22 (Id)); - W ("Needs_Typedef", Flag286 (Id)); W ("Never_Set_In_Source", Flag115 (Id)); W ("No_Dynamic_Predicate_On_actual", Flag276 (Id)); W ("No_Pool_Assigned", Flag131 (Id)); diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 21d700e2037..a827514fbcb 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -3377,14 +3377,6 @@ package Einfo is -- interpreted as an indexing of the result of the call. It is also -- used to resolve various cases of entry calls. --- Needs_Typedef (Flag286) --- Defined for all types and subtypes. Set if it is essential to generate --- a typedef when we are generating C code from Cprint. Normally we --- generate typedef's only for source entities, and not for internally --- generated types, but there are cases, notably the AREC types generated --- in Exp_Unst when we are unnesting subprograms where we must generate --- typedef's for non-source types. - -- Never_Set_In_Source (Flag115) -- Defined in all entities, but can be set only for variables and -- parameters. This flag is set if the object is never assigned a value @@ -5486,7 +5478,6 @@ package Einfo is -- May_Inherit_Delayed_Rep_Aspects (Flag262) -- Must_Be_On_Byte_Boundary (Flag183) -- Must_Have_Preelab_Init (Flag208) - -- Needs_Typedef (Flag286) -- Optimize_Alignment_Space (Flag241) -- Optimize_Alignment_Time (Flag242) -- Partial_View_Has_Unknown_Discr (Flag280) @@ -7049,7 +7040,6 @@ package Einfo is function Must_Have_Preelab_Init (Id : E) return B; function Needs_Debug_Info (Id : E) return B; function Needs_No_Actuals (Id : E) return B; - function Needs_Typedef (Id : E) return B; function Never_Set_In_Source (Id : E) return B; function Next_Inlined_Subprogram (Id : E) return E; function No_Dynamic_Predicate_On_Actual (Id : E) return B; @@ -7715,7 +7705,6 @@ package Einfo is procedure Set_Must_Have_Preelab_Init (Id : E; V : B := True); procedure Set_Needs_Debug_Info (Id : E; V : B := True); procedure Set_Needs_No_Actuals (Id : E; V : B := True); - procedure Set_Needs_Typedef (Id : E; V : B := True); procedure Set_Never_Set_In_Source (Id : E; V : B := True); procedure Set_Next_Inlined_Subprogram (Id : E; V : E); procedure Set_No_Dynamic_Predicate_On_Actual (Id : E; V : B := True); @@ -8534,7 +8523,6 @@ package Einfo is pragma Inline (Must_Have_Preelab_Init); pragma Inline (Needs_Debug_Info); pragma Inline (Needs_No_Actuals); - pragma Inline (Needs_Typedef); pragma Inline (Never_Set_In_Source); pragma Inline (Next_Index); pragma Inline (Next_Inlined_Subprogram); @@ -8998,7 +8986,6 @@ package Einfo is pragma Inline (Set_Must_Have_Preelab_Init); pragma Inline (Set_Needs_Debug_Info); pragma Inline (Set_Needs_No_Actuals); - pragma Inline (Set_Needs_Typedef); pragma Inline (Set_Never_Set_In_Source); pragma Inline (Set_Next_Inlined_Subprogram); pragma Inline (Set_No_Dynamic_Predicate_On_Actual); diff --git a/gcc/ada/exp_unst.adb b/gcc/ada/exp_unst.adb index 5db40e52a8d..52214726442 100644 --- a/gcc/ada/exp_unst.adb +++ b/gcc/ada/exp_unst.adb @@ -1290,11 +1290,6 @@ package body Exp_Unst is Pop_Scope; - -- Mark the types as needing typedefs - - Set_Needs_Typedef (STJ.ARECnT); - Set_Needs_Typedef (STJ.ARECnPT); - -- Next step, for each uplevel referenced entity, add -- assignment operations to set the component in the -- activation record. -- 2.30.2