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

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

from 7d02c8bf759 [PR103437] Use long long multiplication as backup for overf [...] new 0ef5185a155 [Ada] Minor style fix (no dot on single line comment) new 261d367a101 [Ada] Fix possible memory corruption for hostnames longer t [...] new 6df3ec0e7e0 [Ada] Proof of Boolean'Image and Boolean'Value new 40b180995ab [Ada] Proof of System.Val_Util utilities for 'Value support new 45be7610383 [Ada] More intuitive names in sanity-checking of derived types new 7e650bf84bf [Ada] Add contract to Ada.Task_Identification.Activation_Is [...] new 76bbe3972ba [Ada] Proof of Interfaces.C with SPARK new 28acd56a7a6 [Ada] vx7r2cert/light-tasking-rtp: undefined refs on ppc/ppc64 new e2e877266de [Ada] Remove duplicated condition in warnings about read-be [...] new 1fde9333dc3 [Ada] Refactor nested loops in warning on unassigned out parameter new ea7f9e05302 [Ada] Simplify iteration over record components new eccc7c8cbfd [Ada] Don't allow entry in implicit with chain to be ghost new d43fbe0151b [Ada] Remove extra space after assignment symbol new a83c4eea271 [Ada] Split spec and body of expression function with Subpr [...] new 5ae5ba7ab10 [Ada] Separate building of equality from other dispatching [...] new eca89ac6e73 [Ada] Enable expansion of dispatching equality for GNATprove new 8decef40009 [Ada] Enhance freezing code for instantiations new aa937f2cdb8 [Ada] Inline all calls in Ada.Task_Identification new b045f2f2205 [Ada] Use bracket aggregates in Ada2022 new ec9c3bd5d2d [Ada] Cleanups related to expansion of dispatching primitives new e4b5ab01946 [Ada] Cleanup insertion of single freezing actions new 167be0845e5 [Ada] Cleanup detection of suspension objects new 3a54dfa801a [Ada] Proof of support units for 'Width on signed integers new ce79e7e24ac [Ada] Add pragma Annotate for CodePeer analysis new b3f89a45100 [Ada] Amend proof of System.Arith_Double to remove justifications new 5a35fe64c7a [Ada] Fix obsolete array aggregate warning being triggered [...] new 544b30f81e5 [Ada] Reset internal flags for -gnatD and -gnatG new b5e57389c51 [Ada] Proof of System.Arith_32 for double arithmetic on 32bits new 298339effd4 [Ada] Fix oversight in minor cleanup new 9e10b7002ac [Ada] Invalid memory access on finalization of class-wide type new 5a11ffadf58 [Ada] Fix packing for array component with discriminated part new 31a6895f4c2 [Ada] Do not back-annotate maximum size for limited types new 96d9ca7053c [Ada] Remove obsolete a-assert new c9dd01314d8 [Ada] Add warning in comment about files copied from libgnat

