This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository gcc.

from 53d461e4e0f Daily bump. new 9490fd58a82 [Ada] AI12-0309 Missing checks for pragma Suppress new 54c1fdb62b6 [Ada] Add Depends contracts to Delete procedures of formal [...] new 8472d81ea00 [Ada] Fix socket timeout correction for Windows Server 2019 case new 2f7294f23e8 [Ada] Ada_2020: shared variable control aspects on formal d [...] new d2f7fa08bd5 [Ada] gnatbind: Deterministic No_Entry_Calls_In_Elaboration [...] new ae9293fb8e1 [Ada] Silence spurious warning on instances of formal vectors new 6e063ac3887 [Ada] AI12-0226 Make objects more consistent new 3ebf0cbda50 [Ada] Reuse Get_Index_Subtype in the special expander for G [...] new c382d0712fb [Ada] Reuse standard expansion of 'First and 'Last in GNATp [...] new 176de683776 [Ada] Better code generation for nested aggregates new fccf77d504b [Ada] Update doc on Enum_Rep/Enum_Val new 591bdee0fa1 [Ada] Add gnatname use for multiple units files support new 8214938ab2e [Ada] Do not warn on partial access to atomic object with a [...] new 58c4038810a [Ada] Ada.Text_IO: fix typo new b4aa6e29784 [Ada] AI12-0287 Legality Rules for null exclusions in renam [...] new 7907619e773 [Ada] Remove processing of SPARK_05 restriction new 7b7f1ca1b28 [Ada] Restore Snames.Name_SPARK as it used in the GNATprove [...] new 24eda9e7012 [Ada] Implement predicate checks on qualified expressions ( [...] new 8b0ec65d852 [Ada] Issue with unnesting of 'First/Last and renaming new 6476fc372a6 [Ada] Implement AI12-0290 (Simple_Barriers restriction) new bbe7d67f5ff [Ada] Remove the Has_Dynamic_Range_Check flag new 8eda13a49e5 [Ada] Fix handling of 'Enum_Rep and renamings new 4b8c2c4ba35 [Ada] AI12-0228 Properties of qualified expressions used as names new a998e58bf01 [Ada] Implement AI12-0291 (Jorvik profile) new e344ec25533 [Ada] Style cleanups in new code for Pure_Barriers new 5351d617ec8 [Ada] Port a modified expansion of Enum_Rep from GNAT to GNATprove new a689887372e [Ada] Spurious error on call to controlled primitive new 072c5071e0e [Ada] AI12-0085 Missing aspect cases for Remote_Types new 63408d0eb2f [Ada] AI12-0204 Renaming of a prefixed view new 48b799ea9a6 [Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_ [...]

The 30 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: gcc/ada/ali.adb | 48 +-- gcc/ada/atree.adb | 6 - gcc/ada/bindo-graphs.adb | 212 ++++++++--- gcc/ada/bindo-graphs.ads | 17 +- gcc/ada/checks.adb | 82 ++--- gcc/ada/checks.ads | 21 +- gcc/ada/csinfo.adb | 9 +- .../gnat_rm/implementation_defined_attributes.rst | 6 + ...ard_and_implementation_defined_restrictions.rst | 145 +------- .../doc/gnat_ugn/the_gnat_compilation_model.rst | 27 +- gcc/ada/exp_aggr.adb | 10 - gcc/ada/exp_attr.adb | 48 --- gcc/ada/exp_ch4.adb | 6 +- gcc/ada/exp_ch5.adb | 3 +- gcc/ada/exp_ch6.adb | 26 -- gcc/ada/exp_ch9.adb | 51 ++- gcc/ada/exp_spark.adb | 50 +-- gcc/ada/exp_unst.adb | 27 +- gcc/ada/exp_util.adb | 29 ++ gcc/ada/exp_util.ads | 4 + gcc/ada/gnat_rm.texi | 359 +------------------ gcc/ada/gnat_ugn.texi | 27 +- gcc/ada/gnatbind.adb | 3 + gcc/ada/libgnat/a-cfdlli.ads | 7 +- gcc/ada/libgnat/a-cfhama.ads | 7 +- gcc/ada/libgnat/a-cfhase.ads | 7 +- gcc/ada/libgnat/a-cforma.ads | 7 +- gcc/ada/libgnat/a-cforse.ads | 7 +- gcc/ada/libgnat/a-cofove.adb | 4 + gcc/ada/libgnat/a-textio.ads | 2 +- gcc/ada/libgnat/s-rident.ads | 63 +++- gcc/ada/opt.ads | 44 --- gcc/ada/par-ch11.adb | 42 --- gcc/ada/par-ch12.adb | 8 +- gcc/ada/par-ch6.adb | 21 -- gcc/ada/par-ch7.adb | 40 --- gcc/ada/par-prag.adb | 15 +- gcc/ada/restrict.adb | 176 +--------- gcc/ada/restrict.ads | 25 -- gcc/ada/scans.ads | 3 - gcc/ada/scng.adb | 386 +-------------------- gcc/ada/sem_aggr.adb | 121 ------- gcc/ada/sem_attr.adb | 81 +---- gcc/ada/sem_cat.adb | 12 +- gcc/ada/sem_cat.ads | 4 +- gcc/ada/sem_ch11.adb | 10 - gcc/ada/sem_ch12.adb | 42 +-- gcc/ada/sem_ch13.adb | 141 +++++--- gcc/ada/sem_ch13.ads | 3 + gcc/ada/sem_ch3.adb | 298 +--------------- gcc/ada/sem_ch3.ads | 12 +- gcc/ada/sem_ch4.adb | 66 +--- gcc/ada/sem_ch5.adb | 88 +---- gcc/ada/sem_ch6.adb | 83 ----- gcc/ada/sem_ch7.adb | 62 ---- gcc/ada/sem_ch8.adb | 208 ++++------- gcc/ada/sem_ch9.adb | 12 - gcc/ada/sem_eval.adb | 48 ++- gcc/ada/sem_eval.ads | 17 +- gcc/ada/sem_prag.adb | 38 +- gcc/ada/sem_res.adb | 316 +---------------- gcc/ada/sem_util.adb | 288 ++------------- gcc/ada/sem_util.ads | 11 - gcc/ada/sinfo.adb | 18 - gcc/ada/sinfo.ads | 18 - gcc/ada/snames.ads-tmpl | 3 + gcc/ada/socket.c | 10 +- gcc/ada/targparm.adb | 8 + gcc/ada/treepr.adb | 6 - gcc/ada/types.ads | 4 +- 70 files changed, 858 insertions(+), 3250 deletions(-)