This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from facde14d15a libphobos: Merge upstream druntime 5bb8ce19 new bc94feec6ea [Ada] Max_Entry_Queue_Length aspect for protected entries new 5fe5bf2ea68 [Ada] doc/Makefile: automatically create doc/share/_static new 9d91d682799 [Ada] Missing attribute update in new_copy_tree new fd745a23bdc [Ada] Replace low-level membership tests with high-level routines new f9329a6ef35 [Ada] Fix assertion failure on derived private protected type new c7ff8e7ac21 [Ada] Ignore subprogram address in ownership checking new b4c01a1767e [Ada] Avoid spurious error in GNATprove mode on non-null ac [...] new ab57dde09df [Ada] Do not rewrite argument of pragma Entry_Queue_Length [...] new c315a4384c4 [Ada] Fix type mismatch in extended return statement expansion new b70180f1ee6 [Ada] Undefined master in task with limited class-wide alia [...] new 8efee0991b6 [Ada] Bindo.Graphs: Minor typo fixes new 814f5f0e301 [Ada] Add the System.Bitfield_Utils runtime unit new f6de748e533 [Ada] More complete information level for -gnatR4 output new 7cff2412481 [Ada] Update references to the SPARK RM new a2567713532 [Ada] More precise propagation of Size attribute in generic [...] new ff8754a16e1 [Ada] Allow for of iteration on formal vectors new d711075b57f [Ada] Minor refactorings/reformattings new ebaebbd1bb3 [Ada] Improve detection of end of the process by GNAT.Expect
The 18 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/ChangeLog | 131 +++++++++ gcc/ada/Makefile.rtl | 2 + gcc/ada/bindo-graphs.adb | 2 +- gcc/ada/bindo-graphs.ads | 2 +- gcc/ada/checks.adb | 8 +- gcc/ada/doc/Makefile | 14 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 6 +- gcc/ada/einfo.adb | 12 +- gcc/ada/exp_ch3.adb | 9 +- gcc/ada/exp_ch4.adb | 18 +- gcc/ada/exp_ch5.adb | 160 ++++++++++- gcc/ada/exp_ch6.adb | 85 ++++-- gcc/ada/exp_util.adb | 11 +- gcc/ada/gnat_rm.texi | 10 +- gcc/ada/libgnat/a-cofove.ads | 49 +++- gcc/ada/libgnat/g-expect.adb | 16 +- gcc/ada/libgnat/{a-diocst.ads => s-bitfie.ads} | 40 +-- gcc/ada/libgnat/s-bituti.adb | 320 +++++++++++++++++++++ gcc/ada/libgnat/s-bituti.ads | 132 +++++++++ gcc/ada/repinfo.adb | 42 +-- gcc/ada/rtsfind.ads | 5 + gcc/ada/sem_ch3.adb | 10 +- gcc/ada/sem_ch8.adb | 2 +- gcc/ada/sem_ch9.adb | 3 +- gcc/ada/sem_prag.adb | 17 +- gcc/ada/sem_spark.adb | 15 +- gcc/ada/sem_util.adb | 37 ++- gcc/testsuite/ChangeLog | 10 + gcc/testsuite/gnat.dg/implicit_param.adb | 19 ++ gcc/testsuite/gnat.dg/implicit_param_pkg.ads | 8 + gcc/testsuite/gnat.dg/prot9.adb | 10 + gcc/testsuite/gnat.dg/prot9_gen.ads | 9 + gcc/testsuite/gnat.dg/prot9_pkg1.ads | 11 + gcc/testsuite/gnat.dg/prot9_pkg2.ads | 16 ++ 34 files changed, 1102 insertions(+), 139 deletions(-) copy gcc/ada/libgnat/{a-diocst.ads => s-bitfie.ads} (69%) create mode 100644 gcc/ada/libgnat/s-bituti.adb create mode 100644 gcc/ada/libgnat/s-bituti.ads create mode 100644 gcc/testsuite/gnat.dg/implicit_param.adb create mode 100644 gcc/testsuite/gnat.dg/implicit_param_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/prot9.adb create mode 100644 gcc/testsuite/gnat.dg/prot9_gen.ads create mode 100644 gcc/testsuite/gnat.dg/prot9_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/prot9_pkg2.ads