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

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

from 3fa66b95570 ChangeLog: fix PR entry new dad0ebe674d [Ada] Revert "Enforce matching of extra formals" new 272ada7499e [Ada] Parser and lexer cleanup new d30f15442e0 [Ada] Disable Support_Atomic_Primitives on QNX and VxWorks targets new 635e98b8649 [Ada] Disable Support_Atomic_Primitives on x86_64 VxWorks new 65d76c55931 [Ada] Fix bugs in check-related warnings. new 2fa4beae448 [Ada] Remove a no-longer-correct comment new 1d2bc28c41b [Ada] Fix issues with compiling ACATS test for user-defined [...] new de01e1b86a1 [Ada] Do not mark user parameters of protected subprograms [...] new 4a46f59cb36 [Ada] Lock_Free aspect takes precedence over Ceiling_Lockin [...] new 1588e8872ac [Ada] bugbox referencing INOX prefixed view of primitive op [...] new 9fcd4ccd445 [Ada] Initialize a local variable to avoid a CodePeer warning new 9bde1fc68f4 [Ada] Syntax error in Ada 2022 array aggregate causes bug box new 46ba7ae3c6e [Ada] Fix oversight in implementation of unnesting new a968d80d0e8 [Ada] Tech debt: Expansion of contracts new cf8af60f6a3 [Ada] Fix validity checking on renamed Old attribute prefix new 4a7312f7ce1 [Ada] Replace SPARK containers implementation by Compile_Ti [...] new d917a68d6e4 [Ada] Internal error compiling formal instance of generic w [...] new da4824bb3aa [Ada] Add C declaration for Opt.Unnest_Subprogram_Mode new 5ca1d6a4a54 [Ada] Reject use in SPARK of Asm intrinsics for code insertions new 517817a434f [Ada] Remove SPARK containers from GNAT documentation new 4caf4b5ef31 [Ada] Accept explicit SPARK_Mode Auto as configuration pragma new 0f829a98d90 [Ada] Cleanup routine for handling SPARK_Mode kinds new f244e994b5f [Ada] Justify false alarm from CodePeer analysis of GNAT new 9ccd61dfee0 [Ada] Special-case printing of SPARK_Mode in error messages new ca4b9801e2b [Ada] Temporary tweak new expansion of contracts new ca901438689 [Ada] Improve CUDA host-side and device-side binder support new 0c960fef5d6 [Ada] Reject 'Valid_Scalars on Unchecked_Union regardless o [...] new f64bfc1224b [Ada] Sync documentation of junk names with code new bd548d67e71 [Ada] Improve CUDA host-side and device-side binder support new 60bb81e0db6 [Ada] Storage_Error raised analyzing type with call in its [...] new 643ae816f17 [Ada] Fix immediate assertion failure with -gnatd.1

