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

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

from fa1c2ec1bb5 RISC-V: Adjust stdint.h to stdint-gcc.h for rvv tests new c850b1a7dcd ada: Restore proof of System.Arith_Double new 3c09e25e2c9 ada: Trivial refactoring in Instantiate_*_Body new 04606c1229d ada: Set Loop_Variant assertion policy to Ignore in both new 24917325cef ada: Missing dependency with -gnatc new fd0f8d24866 ada: Add intermediate assertions for proof of Super_Tail new 913794b1cb7 ada: Simplify dramatically ghost code for proof of System.A [...] new b92d0c4564a ada: Change Present_Expr field type to Uint new 4b8f39b21e2 ada: Introduce Cannot_Be_Superflat flag on N_Range nodes new 05c1e15f9fa ada: Bad handling of ASCII with -gnatyn new 5c6e2616452 ada: Document examples of No_Dependence restriction for cod [...] new 66152ecdaeb ada: Get name from entity if that's what's passed to Subpro [...] new c637076413a ada: Build invariant procedure while freezing in GNATprove mode new ca4bff3a3d0 ada: Adjust semantics and implementation of storage models new 387e147cf51 ada: Fix typo in "pattern" new b54fd57a1b3 ada: Add tags on style messages new cbf64a80379 ada: Follow-up improvement to implementation of storage models new 6c0b94efaa8 ada: Enable Support_Atomic_Primitives on PPC Linux new 2ffa7a68401 ada: Fix Ada representation of r_debug and link_map types new 4803e348aa6 ada: usage.adb: document -gnatyD switch new b358f011bde ada: Apply range checks to preanalyzed aggregate expressions new b979a474167 ada: Spurious error on function returning CPP type new 072861beb9b ada: Spurious error analyzing 'old or 'result in class-wide [...] new bac7eb85ef0 ada: Implement inheritance of user-defined literal aspects [...] new 8ebdd443182 ada: Update proof of runtime units new 5f8a29bd348 ada: Fix internal error on chain of predicated record types new ae334957c7d ada: Fix internal error on 'Image applied to array component new 5fa02009e49 ada: Fix crash on iterated component in expression function new e07e6ea6924 ada: Fix missing warning on aggregate with iterated component new 9a70dce2788 ada: Use accumulator type in expansion of 'Reduce attribute new 45efdda3ff6 ada: Add "gnat --help-ada" text for new switches.

The 30 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 + ...ard_and_implementation_defined_restrictions.rst | 12 +- .../building_executable_programs_with_gnat.rst | 2 +- gcc/ada/errout.adb | 3 +- gcc/ada/errout.ads | 6 +- gcc/ada/erroutc.adb | 37 +- gcc/ada/exp_aggr.adb | 52 ++- gcc/ada/exp_attr.adb | 72 +++- gcc/ada/exp_ch4.adb | 72 ++-- gcc/ada/exp_ch5.adb | 58 ++- gcc/ada/exp_ch6.adb | 128 +++++- gcc/ada/exp_imgv.adb | 23 +- gcc/ada/exp_spark.adb | 54 ++- gcc/ada/exp_util.adb | 49 +++ gcc/ada/exp_util.ads | 12 + gcc/ada/freeze.adb | 14 +- gcc/ada/gen_il-fields.ads | 1 + gcc/ada/gen_il-gen-gen_nodes.adb | 5 +- gcc/ada/gnat1drv.adb | 22 +- gcc/ada/gnat_rm.texi | 33 +- gcc/ada/gnat_ugn.texi | 4 +- gcc/ada/libgnat/a-strsup.adb | 9 +- gcc/ada/libgnat/g-spipat.ads | 2 +- gcc/ada/libgnat/s-aridou.adb | 462 +++++---------------- gcc/ada/libgnat/s-aridou.ads | 12 +- gcc/ada/libgnat/s-arit32.adb | 33 +- gcc/ada/libgnat/{s-atopri.ads => s-atopri__32.ads} | 9 +- gcc/ada/libgnat/s-expmod.adb | 20 +- gcc/ada/libgnat/s-tsmona__linux.adb | 19 +- gcc/ada/libgnat/s-valueu.adb | 12 +- gcc/ada/libgnat/s-vauspe.ads | 3 +- gcc/ada/libgnat/s-widthi.adb | 6 +- gcc/ada/libgnat/system-linux-ppc.ads | 1 + gcc/ada/par-ch5.adb | 4 +- gcc/ada/par-ch6.adb | 2 +- gcc/ada/par-ch7.adb | 2 +- gcc/ada/par-endh.adb | 2 +- gcc/ada/par-util.adb | 4 +- gcc/ada/sem_attr.adb | 23 +- gcc/ada/sem_ch12.adb | 16 +- gcc/ada/sem_ch13.adb | 27 +- gcc/ada/sem_ch5.adb | 9 +- gcc/ada/sem_res.adb | 1 - gcc/ada/sem_util.adb | 60 ++- gcc/ada/sem_util.ads | 6 +- gcc/ada/sinfo.ads | 11 +- gcc/ada/snames.ads-tmpl | 1 + gcc/ada/style.adb | 23 +- gcc/ada/styleg.adb | 59 +-- gcc/ada/usage.adb | 5 + 50 files changed, 859 insertions(+), 644 deletions(-) copy gcc/ada/libgnat/{s-atopri.ads => s-atopri__32.ads} (95%)