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

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

from 1c46a541c69 PR 117048: simplify-rtx: Simplify (X << C1) [+,^] (X >> C2) [...] new c9328cb4b10 ada: Fix asymmetry in resolution of unary intrinsic operators new ccd17b28e9b ada: Resolve intrinsic operators without homonyms new 39e9ebac2f2 ada: Add null exclusion to avoid run-time checks new 625c4ec2b3d ada: Assignment local variable only when it is used new d797d051aab ada: Avoid run-time conversion of 0 from Int to Uint new 9c3b5ed02e8 ada: Minor whitespace tuning new 5990d3e7163 ada: Fix visibility of Taft amendment types new 74cdc0d5764 ada: Missing precondition runtime check in inherited primitive new e2f073947a3 ada: Correction to disable self-referential with_clauses new a0b57f6ff5c ada: Minor tweaks in comments new f6afd361c53 ada: Fix internal error on alignment clause for type declar [...] new e009d0c215c ada: Add doc for deep delta aggregates new 010cf71da79 ada: Move formal hash tables from gnat repository to the SP [...] new 758a95db8a9 ada: Fix alignment of pthread_mutex_t new 2825944ff0a ada: Refactor exception declarations from Interfaces.CHERI [...] new 0bebf55d4ef ada: Build and runtime support for CheriBSD new 047d6d9808b ada: Fix error message for pragma First_Controlling_Parameter new 0c8bdc2411b ada: Tweak CPU affinity handling new 8314fdc7f35 ada: Add Schema to the SARIF report new e6d88c00230 ada: Add Invocation node to the SARIF report new 7b96c617760 ada: CheriBSD: add SIGPROT handler new 81ffd5e413e ada: Add CHERI variant of full secondary stack allocator new 7c7a8d60881 ada: Missing runtime check in interpolated string new ecd8a5990f6 ada: Display message on reproducer generation failure new f0f7beae693 ada: Tweak description of new predicate new 420b9b99d67 ada: Update documentation for -gnatVxx switches new 4fbfd9e686e ada: Remove dead code in Resolve_Iterated_Component_Association new 56ea463808d ada: Propagate resolution status from Resolve_Iterated_Comp [...] new 7bcfdac0ef7 ada: Fix crash on default value with nested iterated compon [...] new 19367d7d8fb ada: Avoid unused with warning with Extend_System new 0935f20b635 ada: Initial implementation of Extended_Access aspect (FE p [...] new df3e6245ac6 ada: Improve Unbounded_String performance new c3df7a67053 ada: Improve performance of Unbounded_Wide_Wide_String new f6a8c07743d ada: Improve Unbounded_Wide_String performance new 16007e34ef4 ada: Split Library_Unit using multiple wrappers new bffba3d2d33 ada: Fix ancient typo in process_decls new 023a5dd187b ada: Remove special case for the size of a string literal subtype new 899b5be8b97 ada: Move special case for null string literal from fronten [...]

The 38 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 | 21 +- gcc/ada/adaint.c | 2 +- gcc/ada/aspects.ads | 5 + gcc/ada/comperr.adb | 3 +- gcc/ada/contracts.adb | 8 +- gcc/ada/diagnostics-sarif_emitter.adb | 95 ++++- gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 148 ++++++++ gcc/ada/einfo.ads | 24 +- gcc/ada/errout.adb | 3 +- gcc/ada/exp_aggr.ads | 3 +- gcc/ada/exp_ch2.adb | 72 +++- gcc/ada/exp_ch4.adb | 8 +- gcc/ada/exp_ch6.adb | 33 +- gcc/ada/exp_ch7.adb | 5 +- gcc/ada/exp_disp.adb | 4 +- gcc/ada/exp_unst.adb | 6 +- gcc/ada/exp_util.adb | 12 +- gcc/ada/exp_util.ads | 5 + gcc/ada/fe.h | 10 + gcc/ada/freeze.adb | 120 +++--- gcc/ada/gcc-interface/decl.cc | 22 +- gcc/ada/gcc-interface/trans.cc | 8 +- gcc/ada/gen_il-gen-gen_nodes.adb | 22 +- gcc/ada/gen_il-gen.adb | 9 + gcc/ada/gen_il-types.ads | 4 +- gcc/ada/gnat_rm.texi | 325 ++++++++++++---- gcc/ada/gnat_ugn.texi | 4 +- gcc/ada/inline.adb | 8 +- gcc/ada/lib-load.adb | 8 +- gcc/ada/lib-writ.adb | 17 +- gcc/ada/lib.adb | 22 +- ...{s-intman__posix.adb => s-intman__cheribsd.adb} | 40 +- gcc/ada/libgnarl/s-mudido__affinity.adb | 1 + ...-osinte__freebsd.ads => s-osinte__cheribsd.ads} | 41 +- gcc/ada/libgnarl/s-taprop__linux.adb | 27 +- gcc/ada/libgnarl/s-tarest.adb | 3 +- gcc/ada/libgnarl/s-taskin.adb | 12 +- gcc/ada/libgnarl/s-taskin.ads | 36 +- gcc/ada/libgnarl/s-tassta.adb | 3 +- gcc/ada/libgnarl/s-tporft.adb | 4 +- gcc/ada/libgnat/a-chtgfk.adb | 278 -------------- gcc/ada/libgnat/a-chtgfk.ads | 101 ----- gcc/ada/libgnat/a-chtgfo.adb | 413 --------------------- gcc/ada/libgnat/a-chtgfo.ads | 114 ------ gcc/ada/libgnat/a-cohata.ads | 19 - gcc/ada/libgnat/a-strunb__shared.adb | 165 +++++--- gcc/ada/libgnat/a-strunb__shared.ads | 18 +- gcc/ada/libgnat/a-stwiun__shared.adb | 164 +++++--- gcc/ada/libgnat/a-stwiun__shared.ads | 9 +- gcc/ada/libgnat/a-stzunb__shared.adb | 165 +++++--- gcc/ada/libgnat/a-stzunb__shared.ads | 12 +- .../{s-fatflt.ads => i-cheri-exceptions.ads} | 31 +- gcc/ada/libgnat/i-cheri.ads | 16 - gcc/ada/libgnat/i-cstrea.ads | 2 +- gcc/ada/libgnat/s-oslock__posix.ads | 7 +- .../libgnat/{s-secsta.adb => s-secsta__cheri.adb} | 86 ++++- gcc/ada/live.adb | 12 +- gcc/ada/par-load.adb | 35 +- gcc/ada/par-prag.adb | 1 + gcc/ada/rtsfind.adb | 10 +- gcc/ada/sem.adb | 38 +- gcc/ada/sem_aggr.adb | 39 +- gcc/ada/sem_attr.adb | 10 +- gcc/ada/sem_ch10.adb | 219 ++++++----- gcc/ada/sem_ch12.adb | 64 ++-- gcc/ada/sem_ch6.adb | 4 +- gcc/ada/sem_ch7.adb | 7 +- gcc/ada/sem_ch8.adb | 5 +- gcc/ada/sem_disp.adb | 7 + gcc/ada/sem_elab.adb | 31 +- gcc/ada/sem_prag.adb | 107 +++++- gcc/ada/sem_prag.ads | 1 + gcc/ada/sem_res.adb | 106 +++++- gcc/ada/sem_util.adb | 83 ++++- gcc/ada/sem_util.ads | 15 +- gcc/ada/sem_warn.adb | 11 +- gcc/ada/sinfo-utils.adb | 139 +++++++ gcc/ada/sinfo-utils.ads | 63 +++- gcc/ada/sinfo.ads | 66 ++-- gcc/ada/snames.ads-tmpl | 2 + gcc/ada/sysdep.c | 8 +- gcc/ada/usage.adb | 6 +- 82 files changed, 2225 insertions(+), 1667 deletions(-) copy gcc/ada/libgnarl/{s-intman__posix.adb => s-intman__cheribsd.adb} (91%) copy gcc/ada/libgnarl/{s-osinte__freebsd.ads => s-osinte__cheribsd.ads} (94%) delete mode 100644 gcc/ada/libgnat/a-chtgfk.adb delete mode 100644 gcc/ada/libgnat/a-chtgfk.ads delete mode 100644 gcc/ada/libgnat/a-chtgfo.adb delete mode 100644 gcc/ada/libgnat/a-chtgfo.ads copy gcc/ada/libgnat/{s-fatflt.ads => i-cheri-exceptions.ads} (74%) copy gcc/ada/libgnat/{s-secsta.adb => s-secsta__cheri.adb} (92%)