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

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

from 691bca44a0c 2019-09-19 Richard Biener rguenther@suse.de new bca7e56959e [Ada] Rtsfind: improve comment on RTE_Available new ebec5184021 [Ada] Improve handling of explicit by-reference mechanism new 81ba264daee [Ada] gnatxref: infinite loop on symbols not found new ce7ef3eecdb [Ada] Fix fallout of previous change for bit-packed arrays new c79bbaf1192 [Ada] Infinite loop with concatenation and aspect new 1395cb43139 [Ada] Fix spurious type mismatch failure on nested instantiations new 7c3ba4e766d [Ada] Add comments wrt. deallocation of bounded sets/maps new 307a45c6f95 [Ada] Propagate documentation to formal bounded sets new 83a9389213c [Ada] Memory leak with 'Range of a function call in a loop new e2a9b3aae46 [Ada] Crash on predicate in full view in a generic unit new 1c757e52ab8 [Ada] Remove duplicated routines for getting homonym number new aa7194280b7 [Ada] Streamline comparison for equality of 2-element arrays new 12ac32f1eca [Ada] Suppress GNAT FE up-level reference transformation fo [...] new d6c801510a1 [Ada] Implement Machine_Rounding attribute in line when possible new 389755f4fac [Ada] Move SPARK borrow-checker to gnat2why codebase new 80c15e99967 [Ada] Fix run-time segfault with derived access-to-subprogram type new 089871ab43c [Ada] Exp_Attr: remove obsolete comment new 95c0a794068 [Ada] Allow constants of access type in Global contracts new 51bc0d543c0 [Ada] Disable inlining of traversal function in GNATprove new b76757b39d7 [Ada] Spurious visibility error in generic child unit new bbc3d666a8c [Ada] Use declared type for deciding on SPARK pointer rules new a98be6bcec5 [Ada] New routine GNAT.Sockets.Create_Socket_Pair new ac42ccd18bd [Ada] Fix bogus visibility error with nested generics and inlining new e3baf4c34c5 [Ada] Fix bogus "too late" error with nested generics and inlining new 83030da1dbe [Ada] Fix copy operation with private discriminated record type new ab6852913a1 [Ada] Sem_Ch12: add a comment to indicate future work new 6f4e2fc348a [Ada] Get rid of useless temporary for slice in overaligned [...] new f809d10c40c [Ada] Accept concatentation arguments to pragma Annotate new 8b1002edc9a [Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdb

