From: Eric Botcazou <ebotca...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/einfo.ads | 3 ---
gcc/ada/gen_il-fields.ads | 1 -
gcc/ada/gen_il-gen-gen_entities.adb | 4 ----
3 files changed, 8 deletions(-)
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index e3bfdb3507d..3c290ef9a93 100644
--- 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 ac1e0c953f0..0a5bddf5816 100644
--- 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 cde016c3d1e..dd5db9746fd 100644
--- 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),
--
2.43.2
