This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 4867cc81553 i386: Fix some ISA bit test in option_override new 21b54dad478 ada: Fix list of attributes defined by Ada 2022 new cba9a6c978d ada: Improve preprocessor error handling. new 6e5f911e779 ada: Update documentation for 'Super new d1c07598fad ada: Treat Info-Warnings as Info messages new 82531c69462 ada: Add switch for suppressing info messages new 0f906fe2137 ada: Convert -gnatw.n messages to warnings new 23c332e2a56 ada: Change messages for -gnatw.v to warnings new 20f5d5e09df ada: Document -gnatd_w for CCG new cfd7b02a0ca ada: Fix minor issues in comments new 2e28085cc3e ada: Do not compute Has_Controlled_Component twice during freezing new 7abf2222bed ada: Add Dump_Buffers hooks for code coverage new c207c2dfb47 ada: Couple of minor fixes in GNAT Reference Manual new ad264cb6482 ada: Remove Max_Entry_Queue_Depth pragma/aspect new 42305c7a3ac ada: Fix style in freezing code new 09ed91df301 ada: Remove redundant conditions from freezing code new 4f6ee98c27c ada: Streamline propagation of controlled flags on types new 7e057326a90 ada: Add documentation for Subprogram_Variant aspect and pragma new 664e47e64cd ada: Update Bit Ordering references in GNAT Reference Manual new ce59982c28e ada: Enforce strict alignment for array types with aliased [...] new 9cf95147c04 ada: Fix crash on real literal in declare expression of exp [...] new 3a16f19777f ada: Fix bogus error with "=" operator on array of private [...] new 980fddd8d90 ada: New pragma to default all interrupts to system. new e8e0306649a ada: Fix composition of primitive equality for untagged rec [...] new c5d7daa3793 ada: Fix assertion failure during analysis of instantiation [...] new 3c6dcd1d018 ada: Fix inlining of fixed-lower-bound array for GNATprove new ecb84b0aa4e ada: Crash on selected component of formal derived type in [...] new 36bd57330f9 ada: Replace "All" argument to Extensions_Allowed pragma wi [...] new a688a028194 ada: Rewrite generic formal/actual matching new 4c98b695fd8 ada: Fix checking of SPARK RM on ghost with concurrent part new 301927d9335 ada: Reference to nonexistent operator in reduction express [...]
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/ali.adb | 9 + gcc/ada/ali.ads | 6 + gcc/ada/aspects.ads | 6 - gcc/ada/atree.ads | 10 +- gcc/ada/bindgen.adb | 20 +- gcc/ada/debug.adb | 9 +- gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 36 +- gcc/ada/doc/gnat_rm/implementation_advice.rst | 15 +- .../doc/gnat_rm/implementation_defined_aspects.rst | 20 +- .../gnat_rm/implementation_defined_attributes.rst | 24 - .../implementation_defined_characteristics.rst | 4 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 53 +- .../building_executable_programs_with_gnat.rst | 44 +- .../doc/gnat_ugn/the_gnat_compilation_model.rst | 4 + gcc/ada/errout.adb | 97 +- gcc/ada/erroutc.adb | 51 +- gcc/ada/errutil.adb | 31 +- gcc/ada/exp_ch3.adb | 38 - gcc/ada/exp_ch4.adb | 77 +- gcc/ada/exp_ch9.adb | 3 +- gcc/ada/exp_util.adb | 4 +- gcc/ada/expander.ads | 6 +- gcc/ada/freeze.adb | 69 +- gcc/ada/ghost.adb | 8 +- gcc/ada/gnat1drv.adb | 7 + gcc/ada/gnat_rm.texi | 1729 +++++++------ gcc/ada/gnat_ugn.texi | 539 ++-- gcc/ada/gprep.adb | 2 +- gcc/ada/init.c | 34 +- gcc/ada/inline.adb | 10 +- gcc/ada/lib-load.adb | 10 +- gcc/ada/lib-writ.adb | 4 + gcc/ada/lib-writ.ads | 5 + gcc/ada/libgnarl/s-intman__posix.adb | 24 +- gcc/ada/mutably_tagged.ads | 21 +- gcc/ada/nlists.ads | 19 +- gcc/ada/opt.ads | 9 + gcc/ada/par-prag.adb | 21 +- gcc/ada/sem_attr.adb | 114 +- gcc/ada/sem_attr.ads | 11 - gcc/ada/sem_aux.ads | 15 +- gcc/ada/sem_ch12.adb | 2644 +++++++++++--------- gcc/ada/sem_ch12.ads | 4 +- gcc/ada/sem_ch13.adb | 52 +- gcc/ada/sem_ch3.adb | 111 +- gcc/ada/sem_ch4.adb | 37 +- gcc/ada/sem_ch7.adb | 11 +- gcc/ada/sem_ch9.adb | 7 +- gcc/ada/sem_prag.adb | 32 +- gcc/ada/sem_prag.ads | 1 - gcc/ada/sem_util.adb | 68 +- gcc/ada/sem_util.ads | 11 + gcc/ada/snames.ads-tmpl | 6 +- gcc/ada/switch-c.adb | 6 +- gcc/ada/tbuild.adb | 12 +- 55 files changed, 3411 insertions(+), 2809 deletions(-)