The 31 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 | 15 - gcc/ada/bindgen.adb | 67 +- gcc/ada/checks.adb | 27 +- gcc/ada/contracts.adb | 1114 ++++++----- gcc/ada/contracts.ads | 36 +- gcc/ada/debug.adb | 15 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 9 +- gcc/ada/doc/gnat_rm/the_gnat_library.rst | 219 --- gcc/ada/einfo.ads | 14 +- gcc/ada/erroutc.adb | 30 +- gcc/ada/exp_attr.adb | 100 +- gcc/ada/exp_ch3.adb | 129 +- gcc/ada/exp_ch3.ads | 16 +- gcc/ada/exp_ch6.adb | 230 +-- gcc/ada/exp_ch6.ads | 12 - gcc/ada/exp_ch7.adb | 548 +----- gcc/ada/exp_ch9.adb | 332 +--- gcc/ada/exp_prag.adb | 18 +- gcc/ada/exp_unst.adb | 2 + gcc/ada/fe.h | 2 + gcc/ada/freeze.adb | 135 +- gcc/ada/gcc-interface/decl.cc | 6 +- gcc/ada/gen_il-fields.ads | 4 +- gcc/ada/gen_il-gen-gen_entities.adb | 12 +- gcc/ada/gen_il-gen-gen_nodes.adb | 3 +- gcc/ada/ghost.adb | 10 +- gcc/ada/gnat_rm.texi | 651 ++----- gcc/ada/gnat_ugn.texi | 2 +- gcc/ada/impunit.adb | 12 - gcc/ada/inline.adb | 4 +- gcc/ada/lib-xref.adb | 9 - gcc/ada/lib.adb | 9 + gcc/ada/lib.ads | 6 + gcc/ada/libgnat/a-cfdlli.adb | 1905 ------------------ gcc/ada/libgnat/a-cfdlli.ads | 1641 +--------------- gcc/ada/libgnat/a-cfhama.adb | 976 ---------- gcc/ada/libgnat/a-cfhama.ads | 883 +-------- gcc/ada/libgnat/a-cfhase.adb | 1559 --------------- gcc/ada/libgnat/a-cfhase.ads | 1473 +------------- gcc/ada/libgnat/a-cfidll.adb | 2054 -------------------- gcc/ada/libgnat/a-cfidll.ads | 1640 +--------------- gcc/ada/libgnat/a-cfinse.adb | 304 --- gcc/ada/libgnat/a-cfinse.ads | 350 +--- gcc/ada/libgnat/a-cfinve.adb | 1452 -------------- gcc/ada/libgnat/a-cfinve.ads | 957 +-------- gcc/ada/libgnat/a-cforma.adb | 1239 ------------ gcc/ada/libgnat/a-cforma.ads | 1122 +---------- gcc/ada/libgnat/a-cforse.adb | 1939 ------------------ gcc/ada/libgnat/a-cforse.ads | 1784 +---------------- gcc/ada/libgnat/a-cofove.adb | 1311 ------------- gcc/ada/libgnat/a-cofove.ads | 952 +-------- gcc/ada/libgnat/a-cofuba.adb | 432 ---- gcc/ada/libgnat/a-cofuba.ads | 198 -- gcc/ada/libgnat/a-cofuma.adb | 306 --- gcc/ada/libgnat/a-cofuma.ads | 366 +--- gcc/ada/libgnat/a-cofuse.adb | 184 -- gcc/ada/libgnat/a-cofuse.ads | 306 +-- gcc/ada/libgnat/a-cofuve.adb | 262 --- gcc/ada/libgnat/a-cofuve.ads | 381 +--- gcc/ada/libgnat/s-imagei.adb | 2 + gcc/ada/libgnat/s-maccod.ads | 4 +- gcc/ada/libgnat/system-qnx-arm.ads | 2 +- .../libgnat/system-vxworks7-aarch64-rtp-smp.ads | 2 +- gcc/ada/libgnat/system-vxworks7-aarch64.ads | 2 +- gcc/ada/libgnat/system-vxworks7-arm-rtp-smp.ads | 2 +- gcc/ada/libgnat/system-vxworks7-arm.ads | 2 +- gcc/ada/libgnat/system-vxworks7-x86-kernel.ads | 2 +- gcc/ada/libgnat/system-vxworks7-x86-rtp-smp.ads | 2 +- gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads | 2 +- gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads | 2 +- gcc/ada/opt.ads | 7 + gcc/ada/par-ch10.adb | 29 +- gcc/ada/par-ch12.adb | 5 +- gcc/ada/par-ch13.adb | 8 +- gcc/ada/par-ch3.adb | 71 +- gcc/ada/par-ch4.adb | 824 ++++---- gcc/ada/par-ch5.adb | 86 +- gcc/ada/par-ch6.adb | 58 +- gcc/ada/par-ch7.adb | 15 - gcc/ada/par-ch8.adb | 2 +- gcc/ada/par-ch9.adb | 11 +- gcc/ada/par-endh.adb | 24 +- gcc/ada/par-sync.adb | 22 +- gcc/ada/par-tchk.adb | 35 +- gcc/ada/par-util.adb | 34 +- gcc/ada/par.adb | 61 +- gcc/ada/prep.adb | 43 +- gcc/ada/prepcomp.adb | 4 +- gcc/ada/scng.adb | 12 +- gcc/ada/sem_aggr.adb | 5 + gcc/ada/sem_attr.adb | 53 +- gcc/ada/sem_ch11.adb | 9 +- gcc/ada/sem_ch3.adb | 23 +- gcc/ada/sem_ch4.adb | 13 +- gcc/ada/sem_ch6.adb | 1555 +++++---------- gcc/ada/sem_ch6.ads | 16 - gcc/ada/sem_ch9.adb | 25 + gcc/ada/sem_elab.adb | 49 +- gcc/ada/sem_eval.adb | 1 - gcc/ada/sem_prag.adb | 50 +- gcc/ada/sem_prag.ads | 29 + gcc/ada/sem_res.adb | 15 + gcc/ada/sem_util.adb | 143 +- gcc/ada/sem_util.ads | 4 +- gcc/ada/sinfo.ads | 6 + gcc/ada/snames.ads-tmpl | 3 +- gcc/ada/switch-b.adb | 9 + gcc/ada/uintp.adb | 4 +- gcc/testsuite/gnat.dg/aspect2.adb | 5 - gcc/testsuite/gnat.dg/aspect2.ads | 30 - gcc/testsuite/gnat.dg/config_pragma1.adb | 21 - gcc/testsuite/gnat.dg/config_pragma1_pkg.ads | 21 - gcc/testsuite/gnat.dg/equal8.adb | 6 - gcc/testsuite/gnat.dg/equal8.ads | 36 - gcc/testsuite/gnat.dg/equal8_pkg.ads | 58 - gcc/testsuite/gnat.dg/formal_containers.adb | 23 - gcc/testsuite/gnat.dg/iter1.adb | 20 - gcc/testsuite/gnat.dg/iter1.ads | 8 - 118 files changed, 2758 insertions(+), 30631 deletions(-) delete mode 100644 gcc/ada/libgnat/a-cfdlli.adb delete mode 100644 gcc/ada/libgnat/a-cfhama.adb delete mode 100644 gcc/ada/libgnat/a-cfhase.adb delete mode 100644 gcc/ada/libgnat/a-cfidll.adb delete mode 100644 gcc/ada/libgnat/a-cfinse.adb delete mode 100644 gcc/ada/libgnat/a-cfinve.adb delete mode 100644 gcc/ada/libgnat/a-cforma.adb delete mode 100644 gcc/ada/libgnat/a-cforse.adb delete mode 100644 gcc/ada/libgnat/a-cofove.adb delete mode 100644 gcc/ada/libgnat/a-cofuba.adb delete mode 100644 gcc/ada/libgnat/a-cofuba.ads delete mode 100644 gcc/ada/libgnat/a-cofuma.adb delete mode 100644 gcc/ada/libgnat/a-cofuse.adb delete mode 100644 gcc/ada/libgnat/a-cofuve.adb delete mode 100644 gcc/testsuite/gnat.dg/aspect2.adb delete mode 100644 gcc/testsuite/gnat.dg/aspect2.ads delete mode 100644 gcc/testsuite/gnat.dg/config_pragma1.adb delete mode 100644 gcc/testsuite/gnat.dg/config_pragma1_pkg.ads delete mode 100644 gcc/testsuite/gnat.dg/equal8.adb delete mode 100644 gcc/testsuite/gnat.dg/equal8.ads delete mode 100644 gcc/testsuite/gnat.dg/equal8_pkg.ads delete mode 100644 gcc/testsuite/gnat.dg/formal_containers.adb delete mode 100644 gcc/testsuite/gnat.dg/iter1.adb delete mode 100644 gcc/testsuite/gnat.dg/iter1.ads