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

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

from a7a9b7badc0 match.pd: Add missing type check to reduc(ctor) pattern [PR121772] new 78551d9e13a ada: Fix documentation of Is_Ancestor_Package new 33876c5ea8b ada: Disable ghost context checks before context is set new 062aeef4449 ada: Add `Set_[Wide_]Wide_String` subprograms to auxiliary [...] new 90997ddd7b8 ada: Fix code generation when there is no No_Finalization r [...] new 2c596157046 ada: Don't generate call of `System.Standard_Library.Adafinal` new f915b22580e ada: Recommend GPR's Toolchain_Name for GNAT LLVM more prominently new 18f0f8024c6 ada: Remove the note that GNAT LLVM doesn't ship the light runtime new 99019f23a19 ada: Improve ghost region creation for pragmas new 8a787f3e441 ada: Implement Super aspect and improve implementation of r [...] new dcaabdd2daa ada: Avoid ghost context check in early freeze new e2aab9ab8b3 ada: Fix section of Finalizable extension in GNAT RM new c7ef48f2be5 ada: Fix missing finalization for qualified expression in c [...] new fa714c16d45 ada: Fix crash on iterator of type with Constant_Indexing aspect new bc4f29a1912 ada: Add System.C_Time and GNAT.C_Time units to libgnat new ff94323051f ada: Fix the condition of ghost level dependencies inside a [...] new 6657536db09 ada: Refactor ghost argument consistency checks new 9c79e191c09 ada: Update ghost code SPARK RM rules new 6cca06865a8 ada: Remove checks for the old rule 20 new 89b4aa18ca5 ada: Fix ghost condition for level dependencies for assignments new 33f64b23787 ada: Add Assertion_Policy checks for assertion levels new 800363a1bc5 ada: C_Pass_By_Copy convention incorrectly ignored new dde7f4252e3 ada: Match assertion levels by name new e8de2889065 ada: Avoid ghost context errors when preanalyzing Loop_Invariant new 696dc21be23 ada: Document hardening features not supported by LLVM new 10cddb6ca47 ada: Fix wrong finalization of aliased array of bounded vector new 91b51fc42b1 ada: Remove dependence on secondary stack for type with con [...] new de0ae1b5103 ada: Fix internal error on aspect in complex object declaration