The 34 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 | 2 +- gcc/ada/contracts.adb | 2 - ...ard_and_implementation_defined_restrictions.rst | 2 +- gcc/ada/exp_aggr.adb | 12 +- gcc/ada/exp_ch13.adb | 2 +- gcc/ada/exp_ch13.ads | 3 + gcc/ada/exp_ch3.adb | 374 ++++++++-------- gcc/ada/exp_ch3.ads | 28 ++ gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_imgv.adb | 3 +- gcc/ada/exp_spark.adb | 289 ++++++++++++- gcc/ada/exp_util.adb | 1 - gcc/ada/freeze.adb | 11 +- gcc/ada/gcc-interface/Make-lang.in | 4 + gcc/ada/gcc-interface/a-assert.adb | 52 --- gcc/ada/gcc-interface/a-assert.ads | 50 --- gcc/ada/gcc-interface/decl.c | 26 +- gcc/ada/gcc-interface/gigi.h | 7 +- gcc/ada/gcc-interface/trans.c | 30 +- gcc/ada/gcc-interface/utils.c | 17 +- gcc/ada/gen_il-fields.ads | 2 + gcc/ada/gen_il-gen-gen_nodes.adb | 2 + gcc/ada/gen_il-gen.adb | 6 +- gcc/ada/gnat_rm.texi | 2 +- gcc/ada/libgnarl/a-taside.ads | 2 + gcc/ada/libgnarl/s-interr.adb | 12 +- gcc/ada/libgnarl/s-intman.ads | 4 +- gcc/ada/libgnarl/s-intman__posix.adb | 6 +- gcc/ada/libgnarl/s-mudido__affinity.adb | 6 +- gcc/ada/libgnarl/s-osinte__linux.ads | 8 +- gcc/ada/libgnarl/s-taprop__linux.adb | 8 +- gcc/ada/libgnarl/s-tasdeb.adb | 2 +- gcc/ada/libgnarl/s-tasdeb.ads | 2 +- gcc/ada/libgnarl/s-tasinf__linux.ads | 4 +- gcc/ada/libgnarl/s-taskin.adb | 2 +- gcc/ada/libgnarl/s-taskin.ads | 2 +- gcc/ada/libgnarl/s-tasren.adb | 16 +- gcc/ada/libgnarl/s-tassta.adb | 2 +- gcc/ada/libgnarl/s-tataat.adb | 2 +- gcc/ada/libgnarl/s-tpobop.adb | 12 +- gcc/ada/libgnat/a-calend.adb | 6 +- gcc/ada/libgnat/a-calend.ads | 2 +- gcc/ada/libgnat/a-cfinve.adb | 4 +- gcc/ada/libgnat/a-chahan.adb | 4 +- gcc/ada/libgnat/a-chtgbo.adb | 2 +- gcc/ada/libgnat/a-cobove.adb | 8 +- gcc/ada/libgnat/a-cofove.adb | 4 +- gcc/ada/libgnat/a-cohata.ads | 2 +- gcc/ada/libgnat/a-coinve.adb | 6 +- gcc/ada/libgnat/a-convec.adb | 12 +- gcc/ada/libgnat/a-coprnu.ads | 4 +- gcc/ada/libgnat/a-direct.adb | 14 +- gcc/ada/libgnat/a-direct.ads | 4 +- gcc/ada/libgnat/a-direio.adb | 2 +- gcc/ada/libgnat/a-nbnbre.adb | 10 +- gcc/ada/libgnat/a-ngrear.adb | 4 +- gcc/ada/libgnat/a-stbubo.adb | 6 +- gcc/ada/libgnat/a-stbufo.adb | 2 +- gcc/ada/libgnat/a-stbuun.adb | 6 +- gcc/ada/libgnat/a-stbuut.adb | 8 +- gcc/ada/libgnat/a-stmaco.ads | 44 +- gcc/ada/libgnat/a-strbou.ads | 38 +- gcc/ada/libgnat/a-strfix.ads | 6 +- gcc/ada/libgnat/a-strmap.adb | 4 +- gcc/ada/libgnat/a-strmap.ads | 2 +- gcc/ada/libgnat/a-strsup.adb | 36 +- gcc/ada/libgnat/a-strsup.ads | 36 +- gcc/ada/libgnat/a-sttebu.adb | 4 +- gcc/ada/libgnat/a-stuten.ads | 2 +- gcc/ada/libgnat/a-stwibo.ads | 4 +- gcc/ada/libgnat/a-stwima.ads | 3 +- gcc/ada/libgnat/a-stwisu.adb | 32 +- gcc/ada/libgnat/a-stzbou.ads | 6 +- gcc/ada/libgnat/a-stzmap.ads | 3 +- gcc/ada/libgnat/a-stzsup.adb | 32 +- gcc/ada/libgnat/a-swmwco.ads | 60 +-- gcc/ada/libgnat/a-szmzco.ads | 60 +-- gcc/ada/libgnat/a-teioed.adb | 4 +- gcc/ada/libgnat/a-wtedit.adb | 4 +- gcc/ada/libgnat/a-ztedit.adb | 4 +- gcc/ada/libgnat/g-arrspl.adb | 16 +- gcc/ada/libgnat/g-catiio.adb | 4 +- gcc/ada/libgnat/g-cgideb.adb | 4 +- gcc/ada/libgnat/g-comlin.adb | 8 +- gcc/ada/libgnat/g-comlin.ads | 4 +- gcc/ada/libgnat/g-debpoo.adb | 4 +- gcc/ada/libgnat/g-expect.adb | 10 +- gcc/ada/libgnat/g-forstr.adb | 6 +- gcc/ada/libgnat/g-memdum.adb | 4 +- gcc/ada/libgnat/g-rannum.adb | 2 +- gcc/ada/libgnat/g-sechas.adb | 6 +- gcc/ada/libgnat/g-sehamd.ads | 2 +- gcc/ada/libgnat/g-sehash.ads | 4 +- gcc/ada/libgnat/g-sercom.ads | 4 +- gcc/ada/libgnat/g-sercom__linux.adb | 12 +- gcc/ada/libgnat/g-shsh32.ads | 12 +- gcc/ada/libgnat/g-shsh64.ads | 12 +- gcc/ada/libgnat/g-socket.adb | 30 +- gcc/ada/libgnat/g-socket.ads | 40 +- gcc/ada/libgnat/g-socpol.adb | 16 +- gcc/ada/libgnat/g-socpol.ads | 8 +- gcc/ada/libgnat/g-sothco.ads | 12 +- gcc/ada/libgnat/g-spipat.adb | 4 +- gcc/ada/libgnat/i-c.adb | 472 +++++++++++++++++++-- gcc/ada/libgnat/i-c.ads | 420 ++++++++++++++++-- gcc/ada/libgnat/i-cobol.ads | 8 +- gcc/ada/libgnat/i-pacdec.adb | 4 +- gcc/ada/libgnat/i-pacdec.ads | 4 +- gcc/ada/libgnat/s-aridou.adb | 243 ++++++++--- gcc/ada/libgnat/s-arit32.adb | 449 +++++++++++++++++++- gcc/ada/libgnat/s-arit32.ads | 68 ++- gcc/ada/libgnat/s-arit64.ads | 3 +- gcc/ada/libgnat/s-bitops.adb | 4 +- gcc/ada/libgnat/s-crc32.adb | 4 +- gcc/ada/libgnat/s-gearop.adb | 4 +- gcc/ada/libgnat/s-genbig.adb | 30 +- gcc/ada/libgnat/s-htable.adb | 2 +- gcc/ada/libgnat/s-imgboo.adb | 12 +- gcc/ada/libgnat/s-imgboo.ads | 26 +- gcc/ada/libgnat/s-imgcha.adb | 8 +- gcc/ada/libgnat/s-os_lib.adb | 2 - gcc/ada/libgnat/s-powflt.ads | 42 +- gcc/ada/libgnat/s-powlfl.ads | 90 ++-- gcc/ada/libgnat/s-powllf.ads | 110 ++--- gcc/ada/libgnat/s-rannum.adb | 14 +- gcc/ada/libgnat/s-rannum.ads | 2 +- gcc/ada/libgnat/s-regexp.adb | 24 +- gcc/ada/libgnat/s-regpat.adb | 20 +- gcc/ada/libgnat/s-regpat.ads | 4 +- gcc/ada/libgnat/s-scaval__128.adb | 8 +- gcc/ada/libgnat/s-statxd.adb | 22 +- gcc/ada/libgnat/s-stausa.adb | 12 +- gcc/ada/libgnat/s-strops.adb | 2 +- gcc/ada/libgnat/s-valboo.adb | 18 +- gcc/ada/libgnat/s-valboo.ads | 54 ++- gcc/ada/libgnat/s-valrea.adb | 12 +- gcc/ada/libgnat/s-valuer.adb | 5 +- gcc/ada/libgnat/s-valueu.adb | 2 +- gcc/ada/libgnat/s-valuti.adb | 166 ++++++-- gcc/ada/libgnat/s-valuti.ads | 265 +++++++++++- gcc/ada/libgnat/s-wchcon.ads | 8 +- gcc/ada/libgnat/s-widint.ads | 15 +- gcc/ada/libgnat/s-widlli.ads | 15 +- gcc/ada/libgnat/s-widllli.ads | 15 +- gcc/ada/libgnat/s-widlllu.ads | 11 + gcc/ada/libgnat/s-widllu.ads | 11 + gcc/ada/libgnat/s-widthi.adb | 133 ++++++ gcc/ada/libgnat/s-widthi.ads | 7 +- gcc/ada/libgnat/s-widthu.adb | 54 ++- gcc/ada/libgnat/s-widthu.ads | 7 +- gcc/ada/libgnat/s-widuns.ads | 11 + gcc/ada/par-ch4.adb | 6 +- gcc/ada/rtsfind.adb | 14 +- gcc/ada/rtsfind.ads | 2 + gcc/ada/scng.adb | 4 +- gcc/ada/sem_aggr.adb | 24 +- gcc/ada/sem_ch12.adb | 276 ++++++------ gcc/ada/sem_ch13.adb | 28 +- gcc/ada/sem_ch3.adb | 51 ++- gcc/ada/sem_ch6.adb | 4 +- gcc/ada/sem_ch8.adb | 1 - gcc/ada/sem_util.adb | 41 +- gcc/ada/sem_util.ads | 6 +- gcc/ada/sem_warn.adb | 69 ++- gcc/ada/snames.ads-tmpl | 1 - gcc/ada/sprint.adb | 5 + ...ink.spec => vxworks7-cert-rtp-link__ppcXX.spec} | 2 +- 167 files changed, 3745 insertions(+), 1448 deletions(-) delete mode 100644 gcc/ada/gcc-interface/a-assert.adb delete mode 100644 gcc/ada/gcc-interface/a-assert.ads copy gcc/ada/{vxworks7-cert-rtp-link.spec => vxworks7-cert-rtp-link__ppcXX.spec} (91%)