diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-01-31 14:07:22 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-13 10:03:33 +0200 |
| commit | f7e1ddec5c5286d45352be86bd74c4f064a79db9 (patch) | |
| tree | daf14fc61079015d38160c9e30b703a883ecb5bb /gcc/ada/sem_ch6.adb | |
| parent | 3aa99be0991d10c6c86a83c9d9891e58b84e69cb (diff) | |
| download | gcc-f7e1ddec5c5286d45352be86bd74c4f064a79db9.zip gcc-f7e1ddec5c5286d45352be86bd74c4f064a79db9.tar.gz gcc-f7e1ddec5c5286d45352be86bd74c4f064a79db9.tar.bz2 | |
ada: Deconstruct flag Split_PPC since splitting now is done in expansion
Remove flag Split_PPC and all its uses.
gcc/ada/
* contracts.adb (Append_Enabled_Item): Remove use of Split_PPC;
simplify.
* gen_il-fields.ads (Opt_Field_Enum): Remove flag definition.
* gen_il-gen-gen_nodes.adb (N_Aspect_Specification, N_Pragma):
Remove Split_PPC flags.
* gen_il-internals.adb (Image): Remove use of Split_PPC.
* par_sco.adb (Traverse_Aspects): Likewise.
* sem_ch13.adb (Make_Aitem_Pragma): Likewise.
* sem_ch6.adb (List_Inherited_Pre_Post_Aspects): Likewise.
* sem_prag.adb (Analyze_Pre_Post_Condition, Analyze_Pragma,
Find_Related_Declaration_Or_Body): Likewise.
* sem_util.adb (Applied_On_Conjunct): Likewise.
* sinfo.ads: Remove flag documentation.
* treepr.adb (Image): Remove use of Split_PPC.
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 446a0b8..17f62d3 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -11175,9 +11175,7 @@ package body Sem_Ch6 is while Present (Prag) loop Error_Msg_Sloc := Sloc (Prag); - if Class_Present (Prag) - and then not Split_PPC (Prag) - then + if Class_Present (Prag) then if Pragma_Name (Prag) = Name_Precondition then Error_Msg_N ("info: & inherits `Pre''Class` aspect from " |