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(-)
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.