The 27 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 | 15 +- gcc/ada/aspects.ads | 9 +- gcc/ada/atree.adb | 2 + gcc/ada/bindgen.adb | 13 +- gcc/ada/cal.c | 74 -- gcc/ada/checks.adb | 15 +- gcc/ada/contracts.adb | 4 +- gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 262 +++---- .../doc/gnat_rm/security_hardening_features.rst | 2 + gcc/ada/doc/gnat_rm/the_gnat_library.rst | 14 +- .../building_executable_programs_with_gnat.rst | 29 +- gcc/ada/exp_aggr.adb | 4 +- gcc/ada/exp_attr.adb | 324 +-------- gcc/ada/exp_ch3.adb | 79 ++- gcc/ada/exp_ch3.ads | 27 + gcc/ada/exp_ch4.adb | 6 +- gcc/ada/exp_ch6.adb | 363 +++++++++- gcc/ada/exp_ch6.ads | 6 +- gcc/ada/exp_ch7.adb | 20 +- gcc/ada/exp_util.adb | 42 +- gcc/ada/exp_util.ads | 4 + gcc/ada/freeze.adb | 28 +- gcc/ada/gcc-interface/trans.cc | 30 +- gcc/ada/gen_il-fields.ads | 1 + gcc/ada/gen_il-gen-gen_entities.adb | 1 + gcc/ada/ghost.adb | 255 +++---- gcc/ada/ghost.ads | 10 +- gcc/ada/gnat_rm.texi | 766 +++++++++++---------- gcc/ada/gnat_ugn.texi | 30 +- gcc/ada/impunit.adb | 1 + gcc/ada/libgnarl/a-exetim__posix.adb | 9 +- gcc/ada/libgnarl/s-linux.ads | 17 - gcc/ada/libgnarl/s-linux__alpha.ads | 17 - gcc/ada/libgnarl/s-linux__android-aarch64.ads | 17 - gcc/ada/libgnarl/s-linux__android-arm.ads | 17 - gcc/ada/libgnarl/s-linux__hppa.ads | 17 - gcc/ada/libgnarl/s-linux__loongarch.ads | 18 - gcc/ada/libgnarl/s-linux__mips.ads | 22 +- gcc/ada/libgnarl/s-linux__riscv.ads | 22 +- gcc/ada/libgnarl/s-linux__sparc.ads | 17 - gcc/ada/libgnarl/s-linux__x32.ads | 133 ---- gcc/ada/libgnarl/s-osinte__aix.adb | 32 - gcc/ada/libgnarl/s-osinte__aix.ads | 25 +- gcc/ada/libgnarl/s-osinte__android.adb | 74 -- gcc/ada/libgnarl/s-osinte__android.ads | 25 +- gcc/ada/libgnarl/s-osinte__cheribsd.ads | 27 +- gcc/ada/libgnarl/s-osinte__darwin.adb | 61 +- gcc/ada/libgnarl/s-osinte__darwin.ads | 25 +- gcc/ada/libgnarl/s-osinte__dragonfly.adb | 33 - gcc/ada/libgnarl/s-osinte__dragonfly.ads | 27 +- gcc/ada/libgnarl/s-osinte__freebsd.adb | 32 - gcc/ada/libgnarl/s-osinte__freebsd.ads | 27 +- gcc/ada/libgnarl/s-osinte__gnu.adb | 33 - gcc/ada/libgnarl/s-osinte__gnu.ads | 27 +- gcc/ada/libgnarl/s-osinte__hpux.ads | 25 +- gcc/ada/libgnarl/s-osinte__kfreebsd-gnu.ads | 27 +- gcc/ada/libgnarl/s-osinte__linux.ads | 18 +- gcc/ada/libgnarl/s-osinte__lynxos178.adb | 32 - gcc/ada/libgnarl/s-osinte__lynxos178e.ads | 35 +- gcc/ada/libgnarl/s-osinte__posix.adb | 34 +- gcc/ada/libgnarl/s-osinte__qnx.adb | 34 +- gcc/ada/libgnarl/s-osinte__qnx.ads | 25 +- gcc/ada/libgnarl/s-osinte__rtems.adb | 30 - gcc/ada/libgnarl/s-osinte__rtems.ads | 29 +- gcc/ada/libgnarl/s-osinte__solaris.adb | 34 - gcc/ada/libgnarl/s-osinte__solaris.ads | 25 +- gcc/ada/libgnarl/s-osinte__vxworks.adb | 32 - gcc/ada/libgnarl/s-osinte__vxworks.ads | 28 +- gcc/ada/libgnarl/s-osinte__x32.adb | 35 +- gcc/ada/libgnarl/s-qnx.ads | 18 - gcc/ada/libgnarl/s-taprop__solaris.adb | 17 +- gcc/ada/libgnarl/s-taprop__vxworks.adb | 5 +- gcc/ada/libgnarl/s-tpopmo.adb | 18 +- gcc/ada/libgnat/a-swunau.adb | 13 + gcc/ada/libgnat/a-swunau.ads | 8 + gcc/ada/libgnat/a-swunau__shared.adb | 26 + gcc/ada/libgnat/a-szunau.adb | 13 + gcc/ada/libgnat/a-szunau.ads | 8 + gcc/ada/libgnat/a-szunau__shared.adb | 26 + gcc/ada/libgnat/{g-flocon.ads => g-c_time.ads} | 14 +- gcc/ada/libgnat/g-calend.adb | 61 +- gcc/ada/libgnat/g-calend.ads | 25 +- gcc/ada/libgnat/g-socket.adb | 78 +-- gcc/ada/libgnat/g-socthi.adb | 4 +- gcc/ada/libgnat/g-socthi__vxworks.adb | 4 +- gcc/ada/libgnat/g-sothco.ads | 34 +- gcc/ada/libgnat/g-spogwa.adb | 11 +- gcc/ada/libgnat/s-c_time.adb | 203 ++++++ gcc/ada/libgnat/s-c_time.ads | 93 +++ gcc/ada/libgnat/s-optide.adb | 11 +- gcc/ada/libgnat/s-os_lib.adb | 6 +- gcc/ada/libgnat/s-os_lib.ads | 29 +- gcc/ada/libgnat/s-osprim__darwin.adb | 62 +- gcc/ada/libgnat/s-osprim__posix.adb | 69 +- gcc/ada/libgnat/s-osprim__posix2008.adb | 52 +- gcc/ada/libgnat/s-osprim__rtems.adb | 71 +- gcc/ada/libgnat/s-osprim__solaris.adb | 126 ---- gcc/ada/libgnat/s-osprim__unix.adb | 29 +- gcc/ada/libgnat/s-osprim__x32.adb | 170 ----- gcc/ada/libgnat/s-parame.ads | 7 - gcc/ada/libgnat/s-parame__hpux.ads | 7 - gcc/ada/libgnat/s-parame__posix2008.ads | 189 ----- gcc/ada/libgnat/s-parame__vxworks.ads | 15 - gcc/ada/opt.ads | 6 + gcc/ada/s-oscons-tmplt.c | 11 + gcc/ada/sem.ads | 12 + gcc/ada/sem_attr.adb | 4 +- gcc/ada/sem_ch12.adb | 10 +- gcc/ada/sem_ch13.adb | 109 ++- gcc/ada/sem_ch3.adb | 9 +- gcc/ada/sem_ch6.adb | 23 +- gcc/ada/sem_prag.adb | 411 ++++++----- gcc/ada/sem_prag.ads | 1 + gcc/ada/sem_res.adb | 2 +- gcc/ada/sem_util.adb | 8 +- gcc/ada/sem_util.ads | 2 +- 116 files changed, 2292 insertions(+), 3471 deletions(-) delete mode 100644 gcc/ada/cal.c delete mode 100644 gcc/ada/libgnarl/s-linux__x32.ads delete mode 100644 gcc/ada/libgnarl/s-osinte__android.adb copy gcc/ada/libgnat/{g-flocon.ads => g-c_time.ads} (84%) create mode 100644 gcc/ada/libgnat/s-c_time.adb create mode 100644 gcc/ada/libgnat/s-c_time.ads delete mode 100644 gcc/ada/libgnat/s-osprim__solaris.adb delete mode 100644 gcc/ada/libgnat/s-osprim__x32.adb delete mode 100644 gcc/ada/libgnat/s-parame__posix2008.ads