einfo.ads, [...] (Needs_Typedef, [...]): Removed, no longer used.

2015-10-26  Arnaud Charlet  <charlet@adacore.com>

	* einfo.ads, einfo.adb, exp_unst.adb (Needs_Typedef,
	Set_Needs_Typedef): Removed, no longer used.

From-SVN: r229347

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 8951f1105e7dc86cee025262cbde143bd50fe089..87bf6be7ba5e53fc8076b08eb6605d30f77c02c5 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2015-10-26  Arnaud Charlet  <charlet@adacore.com>
+
+       * einfo.ads, einfo.adb, exp_unst.adb (Needs_Typedef,
+       Set_Needs_Typedef): Removed, no longer used.
+
 2015-10-26  Hristian Kirtchev  <kirtchev@adacore.com>
 
        * einfo.adb (First_Component): Update the assertion to allow

diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb
index c8e6fcfe71986232e433bb74109c616a78db4e9e..930e18ea48d2be5137a95c08905ba95fab30d501 100644 (file)
--- 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 21d700e20372763fa30ffa2acae0f27c3a42d4f1..a827514fbcb496da67f132acbcd39c5d298c99f5 100644 (file)
--- 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 5db40e52a8d41ace3e535791046d2a7bd375b643..5221472644271bed6160d4f18824816894b7cfd1 100644 (file)
--- 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.