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

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

from e90791e5a02 aarch64: PR target/99195 annotate vector compare patterns f [...] new f04dae64111 ada: Fix link to parent when copying with Copy_Separate_Tree new bc60b3c3508 ada: Fix Unchecked_Conversion in edge case new 983f4eff259 ada: Reject attribute Initialize on unchecked unions new 468a053530f ada: Skip dynamic interface conversion under native runtime new a92397f05de ada: GNAT UGN: Add section documenting PIE being enabled by [...] new b7d26cb1fe3 ada: INOX: prototype RFC on String Interpolation new c9ed0840840 ada: Allow pragmas Annotate between loop pragmas new f959a78b0d2 ada: Fix proof of runtime unit System.Value* new a372273b63b ada: Fix invalid JSON for extended variant record with -gnatRj new 0f7d8f2f669 ada: Fix handling of pragma Warnings (Toolname, Off/On) new b4509d19601 ada: Add Check_Error_Detected before "raise Bad_Attribute" new 4b7373ea32e ada: Optimize 2**N to avoid explicit 'if' in modular case new f571a20192d ada: Fix minor documentation formatting issue new 83a0b4e7e34 ada: Improve check of attribute reference new a1f35b49196 ada: Update comment after SPARK RM change new a3594ab9646 ada: Emit warnings for (some) ineffective static predicate tests new 4590d973dd6 ada: Accept aggregates with OTHERS clause in unchecked type [...] new 78de6f03ca3 ada: Simplify lookup of predecessor in homonym chain new 1f068a17811 ada: Remove redundant protection against empty lists new 0ca7fcf5635 ada: Fix internal error on instance in package body with -gnatn new d2a1dcf72f7 ada: Clean up vanishing entity fields new 51e8f41212c ada: Improve comment on First_Entity new ade343e6694 ada: Remove duplicated code in Proc_Next_Component_Or_Discriminant new 0ec72fa3db1 ada: Fix formatting inconsistency in User's Guide new d41df0366e6 ada: Use Inline aspect instead of pragma in Einfo.Utils new 2b38d009954 ada: Fix comment related to inlining new 75fb45f0692 ada: Recover proof of Interfaces.C for termination new a398b5479c9 ada: Recover proof of runtime units new 9c213cb8671 ada: Add annotations for proof of termination of runtime units new 8d1c1b02d6e ada: Fix typo in comment

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/atree.adb | 141 ++++++- gcc/ada/atree.ads | 8 + .../implementation_defined_characteristics.rst | 6 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 63 +++ .../building_executable_programs_with_gnat.rst | 21 + gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 4 +- .../doc/gnat_ugn/platform_specific_information.rst | 42 ++ gcc/ada/einfo-utils.adb | 49 ++- gcc/ada/einfo-utils.ads | 436 ++++++++------------- gcc/ada/einfo.ads | 32 +- gcc/ada/exp_ch3.adb | 2 +- gcc/ada/exp_ch4.adb | 131 ++----- gcc/ada/exp_ch5.adb | 12 + gcc/ada/exp_disp.adb | 98 ++++- gcc/ada/gcc-interface/Make-lang.in | 2 + gcc/ada/gen_il-gen-gen_entities.adb | 45 +-- gcc/ada/gnat-style.texi | 6 +- gcc/ada/gnat_rm.texi | 168 +++++++- gcc/ada/gnat_ugn.texi | 287 +++++++++----- gcc/ada/libgnat/a-strbou.ads | 6 + gcc/ada/libgnat/a-strfix.adb | 12 + gcc/ada/libgnat/a-strfix.ads | 6 + gcc/ada/libgnat/a-strsea.adb | 18 + gcc/ada/libgnat/a-strsea.ads | 3 + gcc/ada/libgnat/a-strsup.adb | 25 +- gcc/ada/libgnat/a-strsup.ads | 7 + gcc/ada/libgnat/i-c.adb | 10 +- gcc/ada/libgnat/s-expmod.adb | 1 + gcc/ada/libgnat/s-valueu.adb | 92 +++-- gcc/ada/par-prag.adb | 9 +- gcc/ada/repinfo.adb | 56 ++- gcc/ada/repinfo.ads | 5 +- gcc/ada/sem_aggr.adb | 1 + gcc/ada/sem_attr.adb | 18 +- gcc/ada/sem_ch10.adb | 4 + gcc/ada/sem_ch13.adb | 117 ++++-- gcc/ada/sem_ch3.adb | 29 +- gcc/ada/sem_ch6.adb | 20 +- gcc/ada/sem_ch7.adb | 7 + gcc/ada/sem_ch8.adb | 11 +- gcc/ada/sem_prag.adb | 8 + gcc/ada/sem_util.adb | 77 +--- gcc/ada/warnsw.adb | 6 +- gcc/ada/warnsw.ads | 9 +- 44 files changed, 1327 insertions(+), 783 deletions(-)