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

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

from ae60396a3e6 [Ada] Failure to detect trivial infinite recursion new ec1e481fa64 [Ada] Missing range check on assignment to bit-packed array new 2028580faaa [Ada] System.OS_Interface: fix link order on Linux new ee4e1dd7bc8 [Ada] Crash on deallocating component with discriminated task new a9fa50ab5cb [Ada] Fix position of subprogram body generated for static [...] new 50948c8a1a5 [Ada] Minor reformatting new c9c818350cd [Ada] Fix internal error on packed array In/Out actual parameter new 26ea500302b [Ada] Ada.Wide_Wide_Characters.Handling: fix comments new ce99fc8a912 [Ada] GNAT UGN: refresh doc on installing from the cmd line [...] new 30fb27b121a [Ada] Add contracts to Ada.Text_IO for SPARK new 627d075169f [Ada] Stabilization of Elaboration order v4.0 new dad9e9f84ef [Ada] Compiler loop on illegal nested accept statement new e1415398f3f [Ada] Incorrect accessibility check

The 12 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 | 166 ++++++++ gcc/ada/ali.adb | 46 +- gcc/ada/ali.ads | 24 +- gcc/ada/bindo-diagnostics.adb | 63 ++- gcc/ada/bindo-elaborators.adb | 27 +- gcc/ada/bindo-units.adb | 5 +- gcc/ada/bindo-writers.adb | 277 ++++++++++-- gcc/ada/bindo-writers.ads | 14 + gcc/ada/bindo.adb | 158 ++++++- gcc/ada/bindusg.adb | 8 + gcc/ada/checks.adb | 21 +- gcc/ada/debug.adb | 4 +- .../doc/gnat_ugn/platform_specific_information.rst | 30 +- gcc/ada/einfo.adb | 2 +- gcc/ada/exp_attr.adb | 3 +- gcc/ada/exp_ch3.adb | 6 +- gcc/ada/exp_ch4.adb | 15 +- gcc/ada/exp_ch6.adb | 54 ++- gcc/ada/exp_ch7.adb | 11 +- gcc/ada/exp_pakd.adb | 34 +- gcc/ada/gnat_ugn.texi | 3 - gcc/ada/lib-writ.adb | 2 +- gcc/ada/libgnarl/s-osinte__linux.ads | 3 +- gcc/ada/libgnat/a-textio.adb | 13 +- gcc/ada/libgnat/a-textio.ads | 466 ++++++++++++++++----- gcc/ada/libgnat/a-tideio.ads | 35 +- gcc/ada/libgnat/a-tienio.ads | 33 +- gcc/ada/libgnat/a-tifiio.ads | 35 +- gcc/ada/libgnat/a-tiflio.ads | 35 +- gcc/ada/libgnat/a-tiinio.ads | 35 +- gcc/ada/libgnat/a-timoio.ads | 35 +- gcc/ada/libgnat/a-wichha.ads | 30 +- gcc/ada/libgnat/g-traceb.adb | 6 +- gcc/ada/libgnat/g-traceb.ads | 3 +- gcc/ada/libgnat/s-stratt.ads | 2 +- gcc/ada/opt.ads | 5 + gcc/ada/sem_aux.ads | 2 +- gcc/ada/sem_ch13.adb | 10 +- gcc/ada/sem_ch9.adb | 8 +- gcc/ada/sem_elab.adb | 129 +++++- gcc/ada/sem_util.adb | 24 +- gcc/ada/switch-b.adb | 9 + gcc/testsuite/ChangeLog | 9 + gcc/testsuite/gnat.dg/pack23.adb | 14 + gcc/testsuite/gnat.dg/pack23_pkg.ads | 5 + gcc/testsuite/gnat.dg/task3.adb | 11 + gcc/testsuite/gnat.dg/task3.ads | 12 + gcc/testsuite/gnat.dg/task3_pkg1.ads | 11 + gcc/testsuite/gnat.dg/task3_pkg2.ads | 7 + 49 files changed, 1624 insertions(+), 336 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/pack23.adb create mode 100644 gcc/testsuite/gnat.dg/pack23_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/task3.adb create mode 100644 gcc/testsuite/gnat.dg/task3.ads create mode 100644 gcc/testsuite/gnat.dg/task3_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/task3_pkg2.ads