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

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

from ba9c87d3255 Initial Sapphire Rapids and Alder Lake support from ISA r40 new 6e41c27bf54 fix constant folding from array CTORs new 5f74065e26a [Ada] Crash in Walk_Library_Items on ghost units new 964cf38cb37 [Ada] Fix expansion of 'Update with multiple choices in GNATprove new a9d72b1bcfc [Ada] Reuse SPARK expansion of attribute Update for delta_a [...] new c24633fbbb8 [Ada] Remove use of debug flag -gnatdF for GNATprove new eb6eb3b79aa [Ada] Fix failing assertions related to volatile objects new b8989631246 [Ada] Fix internal error on if-expression in call returning [...] new a042b9c6809 [Ada] Fix crash on quantified expression in expression function new 9e0cd875b5c [Ada] Fix crash on quantified expression in expression func [...] new 2f9821a09ac [Ada] Make System.Generic_Bignums more flexible new 745f56989ea [Ada] Part of implementation of AI12-0212: container aggregates new 25af525c300 [Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries new 8248cf4b700 [Ada] Revert too late setting of Ekind on discriminants new 5f43e789300 [Ada] Fix assertion failure on (in-)out function parameter new 4e91f87c3e7 [Ada] Spurious error in generic dispatching constructor call new cbe3b8d49d0 [Ada] Small cleanup throughout Exp_Ch4 new 152f64c2c6c [Ada] Use small limit for aggregates inside subprograms new c3b4ce9b912 [Ada] Remove references to non-existing E_Protected_Object new a6ddbacd3ad [Ada] Cleanup excessive conditions in Check_Completion new c3026d451da [Ada] Fix detection of volatile properties in SPARK new ce59f39f78b [Ada] Reformatting and typo corrections new 1b5dc454ac8 [Ada] Potentially unevaluated nested expressions new 715aea70f35 [Ada] Minor style fixes new 002f8329d20 [Ada] Fix memory leak in routine Wait_On_Socket new 98af369b948 [Ada] Preserve casing of output files new b748c3d1b72 [Ada] Further improve the expansion of array aggregates new 7d3a9f399af [Ada] Spurious error on parameterless acccess_to_subprogram new 61939546757 [Ada] Ada2020: AI12-0368 Declare expressions can be static new 33502a3a8ce [Ada] Fix detection of actual parameters for procedure calls new db6c298d166 [Ada] Add warning for overlays changing scalar storage order new c4fc6a3e0a2 [Ada] Revert mistaken negation related to references to labels

The 31 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/Makefile.rtl | 1 + gcc/ada/aspects.ads | 6 + gcc/ada/checks.adb | 256 +++++----- gcc/ada/debug.adb | 8 +- gcc/ada/einfo.adb | 1 + gcc/ada/einfo.ads | 4 - gcc/ada/exp_aggr.adb | 278 +++++++--- gcc/ada/exp_ch3.adb | 22 +- gcc/ada/exp_ch4.adb | 78 ++- gcc/ada/exp_ch6.adb | 28 +- gcc/ada/exp_spark.adb | 310 +++++++----- gcc/ada/exp_util.adb | 36 +- gcc/ada/exp_util.ads | 10 +- gcc/ada/freeze.adb | 32 ++ gcc/ada/lib-xref.ads | 1 - gcc/ada/libgnat/a-nbnbin.adb | 109 ++-- gcc/ada/libgnat/a-nbnbin.ads | 107 ++-- gcc/ada/libgnat/a-nbnbre.adb | 21 +- gcc/ada/libgnat/a-nbnbre.ads | 104 ++-- gcc/ada/libgnat/a-stoufo.adb | 34 +- gcc/ada/libgnat/a-stoufo.ads | 8 +- gcc/ada/libgnat/g-socket.adb | 40 +- gcc/ada/libgnat/s-bignum.adb | 141 ++++-- gcc/ada/libgnat/s-bignum.ads | 6 +- gcc/ada/libgnat/s-genbig.adb | 557 +++++++++++++-------- gcc/ada/libgnat/s-genbig.ads | 104 ++-- .../s-proinf.ads => libgnat/s-shabig.ads} | 57 ++- gcc/ada/osint-c.adb | 17 +- gcc/ada/osint.adb | 75 +-- gcc/ada/sem.adb | 6 +- gcc/ada/sem_aggr.adb | 55 +- gcc/ada/sem_aggr.ads | 1 + gcc/ada/sem_ch13.adb | 320 +++++++++++- gcc/ada/sem_ch13.ads | 11 + gcc/ada/sem_ch3.adb | 54 +- gcc/ada/sem_ch4.adb | 2 - gcc/ada/sem_ch6.adb | 6 +- gcc/ada/sem_ch8.adb | 38 +- gcc/ada/sem_prag.adb | 9 +- gcc/ada/sem_res.adb | 112 ++++- gcc/ada/sem_util.adb | 248 +++++---- gcc/ada/sem_util.ads | 5 + gcc/ada/snames.ads-tmpl | 9 + gcc/ada/sprint.adb | 1 + gcc/gimple-fold.c | 11 +- gcc/testsuite/gcc.dg/torture/pr96133.c | 16 + 46 files changed, 2230 insertions(+), 1125 deletions(-) copy gcc/ada/{libgnarl/s-proinf.ads => libgnat/s-shabig.ads} (57%) create mode 100644 gcc/testsuite/gcc.dg/torture/pr96133.c