diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-01-15 10:55:58 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-07 09:55:55 +0200 |
| commit | fabb69655b1eb4a58c2978a80d7a6fd5d67684fc (patch) | |
| tree | c692db14af170bf6bf7fcc8b0919135fbabc9a44 /gcc/ada | |
| parent | 07f61618c7b7094ecb7d39b8bb4122efb02a3ef1 (diff) | |
| download | gcc-fabb69655b1eb4a58c2978a80d7a6fd5d67684fc.zip gcc-fabb69655b1eb4a58c2978a80d7a6fd5d67684fc.tar.gz gcc-fabb69655b1eb4a58c2978a80d7a6fd5d67684fc.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/einfo.ads | 3 | ||||
| -rw-r--r-- | gcc/ada/gen_il-fields.ads | 1 | ||||
| -rw-r--r-- | gcc/ada/gen_il-gen-gen_entities.adb | 4 |
3 files changed, 0 insertions, 8 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index e3bfdb3..3c290ef 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 ac1e0c9..0a5bddf 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 cde016c..dd5db97 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), |