The 29 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 | 192 + .../doc/gnat_rm/implementation_defined_pragmas.rst | 3 +- gcc/ada/exp_aggr.adb | 8 +- gcc/ada/exp_attr.adb | 15 +- gcc/ada/exp_ch3.adb | 23 +- gcc/ada/exp_ch4.adb | 124 +- gcc/ada/exp_ch6.adb | 43 +- gcc/ada/exp_dbug.adb | 23 +- gcc/ada/exp_dbug.ads | 4 - gcc/ada/exp_unst.adb | 5 +- gcc/ada/exp_util.adb | 14 +- gcc/ada/exp_util.ads | 2 +- gcc/ada/gcc-interface/Make-lang.in | 1 - gcc/ada/gcc-interface/misc.c | 2 +- gcc/ada/gnat_rm.texi | 6 +- gcc/ada/inline.adb | 29 + gcc/ada/libgnat/a-cbhama.ads | 3 +- gcc/ada/libgnat/a-cbhase.ads | 3 +- gcc/ada/libgnat/a-cfhase.ads | 139 + gcc/ada/libgnat/a-chtgop.ads | 5 +- gcc/ada/libgnat/g-socket.adb | 28 + gcc/ada/libgnat/g-socket.ads | 12 +- gcc/ada/libgnat/g-socthi.ads | 11 + gcc/ada/libgnat/g-socthi__mingw.adb | 10 + gcc/ada/libgnat/g-socthi__mingw.ads | 11 + gcc/ada/libgnat/g-socthi__vxworks.adb | 10 + gcc/ada/libgnat/g-socthi__vxworks.ads | 11 + gcc/ada/libgnat/g-sthcso.adb | 213 + gcc/ada/libgnat/g-stsifd__sockets.adb | 156 +- gcc/ada/rtsfind.ads | 17 + gcc/ada/sem_attr.adb | 10 + gcc/ada/sem_ch12.adb | 81 +- gcc/ada/sem_ch13.adb | 32 +- gcc/ada/sem_ch3.adb | 5 + gcc/ada/sem_ch7.adb | 18 +- gcc/ada/sem_prag.adb | 95 +- gcc/ada/sem_res.adb | 4 +- gcc/ada/sem_spark.adb | 6179 -------------------- gcc/ada/sem_spark.ads | 177 - gcc/ada/sem_util.adb | 9 +- gcc/ada/xref_lib.adb | 17 +- gcc/testsuite/ChangeLog | 54 + gcc/testsuite/gnat.dg/access9.adb | 20 + gcc/testsuite/gnat.dg/annotation1.adb | 7 + gcc/testsuite/gnat.dg/bias1.adb | 34 + gcc/testsuite/gnat.dg/concat3.adb | 14 + gcc/testsuite/gnat.dg/generic2-child.ads | 5 + gcc/testsuite/gnat.dg/generic2-io_any.adb | 5 + gcc/testsuite/gnat.dg/generic2-io_any.ads | 6 + gcc/testsuite/gnat.dg/generic2.ads | 5 + gcc/testsuite/gnat.dg/generic_inst13.adb | 22 + .../gnat.dg/generic_inst13_pkg-nested_g.ads | 14 + gcc/testsuite/gnat.dg/generic_inst13_pkg-ops_g.ads | 9 + gcc/testsuite/gnat.dg/generic_inst13_pkg.ads | 11 + gcc/testsuite/gnat.dg/global2.adb | 12 + gcc/testsuite/gnat.dg/global2.ads | 6 + gcc/testsuite/gnat.dg/inline20.adb | 9 + gcc/testsuite/gnat.dg/inline20_g.adb | 18 + gcc/testsuite/gnat.dg/inline20_g.ads | 18 + gcc/testsuite/gnat.dg/inline20_h.ads | 15 + gcc/testsuite/gnat.dg/inline20_i.ads | 19 + gcc/testsuite/gnat.dg/inline20_q-io.ads | 1 + gcc/testsuite/gnat.dg/inline20_q.ads | 3 + gcc/testsuite/gnat.dg/inline20_r.ads | 12 + gcc/testsuite/gnat.dg/inline21.adb | 9 + gcc/testsuite/gnat.dg/inline21_g.ads | 8 + gcc/testsuite/gnat.dg/inline21_h.adb | 14 + gcc/testsuite/gnat.dg/inline21_h.ads | 10 + gcc/testsuite/gnat.dg/inline21_q.ads | 9 + gcc/testsuite/gnat.dg/pack26.adb | 23 + gcc/testsuite/gnat.dg/predicate14.adb | 4 + gcc/testsuite/gnat.dg/predicate14.ads | 56 + 72 files changed, 1543 insertions(+), 6659 deletions(-) create mode 100644 gcc/ada/libgnat/g-sthcso.adb delete mode 100644 gcc/ada/sem_spark.adb delete mode 100644 gcc/ada/sem_spark.ads create mode 100644 gcc/testsuite/gnat.dg/access9.adb create mode 100644 gcc/testsuite/gnat.dg/annotation1.adb create mode 100644 gcc/testsuite/gnat.dg/bias1.adb create mode 100644 gcc/testsuite/gnat.dg/concat3.adb create mode 100644 gcc/testsuite/gnat.dg/generic2-child.ads create mode 100644 gcc/testsuite/gnat.dg/generic2-io_any.adb create mode 100644 gcc/testsuite/gnat.dg/generic2-io_any.ads create mode 100644 gcc/testsuite/gnat.dg/generic2.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst13.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst13_pkg-nested_g.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst13_pkg-ops_g.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst13_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/global2.adb create mode 100644 gcc/testsuite/gnat.dg/global2.ads create mode 100644 gcc/testsuite/gnat.dg/inline20.adb create mode 100644 gcc/testsuite/gnat.dg/inline20_g.adb create mode 100644 gcc/testsuite/gnat.dg/inline20_g.ads create mode 100644 gcc/testsuite/gnat.dg/inline20_h.ads create mode 100644 gcc/testsuite/gnat.dg/inline20_i.ads create mode 100644 gcc/testsuite/gnat.dg/inline20_q-io.ads create mode 100644 gcc/testsuite/gnat.dg/inline20_q.ads create mode 100644 gcc/testsuite/gnat.dg/inline20_r.ads create mode 100644 gcc/testsuite/gnat.dg/inline21.adb create mode 100644 gcc/testsuite/gnat.dg/inline21_g.ads create mode 100644 gcc/testsuite/gnat.dg/inline21_h.adb create mode 100644 gcc/testsuite/gnat.dg/inline21_h.ads create mode 100644 gcc/testsuite/gnat.dg/inline21_q.ads create mode 100644 gcc/testsuite/gnat.dg/pack26.adb create mode 100644 gcc/testsuite/gnat.dg/predicate14.adb create mode 100644 gcc/testsuite/gnat.dg/predicate14.ads