ada: Remove obsolete field Postconditions_Proc

It is now totally unused by the front-end and dependent tools.

gcc/ada/

	* einfo.ads (Postconditions_Proc): Delete.
	* gen_il-fields.ads (Opt_Field_Enum): Remove Postconditions_Proc.
	* gen_il-gen-gen_entities.adb (E_Function): Likewise.
	(E_Procedure): Likewise.
	(E_Entry): Likewise.
	(E_Entry_Family): Likewise.

diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index e3bfdb3507d12fc4583fdb9e2f7a51316be935e0..3c290ef9a936ea6138f8de0926e427fa83886521 100644 (file)
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -4016,9 +4016,6 @@ package Einfo is
 --       ensure that the finalization masters of all pending access types are
 --       fully initialized when the full view is frozen.
 
---    Postconditions_Proc
---       Obsolete field which can be removed once CodePeer is fixed ???
-
 --    Predicate_Function (synthesized)
 --       Defined in all types. Set for types for which (Has_Predicates is True)
 --       and for which a predicate procedure has been built that tests that the

diff --git a/gcc/ada/gen_il-fields.ads b/gcc/ada/gen_il-fields.ads
index ac1e0c953f00a219324397ef01b3d1f6f096d21c..0a5bddf58161a09709258691ff2eb2e9bc037b9e 100644 (file)
--- a/gcc/ada/gen_il-fields.ads
+++ b/gcc/ada/gen_il-fields.ads
@@ -851,7 +851,6 @@ package Gen_IL.Fields is
       Part_Of_References,
       Partial_View_Has_Unknown_Discr,
       Pending_Access_Types,
-      Postconditions_Proc,
       Predicate_Expression,
       Prev_Entity,
       Prival,

diff --git a/gcc/ada/gen_il-gen-gen_entities.adb b/gcc/ada/gen_il-gen-gen_entities.adb
index cde016c3d1e8b161e9d6058ecd0d074870006598..dd5db9746fd712ca3a27335bcf77a55865c08815 100644 (file)
--- a/gcc/ada/gen_il-gen-gen_entities.adb
+++ b/gcc/ada/gen_il-gen-gen_entities.adb
@@ -1019,7 +1019,6 @@ begin -- Gen_IL.Gen.Gen_Entities
         Sm (Mechanism, Mechanism_Type),
         Sm (Next_Inlined_Subprogram, Node_Id),
         Sm (Original_Protected_Subprogram, Node_Id),
-        Sm (Postconditions_Proc, Node_Id),
         Sm (Predicate_Expression, Node_Id),
         Sm (Protected_Subprogram, Node_Id),
         Sm (Protection_Object, Node_Id),
@@ -1069,7 +1068,6 @@ begin -- Gen_IL.Gen.Gen_Entities
         Sm (LSP_Subprogram, Node_Id),
         Sm (Next_Inlined_Subprogram, Node_Id),
         Sm (Original_Protected_Subprogram, Node_Id),
-        Sm (Postconditions_Proc, Node_Id),
         Sm (Protected_Subprogram, Node_Id),
         Sm (Protection_Object, Node_Id),
         Sm (Receiving_Entry, Node_Id),
@@ -1113,7 +1111,6 @@ begin -- Gen_IL.Gen.Gen_Entities
         Sm (Is_Elaboration_Checks_OK_Id, Flag),
         Sm (Is_Elaboration_Warnings_OK_Id, Flag),
         Sm (Last_Entity, Node_Id),
-        Sm (Postconditions_Proc, Node_Id),
         Sm (Protected_Body_Subprogram, Node_Id),
         Sm (Protection_Object, Node_Id),
         Sm (Scope_Depth_Value, Unat),
@@ -1140,7 +1137,6 @@ begin -- Gen_IL.Gen.Gen_Entities
         Sm (Is_Elaboration_Warnings_OK_Id, Flag),
         Sm (Last_Entity, Node_Id),
         Sm (Needs_No_Actuals, Flag),
-        Sm (Postconditions_Proc, Node_Id),
         Sm (Protected_Body_Subprogram, Node_Id),
         Sm (Protection_Object, Node_Id),
         Sm (Renamed_Or_Alias, Node_Id),