This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 9813e49e95b c++/modules: Mark implicit using-directive for imported unn [...] new 4b2e181b1f8 ada: Give consistent error message for invalid prefix in se [...] new d880ed790a4 ada: Update compiler sample output in user's guide new ccf9af9d274 ada: Do not inline calls to ghost functions new 755b0aad03b ada: Make Exp_Ch9.Build_Task_Allocate_Block a function new 48f841e2608 ada: Fix premature finalization caused by predicate check o [...] new 5d24c744d41 ada: Allow component clauses for certain record components [...] new 315965cf4e4 ada: Find overlying with slices new 5772cf81657 ada: Fix Ultimate_Overlaid_Entity to match the SPARK RM semantics new 6ee1f585e5a ada: Fix fallout of recent change related to task activation new a929418aa21 ada: Fix crash when checking ghost levels of call arguments new 3e26e2677c0 ada: Spurious warning on untagged record type equality new a67a5e0fa64 ada: Adjust SPARK RM rule numbers for new handling of Async [...] new df67cd14022 ada: Fix missing diagnostic with "T'Constructor" syntax new 6d93014989b ada: Rename Find_Hook_Context function new afd881f7c7d ada: Update gnat-llvm debugging documentation new 08c63732c8e ada: Change syntax for destructors extension new 2eb64c5b1b9 ada: Move detection of anonymous access types in expansion [...] new efc879731b5 ada: Implement copy constructors new 49d6d3e2a9a ada: Restore previous mapping for Ada to Win32 task priorities new 76253776787 ada: Warn on untagged record type equality under Ada 83/95 modes new cf0a79be059 ada: Change 'Size of formal unconstrained discriminated in [...] new c2a14d071f1 ada: Compiler crash on ill-formed container indexing new 90f219e4de7 ada: Tech debt: clean up miscellaneous VAST issues new cf0f6cf02bf ada: Fix missing warning for unused use clause with use cla [...] new a358cc57087 ada: Implement Ada.Containers.Bounded_Indefinite_Holders. new 66a48b5b51d ada: new legality checks for Super and Initialize aspect sp [...] new 7216df7146e ada: Implement From_Address attribute new a9b17a06b23 ada: Add support for printing switches in the SARIF report new 92fcd5740ae ada: Print gnat diagnostics with the gnat command new f3577958976 ada: Add diagnostic entry consistency checks new 97ad987fc19 ada: Update -gnatwk error messages with Diagnostic_Id-s new 2cc46e7573c ada: Fix parameterless constructors new 6c09f90690e ada: Set thread description on Windows new d4dfaac0489 ada: Update GNAT RM after implementing Indefinite_Holders new 17f38a8d6f7 ada: Add quickfixes for -gnawk warnings new c6d349f1734 ada: Reimplement AI12-0345, AI12-0372 and implement AI12-0402 new 913d2dda428 ada: Unsigned_Base_Range aspect (part 7) new 5c1228d38b3 ada: Fix fallout of latest accessibility change with -gnata new 623a5d30a55 ada: Ada.Containers.Bounded_Indefinite_Holders follow-up. new 867f8899e40 ada: Fix accessibility level of function calls in Ada 95 new 8555ca0b832 ada: Fix small oversight in accessibility change new 197dfdca778 ada: Fix crash on legality check for initialization of impl [...] new e7e27c1ecf9 ada: Improve fix for object with address clause and C++ con [...] new 4e1468b9ff3 ada: Move Save_Global_References_In_Aspects into sole caller new 571f250c661 ada: Fix suboptimal copy of discriminated record to local variable
The 45 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 + gcc/ada/accessibility.adb | 147 ++- gcc/ada/accessibility.ads | 15 - gcc/ada/adaint.c | 29 + gcc/ada/aspects.adb | 2 - gcc/ada/aspects.ads | 6 - gcc/ada/checks.adb | 320 +++-- gcc/ada/checks.ads | 13 +- gcc/ada/comperr.adb | 1 - gcc/ada/contracts.adb | 27 +- gcc/ada/cstand.adb | 2 - gcc/ada/debug.adb | 8 +- gcc/ada/debug_a.adb | 1 - gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 75 +- .../gnat_rm/implementation_defined_attributes.rst | 37 + .../implementation_of_ada_2022_features.rst | 14 +- .../building_executable_programs_with_gnat.rst | 40 +- gcc/ada/einfo-utils.adb | 26 +- gcc/ada/einfo-utils.ads | 3 + gcc/ada/einfo.ads | 16 +- .../{errid.ads => errid-diagnostic_repository.ads} | 85 +- gcc/ada/{sinfo.adb => errid-switch_repository.adb} | 24 +- gcc/ada/{errsw.adb => errid-switch_repository.ads} | 610 +++++----- gcc/ada/errid.adb | 199 ++-- gcc/ada/errid.ads | 171 +-- gcc/ada/errout.adb | 173 ++- gcc/ada/errout.ads | 6 + gcc/ada/erroutc-sarif_emitter.adb | 305 +++-- gcc/ada/erroutc-sarif_emitter.ads | 52 +- gcc/ada/erroutc.adb | 29 +- gcc/ada/erroutc.ads | 8 - gcc/ada/errsw.ads | 155 --- gcc/ada/errutil.adb | 1 - gcc/ada/eval_fat.adb | 1 - gcc/ada/exp_aggr.adb | 15 +- gcc/ada/exp_atag.adb | 2 - gcc/ada/exp_attr.adb | 254 +++- gcc/ada/exp_cg.adb | 2 - gcc/ada/exp_ch11.adb | 2 - gcc/ada/exp_ch12.adb | 2 - gcc/ada/exp_ch13.adb | 2 - gcc/ada/exp_ch2.adb | 2 - gcc/ada/exp_ch3.adb | 380 +++++- gcc/ada/exp_ch4.adb | 391 +++++-- gcc/ada/exp_ch5.adb | 16 +- gcc/ada/exp_ch6.adb | 214 +--- gcc/ada/exp_ch6.ads | 10 +- gcc/ada/exp_ch7.adb | 14 +- gcc/ada/exp_ch8.adb | 2 - gcc/ada/exp_ch9.adb | 22 +- gcc/ada/exp_ch9.ads | 14 +- gcc/ada/exp_code.adb | 2 - gcc/ada/exp_dbug.adb | 2 - gcc/ada/exp_disp.adb | 2 - gcc/ada/exp_dist.adb | 2 - gcc/ada/exp_fixd.adb | 2 - gcc/ada/exp_imgv.adb | 2 - gcc/ada/exp_intr.adb | 2 - gcc/ada/exp_pakd.adb | 2 - gcc/ada/exp_prag.adb | 2 - gcc/ada/exp_put_image.adb | 2 - gcc/ada/exp_sel.adb | 1 - gcc/ada/exp_smem.adb | 2 - gcc/ada/exp_spark.adb | 2 - gcc/ada/exp_strm.adb | 2 - gcc/ada/exp_tss.adb | 2 - gcc/ada/exp_unst.adb | 2 - gcc/ada/exp_util.adb | 298 +++-- gcc/ada/exp_util.ads | 15 +- gcc/ada/expander.adb | 1 - gcc/ada/freeze.adb | 38 +- gcc/ada/frontend.adb | 12 - gcc/ada/gcc-interface/Make-lang.in | 6 +- gcc/ada/gcc-interface/Makefile.in | 3 +- gcc/ada/gcc-interface/trans.cc | 22 +- gcc/ada/gen_il-fields.ads | 2 +- gcc/ada/gen_il-gen-gen_entities.adb | 2 +- gcc/ada/ghost.adb | 5 +- gcc/ada/gnat-style.texi | 4 +- gcc/ada/gnat1drv.adb | 2 - gcc/ada/gnat_cuda.adb | 1 - gcc/ada/gnat_rm.texi | 1229 ++++++++++---------- gcc/ada/gnat_ugn.texi | 41 +- gcc/ada/gnatcmd.adb | 30 + gcc/ada/impunit.adb | 2 +- gcc/ada/inline.adb | 14 +- gcc/ada/itypes.adb | 1 - gcc/ada/itypes.ads | 1 - gcc/ada/layout.adb | 2 - gcc/ada/lib.adb | 2 - gcc/ada/libgnarl/s-taprop__mingw.adb | 28 + gcc/ada/libgnarl/s-tasuti.adb | 1 - gcc/ada/libgnat/{a-coinho.adb => a-cbinho.adb} | 357 +++--- gcc/ada/libgnat/a-cbinho.ads | 320 +++++ gcc/ada/libgnat/a-coboho.ads | 4 + gcc/ada/libgnat/a-undesu.ads | 3 +- gcc/ada/libgnat/s-bignum.adb | 6 + gcc/ada/libgnat/s-bignum.ads | 13 + gcc/ada/libgnat/s-explllu.ads | 6 + gcc/ada/libgnat/s-expllu.ads | 2 - gcc/ada/libgnat/s-expuns.ads | 2 - gcc/ada/libgnat/s-genbig.adb | 20 + gcc/ada/libgnat/s-genbig.ads | 21 + gcc/ada/libgnat/system-mingw.ads | 19 +- gcc/ada/live.adb | 2 - gcc/ada/local_restrict.adb | 1 - gcc/ada/mingw32.h | 7 + gcc/ada/mutably_tagged.adb | 2 - gcc/ada/nlists.adb | 1 - gcc/ada/par-ch13.adb | 29 +- gcc/ada/par-ch4.adb | 8 +- gcc/ada/par-ch6.adb | 4 +- gcc/ada/par-endh.adb | 2 +- gcc/ada/par-util.adb | 152 +-- gcc/ada/par.adb | 21 +- gcc/ada/par_sco.adb | 1 - gcc/ada/pprint.adb | 2 - gcc/ada/repinfo.adb | 2 - gcc/ada/restrict.adb | 2 - gcc/ada/rtinit.c | 15 + gcc/ada/rtsfind.adb | 5 +- gcc/ada/rtsfind.ads | 4 + gcc/ada/scans.adb | 68 +- gcc/ada/scans.ads | 6 +- gcc/ada/scil_ll.adb | 1 - gcc/ada/scn.adb | 1 - gcc/ada/scn.ads | 15 +- gcc/ada/scng.adb | 14 +- gcc/ada/scng.ads | 3 +- gcc/ada/sem.adb | 2 - gcc/ada/sem_aggr.adb | 2 - gcc/ada/sem_attr.adb | 145 ++- gcc/ada/sem_aux.adb | 2 - gcc/ada/sem_aux.ads | 5 +- gcc/ada/sem_case.adb | 2 - gcc/ada/sem_cat.adb | 2 - gcc/ada/sem_ch10.adb | 3 - gcc/ada/sem_ch11.adb | 3 - gcc/ada/sem_ch12.adb | 24 - gcc/ada/sem_ch12.ads | 4 - gcc/ada/sem_ch13.adb | 157 ++- gcc/ada/sem_ch2.adb | 2 - gcc/ada/sem_ch3.adb | 6 +- gcc/ada/sem_ch4.adb | 100 +- gcc/ada/sem_ch5.adb | 2 - gcc/ada/sem_ch6.adb | 88 +- gcc/ada/sem_ch7.adb | 2 - gcc/ada/sem_ch8.adb | 30 +- gcc/ada/sem_ch9.adb | 2 - gcc/ada/sem_dim.adb | 2 - gcc/ada/sem_disp.adb | 2 - gcc/ada/sem_dist.adb | 2 - gcc/ada/sem_elab.adb | 2 - gcc/ada/sem_elim.adb | 2 - gcc/ada/sem_eval.adb | 2 - gcc/ada/sem_intr.adb | 2 - gcc/ada/sem_mech.adb | 2 - gcc/ada/sem_prag.adb | 14 +- gcc/ada/sem_res.adb | 72 +- gcc/ada/sem_scil.adb | 2 - gcc/ada/sem_smem.adb | 2 - gcc/ada/sem_type.adb | 2 - gcc/ada/sem_util.adb | 665 +++++++---- gcc/ada/sem_util.ads | 89 +- gcc/ada/sem_warn.adb | 187 ++- gcc/ada/sinput.adb | 1 - gcc/ada/snames.adb-tmpl | 3 +- gcc/ada/snames.ads-tmpl | 7 +- gcc/ada/sprint.adb | 4 +- gcc/ada/strub.adb | 2 - gcc/ada/style.adb | 2 - gcc/ada/styleg.adb | 1 - gcc/ada/tbuild.adb | 1 - gcc/ada/tbuild.ads | 1 - gcc/ada/treepr.adb | 2 - gcc/ada/uname.adb | 2 - gcc/ada/vast.adb | 191 ++- 177 files changed, 5251 insertions(+), 3478 deletions(-) copy gcc/ada/{errid.ads => errid-diagnostic_repository.ads} (64%) copy gcc/ada/{sinfo.adb => errid-switch_repository.adb} (74%) rename gcc/ada/{errsw.adb => errid-switch_repository.ads} (62%) delete mode 100644 gcc/ada/errsw.ads copy gcc/ada/libgnat/{a-coinho.adb => a-cbinho.adb} (51%) create mode 100644 gcc/ada/libgnat/a-cbinho.ads