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

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

from 6dcba678030 libstdc++: Support wide characters output for sys_info and [...] new b449898970a ada: Fix for validity checking of limited scalar types new d575c1bc78f ada: Fix internal error on allocator involving interface type new d5b0410adf2 ada: Remove useless calls new 903c0128c64 ada: Move standard subtype declarations generation new 939d23d1c89 ada: Do not generate warning about missing overriding indicator new 537453af7c8 ada: Improve large unconstrained-but-definite warning new 8abecb35be8 ada: Allow IN OUT parameters for first parameter of travers [...] new 3d8a56ced13 ada: Remove Size_Check_Code field from entities new fd87cba8051 ada: Remove dead code new 5f3113d79d5 ada: Incorrect unresolved operator name in an instantiation new 64bb8c8b59f ada: Remove more unused fields from entities new 573b0389e6f ada: Restore Original_Access_Type field in E_Access_Subprog [...] new df310aab0e1 ada: Tweak definition of Modulus field of entities new 994705cbe86 ada: Implement use implies with experimental extension new ac2d8941f51 ada: Initial prototype of constructors new a9009450558 ada: Move Incomplete_View from node to entity field new 032e2209fff ada: Convert floating-point zero to machine representation new f6d20900a2f ada: Fix wrong initialization of library-level object by co [...] new 8727813200b ada: Tweak condition for name resolution failure new c29774a1f35 ada: Fix libgpr2 build failure with compiler built with assertions new daa245bc566 ada: Fix typo in documentation about convention and representation new 957a41f6daa ada: Deconstruct representation clauses required by ASIS new da377160f64 ada: Document representation clauses previously required by ASIS new c11a019108c ada: Adjust the Android RTS config to match linux new bd4444ec2b7 ada: Rework Android struct sigaction bindings new 5a8191d7fd6 ada: Set Ekind early for entities created in expansion new 9ee9534c60a ada: Refactor the implementation of gnat diagnostics new 84fc53174e6 ada: Constant_Indexing used when context requires a variable new 5f0163fcc82 ada: Child unit subprograms are not primitive subprograms new 82ece409b8b ada: Deconstruct C header for the SCOs unit new 899c0d2d070 ada: Add new aspect Program_Exit for SPARK new 8952d7caf9e ada: Support aspect Program_Exit with no expression new 028dd931876 ada: Add case for Program_Exit in Exit_Cases new 9eb8ae16868 ada: Check references to subprogram outputs with Program_Ex [...] new 8013b408552 ada: Refine subtypes in routines for building floating-poin [...] new 9e349587dec ada: Add null exclusion to registration of floating-point types new 268258b2225 ada: Tune style in code for floating-point numbers new 45a305c3c7b ada: Simplify tests for positive rational numbers new 782d1cec98f ada: Remove repeated call in exponentiation of rational numbers new 73763e312fb ada: Avoid repeated range checks when negating a rational number

