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

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

from 13e357b5a79 Daily bump. new d2d09f3e24b [Ada] GNAT.Traceback: add a Call_Chain function new 1cb1fd0fd69 [Ada] Ada.Containers.Formal_Vectors: make vectors always bounded new 2f67af4cc25 [Ada] No_Stream_Optimizations ignored for 'Class'Input new 2c3ad474626 [Ada] Fix typo in GNAT RM new 572a4bc50d4 [Ada] Fix inlining in GNATprove inside quantified expressions new 164597c57da [Ada] Compiler abort on a dynamic predicate used in a precondition new 2500be2f761 [Ada] Diagnostics in Elaboration order v4.0 new 1bc68ac24c2 [Ada] Accept compilation switches -Og/-Ofast in non-GCC backends new 70f9c8aa20e [Ada] Import documentation from the RM for Ada.Strings.Fixed new 33ae0c9f534 [Ada] Import documentation from the RM for Ada.Strings.Unbounded new 249e38a7b79 [Ada] Removing support for SCIL "contract-only" subprogram bodies new 6eddee84f44 [Ada] Spurious error on aggregate with choice that is predi [...] new 2d8a0eb307a [Ada] Crash on exported build-in-place function new f28a3d6c447 [Ada] Typo fixes new 0e6f6ee178d [Ada] Wrong accessibility level under -gnat12 new 51f2c7f9126 [Ada] Failure to detect trivial infinite recursion new d33025f2917 [Ada] System.Linux: fix typos in comments new ae60396a3e6 [Ada] Failure to detect trivial infinite recursion

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 | 323 ++ gcc/ada/adabkend.adb | 23 +- gcc/ada/ali.adb | 551 +++- gcc/ada/ali.ads | 315 +- gcc/ada/bindo-augmentors.adb | 153 +- gcc/ada/bindo-builders.adb | 229 +- gcc/ada/bindo-builders.ads | 6 +- gcc/ada/bindo-diagnostics.adb | 1469 ++++++++- gcc/ada/bindo-diagnostics.ads | 20 +- gcc/ada/bindo-elaborators.adb | 447 ++- gcc/ada/bindo-graphs.adb | 3171 ++++++++++++++++---- gcc/ada/bindo-graphs.ads | 680 ++++- gcc/ada/bindo-units.adb | 66 +- gcc/ada/bindo-units.ads | 32 +- gcc/ada/bindo-validators.adb | 460 ++- gcc/ada/bindo-validators.ads | 20 + gcc/ada/bindo-writers.adb | 369 ++- gcc/ada/bindo-writers.ads | 10 + gcc/ada/bindo.adb | 125 +- gcc/ada/checks.adb | 35 + gcc/ada/contracts.adb | 495 --- gcc/ada/debug.adb | 42 +- ...ard_and_implementation_defined_restrictions.rst | 2 +- gcc/ada/einfo.ads | 2 +- gcc/ada/exp_attr.adb | 37 +- gcc/ada/exp_ch4.adb | 3 +- gcc/ada/exp_ch6.adb | 21 +- gcc/ada/gnat_rm.texi | 2 +- gcc/ada/gnatbind.adb | 10 +- gcc/ada/lib-writ.adb | 544 ++-- gcc/ada/lib-writ.ads | 20 +- gcc/ada/libgnarl/s-linux.ads | 2 +- gcc/ada/libgnarl/s-linux__alpha.ads | 2 +- gcc/ada/libgnarl/s-linux__android.ads | 2 +- gcc/ada/libgnarl/s-linux__hppa.ads | 2 +- gcc/ada/libgnarl/s-linux__mips.ads | 2 +- gcc/ada/libgnarl/s-linux__riscv.ads | 2 +- gcc/ada/libgnarl/s-linux__sparc.ads | 2 +- gcc/ada/libgnat/a-cofove.adb | 183 +- gcc/ada/libgnat/a-cofove.ads | 59 +- gcc/ada/libgnat/a-strfix.ads | 223 +- gcc/ada/libgnat/a-strunb.ads | 80 + gcc/ada/libgnat/g-lists.adb | 51 + gcc/ada/libgnat/g-lists.ads | 6 + gcc/ada/libgnat/g-traceb.adb | 14 +- gcc/ada/libgnat/g-traceb.ads | 9 + gcc/ada/scil_ll.adb | 67 - gcc/ada/scil_ll.ads | 14 +- gcc/ada/sem_elab.adb | 172 +- gcc/ada/sem_res.adb | 485 ++- gcc/ada/sem_util.adb | 102 +- gcc/ada/sem_util.ads | 13 +- gcc/testsuite/ChangeLog | 17 + gcc/testsuite/gnat.dg/access6.adb | 28 + gcc/testsuite/gnat.dg/aggr25.adb | 7 + gcc/testsuite/gnat.dg/aggr25.ads | 23 + gcc/testsuite/gnat.dg/bip_export.adb | 15 + gcc/testsuite/gnat.dg/bip_export.ads | 6 + gcc/testsuite/gnat.dg/predicate7.adb | 6 + gcc/testsuite/gnat.dg/predicate7.ads | 13 + gcc/testsuite/gnat.dg/predicate7_pkg.ads | 3 + 61 files changed, 8079 insertions(+), 3213 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/access6.adb create mode 100644 gcc/testsuite/gnat.dg/aggr25.adb create mode 100644 gcc/testsuite/gnat.dg/aggr25.ads create mode 100644 gcc/testsuite/gnat.dg/bip_export.adb create mode 100644 gcc/testsuite/gnat.dg/bip_export.ads create mode 100644 gcc/testsuite/gnat.dg/predicate7.adb create mode 100644 gcc/testsuite/gnat.dg/predicate7.ads create mode 100644 gcc/testsuite/gnat.dg/predicate7_pkg.ads