This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 37bf13adcda tree-optimization/118669 - fixup wrongly aligned loads/stores new 0ef4195c17f ada: Use consistent truncation of 'Value for decimal fixed- [...] new 35827ca717e ada: Fix ALI elaboration flags for ghost compilation units (cont.) new 5c89023f16b ada: Support Potentially_Invalid aspect in the frontend new 6f5035b0d71 ada: Fix wrong conversion of controlled array with represen [...] new 38d77476147 ada: Fix index bounds check in Super_Delete functions and p [...] new 613e8bafecd ada: Document restriction on array length new 0fb0140c2ec ada: Fix SPARK context discovery from within subunits new fe1e262fa75 ada: Call Semantics when analyzing a renamed package new d02dfbfa3f1 ada: Remove Empty_Or_Error new 80a68f555b2 ada: Correct documentation of policy_identifiers for Assert [...] new 198afd76a1c ada: Remove unnecessary "return;" statements new ef439d213b7 ada: Fix assertion failure on finalizable aggregate new ef1727e34c7 ada: Fix comment new b2dcb85380b ada: Fix spurious Constraint_Error raised by 'Value of fixe [...] new 2bf031a5ac1 ada: Cleanup in type support subprograms code new f9be32c8148 ada: Fix comment new 8f5a2b59a8e ada: Enforce visibility of unit used as a parent instance o [...] new bf9080aec77 ada: Fix typo in comment new afb644eed3c ada: Fix crash with Finalizable in corner case new 42f984411bf ada: Remove a couple of redundant calls to Set_Etype new a6e7dffdd1f ada: Refine subtypes in task-counting code new 9631219c6aa ada: Fix crash with Finalizable in corner case new c52c0b0e908 ada: Remove redundant nested aggregates from diagnostics code new ee384af77c0 ada: Turn diagnostic object from variable to constant new caa6ba604ca ada: Fix minor fallout of latest change new c58ef269c7a ada: Fix node copy with functions as actual parameters in d [...] new 93d5053b1f3 ada: Fix strange holes for type with variant part reported [...] new 29c0ace8b2d ada: Fix constraint-related legality checks in extended ret [...] new f5bacaa3dd8 ada: Adjust message about statically compatible result subtype new 2aa9e4a4a43 ada: Improve retrieval of nominal unconstrained type in ext [...] new 42225526666 ada: Improve retrieval of nominal unconstrained type in ext [...] new d22a59c2518 ada: Port System.Stack_Usage to CHERI new 448e857b977 ada: Fix missing finalization with conditional expression i [...] new 6e22849641d ada: Make comment more precise new 06c077d97a1 ada: Refine sanity check in Insert_Actions new aada6d75fe6 ada: More Tbuild cleanup new 251dab8bc9a ada: Fix check for elaboration order on subprogram body stubs new fd092906db6 ada: Fix missing error on too large Component_Size not mult [...] new 546ca0115de ada: Fix wrong finalization of constrained subtype of uncon [...] new 802efae1403 ada: Fix alignment violation for mix of aligned and misalig [...] new 8fe64e4d9cd ada: Enforce alignment constraint for large Object_Size clauses new 3d407337116 ada: Fix poor code generated for return of Out parameter wi [...]
The 42 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 | 13 +- gcc/ada/atree.adb | 7 +- gcc/ada/checks.adb | 10 +- .../doc/gnat_rm/implementation_defined_aspects.rst | 8 + .../implementation_defined_characteristics.rst | 2 +- gcc/ada/errid.adb | 3 +- gcc/ada/errid.ads | 9 +- gcc/ada/erroutc-pretty_emitter.adb | 2 +- gcc/ada/erroutc-pretty_emitter.ads | 2 +- gcc/ada/erroutc-sarif_emitter.adb | 2 +- gcc/ada/erroutc-sarif_emitter.ads | 3 +- gcc/ada/errsw.adb | 5 +- gcc/ada/errsw.ads | 3 +- gcc/ada/eval_fat.adb | 2 - gcc/ada/exp_aggr.adb | 25 +- gcc/ada/exp_attr.adb | 2 +- gcc/ada/exp_ch3.adb | 28 +- gcc/ada/exp_ch4.adb | 40 +- gcc/ada/exp_ch5.adb | 4 +- gcc/ada/exp_ch6.adb | 18 +- gcc/ada/exp_ch7.adb | 28 +- gcc/ada/exp_imgv.adb | 9 +- gcc/ada/exp_tss.adb | 10 +- gcc/ada/exp_unst.adb | 2 - gcc/ada/exp_util.adb | 22 +- gcc/ada/gcc-interface/decl.cc | 37 +- gcc/ada/gcc-interface/trans.cc | 79 +- gcc/ada/gen_il-gen-gen_nodes.adb | 7 +- gcc/ada/gnat_rm.texi | 1196 ++++++++++---------- gcc/ada/gnat_ugn.texi | 2 +- gcc/ada/json_utils.adb | 2 +- gcc/ada/json_utils.ads | 3 +- gcc/ada/krunch.adb | 2 - gcc/ada/layout.adb | 4 +- gcc/ada/lib-xref-spark_specific.adb | 7 + gcc/ada/lib.adb | 4 +- gcc/ada/lib.ads | 2 +- gcc/ada/libgnarl/s-tassta.adb | 18 +- .../s-stache.adb => libgnarl/s-tsgsba.adb} | 16 +- .../{s-intman__dummy.adb => s-tsgsba__cheri.adb} | 30 +- gcc/ada/libgnat/a-strsup.adb | 4 +- gcc/ada/libgnat/a-stwisu.adb | 4 +- gcc/ada/libgnat/a-stzsup.adb | 4 +- gcc/ada/libgnat/a-tifiio.adb | 6 - gcc/ada/libgnat/a-tifiio__128.adb | 9 - gcc/ada/libgnat/a-wtfiio.adb | 6 - gcc/ada/libgnat/a-wtfiio__128.adb | 9 - gcc/ada/libgnat/a-ztfiio.adb | 6 - gcc/ada/libgnat/a-ztfiio__128.adb | 9 - gcc/ada/libgnat/i-cstrin.ads | 11 + gcc/ada/libgnat/s-excdeb.adb | 2 +- gcc/ada/libgnat/s-stausa.adb | 41 +- gcc/ada/libgnat/s-stausa.ads | 8 +- gcc/ada/libgnat/s-trasym__dwarf.adb | 2 +- gcc/ada/libgnat/s-valued.adb | 4 +- gcc/ada/libgnat/s-valuef.adb | 16 +- gcc/ada/par-endh.adb | 6 +- gcc/ada/par-tchk.adb | 1 - gcc/ada/repinfo.adb | 14 +- gcc/ada/sem.adb | 3 - gcc/ada/sem_attr.adb | 6 +- gcc/ada/sem_ch10.adb | 6 +- gcc/ada/sem_ch12.adb | 76 +- gcc/ada/sem_ch13.adb | 271 +++++ gcc/ada/sem_ch13.ads | 3 +- gcc/ada/sem_ch3.adb | 23 +- gcc/ada/sem_ch6.adb | 1 - gcc/ada/sem_disp.adb | 3 +- gcc/ada/sem_elab.adb | 10 +- gcc/ada/sem_elim.adb | 2 - gcc/ada/sem_eval.adb | 1 - gcc/ada/sem_util.adb | 153 ++- gcc/ada/sem_util.ads | 6 + gcc/ada/sfn_scan.adb | 2 - gcc/ada/snames.ads-tmpl | 1 + gcc/ada/tbuild.adb | 6 +- gcc/ada/treepr.adb | 13 +- gcc/ada/types.ads | 5 - 79 files changed, 1472 insertions(+), 950 deletions(-) copy gcc/ada/{libgnat/s-stache.adb => libgnarl/s-tsgsba.adb} (80%) copy gcc/ada/libgnarl/{s-intman__dummy.adb => s-tsgsba__cheri.adb} (73%)