The 40 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 | 18 +- gcc/ada/ada_get_targ.adb | 9 +- gcc/ada/adaint.c | 2 +- gcc/ada/aspects.ads | 15 + gcc/ada/checks.adb | 15 +- gcc/ada/contracts.adb | 20 +- gcc/ada/contracts.ads | 4 + gcc/ada/cstand.adb | 49 +- gcc/ada/cstand.ads | 2 +- gcc/ada/debug.adb | 2 +- gcc/ada/diagnostics-brief_emitter.adb | 137 -- gcc/ada/diagnostics-brief_emitter.ads | 28 - gcc/ada/diagnostics-constructors.adb | 514 ------- gcc/ada/diagnostics-constructors.ads | 143 -- gcc/ada/diagnostics-converter.adb | 254 ---- gcc/ada/diagnostics-converter.ads | 31 - gcc/ada/diagnostics-switch_repository.ads | 39 - gcc/ada/diagnostics-utils.adb | 357 ----- gcc/ada/diagnostics-utils.ads | 91 -- gcc/ada/diagnostics.adb | 539 ------- gcc/ada/diagnostics.ads | 477 ------ gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 16 + .../doc/gnat_rm/implementation_defined_aspects.rst | 6 + .../doc/gnat_rm/implementation_defined_pragmas.rst | 17 +- .../gnat_rm/representation_clauses_and_pragmas.rst | 2 +- gcc/ada/einfo-utils.adb | 1 + gcc/ada/einfo-utils.ads | 1 + gcc/ada/einfo.ads | 63 +- gcc/ada/{diagnostics-repository.adb => errid.adb} | 23 +- gcc/ada/{diagnostics-repository.ads => errid.ads} | 77 +- gcc/ada/errout.adb | 917 ++++++------ gcc/ada/errout.ads | 106 +- ...etty_emitter.adb => erroutc-pretty_emitter.adb} | 810 ++++++----- ...etty_emitter.ads => erroutc-pretty_emitter.ads} | 6 +- ...sarif_emitter.adb => erroutc-sarif_emitter.adb} | 440 +++--- ...sarif_emitter.ads => erroutc-sarif_emitter.ads} | 6 +- gcc/ada/erroutc.adb | 278 ++-- gcc/ada/erroutc.ads | 169 ++- ...diagnostics-switch_repository.adb => errsw.adb} | 35 +- gcc/ada/errsw.ads | 154 ++ gcc/ada/errutil.adb | 8 +- gcc/ada/exp_aggr.adb | 12 +- gcc/ada/exp_attr.adb | 315 +++- gcc/ada/exp_ch11.adb | 2 - gcc/ada/exp_ch3.adb | 45 +- gcc/ada/exp_ch4.adb | 18 +- gcc/ada/exp_ch5.adb | 24 +- gcc/ada/exp_ch9.adb | 11 +- gcc/ada/exp_dist.adb | 2 + gcc/ada/exp_fixd.adb | 14 + gcc/ada/exp_prag.adb | 10 + gcc/ada/exp_prag.ads | 4 + gcc/ada/exp_util.adb | 46 +- gcc/ada/exp_util.ads | 18 +- gcc/ada/fe.h | 4 +- gcc/ada/gcc-interface/Make-lang.in | 30 +- gcc/ada/gcc-interface/Makefile.in | 15 +- gcc/ada/gen_il-fields.ads | 14 +- gcc/ada/gen_il-gen-gen_entities.adb | 20 +- gcc/ada/gen_il-gen-gen_nodes.adb | 7 +- gcc/ada/get_targ.ads | 2 +- gcc/ada/gnat_rm.texi | 1511 ++++++++++---------- gcc/ada/gnat_ugn.texi | 2 +- gcc/ada/inline.adb | 3 + .../{diagnostics-json_utils.adb => json_utils.adb} | 4 +- .../{diagnostics-json_utils.ads => json_utils.ads} | 5 +- gcc/ada/lib-load.adb | 6 - gcc/ada/lib-writ.adb | 4 - gcc/ada/lib.ads | 41 - gcc/ada/libgnarl/s-linux__android-aarch64.ads | 20 +- gcc/ada/libgnarl/s-linux__android-arm.ads | 18 +- gcc/ada/libgnarl/s-osinte__android.ads | 104 +- gcc/ada/libgnat/g-dyntab.ads | 5 +- gcc/ada/namet.ads | 4 +- gcc/ada/nlists.adb | 11 +- gcc/ada/par-ch4.adb | 42 +- gcc/ada/par-endh.adb | 57 +- gcc/ada/par-prag.adb | 1 + gcc/ada/repinfo.adb | 14 - gcc/ada/scos.ads | 3 - gcc/ada/scos.h | 89 -- gcc/ada/sem_aggr.adb | 48 +- gcc/ada/sem_attr.adb | 141 +- gcc/ada/sem_attr.ads | 6 + gcc/ada/sem_ch10.adb | 2 + gcc/ada/sem_ch12.adb | 5 +- gcc/ada/sem_ch13.adb | 205 ++- gcc/ada/sem_ch3.adb | 27 +- gcc/ada/sem_ch4.adb | 1016 +++++++++---- gcc/ada/sem_ch5.adb | 6 +- gcc/ada/sem_ch6.adb | 108 +- gcc/ada/sem_ch8.adb | 20 - gcc/ada/sem_ch9.adb | 30 +- gcc/ada/sem_disp.adb | 20 +- gcc/ada/sem_eval.adb | 10 +- gcc/ada/sem_eval.ads | 56 +- gcc/ada/sem_prag.adb | 303 +++- gcc/ada/sem_prag.ads | 11 + gcc/ada/sem_res.adb | 18 +- gcc/ada/sem_util.adb | 66 +- gcc/ada/sem_util.ads | 14 +- gcc/ada/set_targ.ads | 2 +- gcc/ada/sinfo.ads | 20 +- gcc/ada/sinput.ads | 50 +- gcc/ada/snames.ads-tmpl | 5 + gcc/ada/sysdep.c | 7 +- gcc/ada/urealp.adb | 27 +- gcc/ada/urealp.ads | 4 +- 108 files changed, 5008 insertions(+), 5657 deletions(-) delete mode 100644 gcc/ada/diagnostics-brief_emitter.adb delete mode 100644 gcc/ada/diagnostics-brief_emitter.ads delete mode 100644 gcc/ada/diagnostics-constructors.adb delete mode 100644 gcc/ada/diagnostics-constructors.ads delete mode 100644 gcc/ada/diagnostics-converter.adb delete mode 100644 gcc/ada/diagnostics-converter.ads delete mode 100644 gcc/ada/diagnostics-switch_repository.ads delete mode 100644 gcc/ada/diagnostics-utils.adb delete mode 100644 gcc/ada/diagnostics-utils.ads delete mode 100644 gcc/ada/diagnostics.adb delete mode 100644 gcc/ada/diagnostics.ads rename gcc/ada/{diagnostics-repository.adb => errid.adb} (92%) rename gcc/ada/{diagnostics-repository.ads => errid.ads} (75%) rename gcc/ada/{diagnostics-pretty_emitter.adb => erroutc-pretty_emitter.adb} (58%) rename gcc/ada/{diagnostics-pretty_emitter.ads => erroutc-pretty_emitter.ads} (93%) rename gcc/ada/{diagnostics-sarif_emitter.adb => erroutc-sarif_emitter.adb} (76%) rename gcc/ada/{diagnostics-sarif_emitter.ads => erroutc-sarif_emitter.ads} (93%) rename gcc/ada/{diagnostics-switch_repository.adb => errsw.adb} (96%) create mode 100644 gcc/ada/errsw.ads rename gcc/ada/{diagnostics-json_utils.adb => json_utils.adb} (99%) rename gcc/ada/{diagnostics-json_utils.ads => json_utils.ads} (98%) delete mode 100644 gcc/ada/scos.h