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

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

from e80daf04c88 aarch64: Remove redundant builtins code new 474946c61a5 [Ada] Remove excessive guard in detection of access-to-vari [...] new 829b5a6075e [Ada] Add new unbounded and indefinite formal doubly linked list new 1ef1ac768ff [Ada] Fix missing Overflow and Range checks new fe6f256d5ba [Ada] Ignore exceptions in task termination handlers new 2148f2996ae [Ada] Clean up scanner new 1710ba9e5d0 [Ada] Warn about unreachable code after calls with No_Return new 7ce2938ccff [Ada] Avoid namespace pollution for Next and Previous new 01bf0d6cf53 [Ada] Fix buffer overrun for small string concatenation at -O0 new a31eda15463 [Ada] Annotate libraries with returning annotation new a54ad45a631 [Ada] Accept aspect Yield on subprogram bodies acting as specs new a8d17a88a52 [Ada] Warn on unset objects in packages with no bodies new be4ab2ae015 [Ada] Proper freezing for dispatching expression functions. new 6882d60a100 [Ada] Add one more leading underscore to couple of exported [...] new 6a64ee39031 [Ada] Remove out-of-range warning in unreachable code new e124352c0ad [Ada] Refine heuristics for unreachable-code warnings new 4fc09105aa0 [Ada] Fix spurious warning on unreferenced internal generic [...] new 70c3959a8af [Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - rem [...] new 570f43b823a [Ada] Do not create large objects for indefinite protected types new f40948963b0 [Ada] Ignore switches for controlling frontend warnings in [...] new a24614ec491 [Ada] Simplify rewriting of attributes into Boolean literals new fa7ea64706f [Ada] Suppress warning in g-socthi__vxworks.adb new 3a7a02f4355 [Ada] Make it clear that gnatmake passes the ball to gprbui [...] new 7e5a0317adb [Ada] Fix confusing error expression on an unknown restriction new 2b98bb583fb [Ada] Don't check for misspelling of Not_A_Restriction_Id new 0ff936fe86d [Ada] Ada 2020: Allow declarative items mixed with statements new 433cefcd025 [Ada] Extend No_Dependence restriction to code generation new 729d2e2a807 [Ada] Spurious use_type clause warning new 33338e72892 [Ada] Use right implementation type for nonbinary-modulus ops new 6e3c2ee1d17 [Ada] Fix 0-sized secondary stack allocations new 7005b5e57eb [Ada] Fix inconsistent comment about expansion of exception [...]

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/Makefile.rtl | 1 + gcc/ada/ali-util.adb | 63 +-- .../building_executable_programs_with_gnat.rst | 20 +- gcc/ada/einfo.ads | 4 + gcc/ada/errout.adb | 35 +- gcc/ada/errout.ads | 14 +- gcc/ada/exp_ch11.adb | 2 +- gcc/ada/exp_ch4.adb | 101 +++-- gcc/ada/exp_ch5.adb | 41 +- gcc/ada/fe.h | 3 + gcc/ada/freeze.adb | 38 +- gcc/ada/gnat1drv.adb | 8 +- gcc/ada/gnat_ugn.texi | 30 +- gcc/ada/gnatls.adb | 3 - gcc/ada/gprep.adb | 13 +- gcc/ada/impunit.adb | 1 + gcc/ada/libgnarl/a-reatim.ads | 1 + gcc/ada/libgnarl/s-solita.adb | 9 +- gcc/ada/libgnarl/s-taskin.ads | 2 +- gcc/ada/libgnarl/s-tassta.adb | 4 +- gcc/ada/libgnat/a-cbdlli.ads | 8 +- gcc/ada/libgnat/a-cbhama.ads | 7 +- gcc/ada/libgnat/a-cbhase.ads | 7 +- gcc/ada/libgnat/a-cbmutr.ads | 5 +- gcc/ada/libgnat/a-cborma.ads | 8 +- gcc/ada/libgnat/a-cborse.ads | 8 +- gcc/ada/libgnat/a-cdlili.ads | 8 +- gcc/ada/libgnat/a-cfdlli.ads | 4 +- gcc/ada/libgnat/a-cfhama.ads | 4 +- gcc/ada/libgnat/a-cfhase.ads | 4 +- gcc/ada/libgnat/{a-cfdlli.adb => a-cfidll.adb} | 473 ++++++++++++++------- gcc/ada/libgnat/{a-cfdlli.ads => a-cfidll.ads} | 79 ++-- gcc/ada/libgnat/a-cfinse.ads | 5 +- gcc/ada/libgnat/a-cfinve.ads | 4 +- gcc/ada/libgnat/a-cforma.ads | 4 +- gcc/ada/libgnat/a-cforse.ads | 4 +- gcc/ada/libgnat/a-chahan.ads | 2 + gcc/ada/libgnat/a-cidlli.ads | 8 +- gcc/ada/libgnat/a-cihama.ads | 7 +- gcc/ada/libgnat/a-cihase.ads | 7 +- gcc/ada/libgnat/a-cimutr.ads | 5 +- gcc/ada/libgnat/a-ciorma.ads | 8 +- gcc/ada/libgnat/a-ciorse.ads | 8 +- gcc/ada/libgnat/a-cobove.ads | 8 +- gcc/ada/libgnat/a-cofove.ads | 2 + gcc/ada/libgnat/a-cofuma.ads | 5 +- gcc/ada/libgnat/a-cofuse.ads | 5 +- gcc/ada/libgnat/a-cofuve.ads | 5 +- gcc/ada/libgnat/a-cohama.ads | 7 +- gcc/ada/libgnat/a-cohase.ads | 7 +- gcc/ada/libgnat/a-coinve.ads | 8 +- gcc/ada/libgnat/a-comutr.ads | 5 +- gcc/ada/libgnat/a-convec.ads | 11 +- gcc/ada/libgnat/a-coorma.ads | 8 +- gcc/ada/libgnat/a-coorse.ads | 8 +- gcc/ada/libgnat/a-nbnbin.ads | 2 + gcc/ada/libgnat/a-nbnbre.ads | 2 + gcc/ada/libgnat/a-ngelfu.ads | 1 + gcc/ada/libgnat/a-nlelfu.ads | 1 + gcc/ada/libgnat/a-nllefu.ads | 1 + gcc/ada/libgnat/a-nselfu.ads | 1 + gcc/ada/libgnat/a-nuelfu.ads | 1 + gcc/ada/libgnat/a-strbou.ads | 2 + gcc/ada/libgnat/a-strfix.ads | 138 +++--- gcc/ada/libgnat/a-strmap.ads | 2 + gcc/ada/libgnat/a-strsea.ads | 1 + gcc/ada/libgnat/a-strunb.ads | 1 + gcc/ada/libgnat/a-strunb__shared.ads | 1 + gcc/ada/libgnat/a-textio.ads | 318 ++++++++------ gcc/ada/libgnat/a-tideio.ads | 28 +- gcc/ada/libgnat/a-tienio.ads | 28 +- gcc/ada/libgnat/a-tifiio.ads | 28 +- gcc/ada/libgnat/a-tiflio.ads | 28 +- gcc/ada/libgnat/a-tiinio.ads | 28 +- gcc/ada/libgnat/a-timoio.ads | 28 +- gcc/ada/libgnat/g-socthi.adb | 4 +- gcc/ada/libgnat/g-socthi__vxworks.adb | 4 +- gcc/ada/libgnat/i-c.ads | 2 + gcc/ada/libgnat/interfac.ads | 1 + gcc/ada/libgnat/interfac__2020.ads | 1 + gcc/ada/libgnat/s-atacco.ads | 6 +- gcc/ada/libgnat/s-conca2.adb | 20 +- gcc/ada/libgnat/s-conca2.ads | 9 +- gcc/ada/libgnat/s-conca3.adb | 21 +- gcc/ada/libgnat/s-conca3.ads | 11 +- gcc/ada/libgnat/s-conca4.adb | 21 +- gcc/ada/libgnat/s-conca4.ads | 9 +- gcc/ada/libgnat/s-conca5.adb | 21 +- gcc/ada/libgnat/s-conca5.ads | 9 +- gcc/ada/libgnat/s-conca6.adb | 21 +- gcc/ada/libgnat/s-conca6.ads | 9 +- gcc/ada/libgnat/s-conca7.adb | 21 +- gcc/ada/libgnat/s-conca7.ads | 9 +- gcc/ada/libgnat/s-conca8.adb | 22 +- gcc/ada/libgnat/s-conca8.ads | 11 +- gcc/ada/libgnat/s-conca9.adb | 22 +- gcc/ada/libgnat/s-conca9.ads | 11 +- gcc/ada/libgnat/s-secsta.adb | 7 +- gcc/ada/libgnat/s-stchop.ads | 4 +- gcc/ada/libgnat/s-stoele.ads | 2 + gcc/ada/libgnat/system-vxworks7-ppc-rtp.ads | 164 ------- gcc/ada/libgnat/system-vxworks7-x86-rtp.ads | 163 ------- gcc/ada/makeusg.adb | 12 +- gcc/ada/par-ch11.adb | 3 +- gcc/ada/par-ch3.adb | 260 +++++++---- gcc/ada/par-ch5.adb | 185 ++++++-- gcc/ada/par.adb | 26 +- gcc/ada/restrict.adb | 91 +++- gcc/ada/restrict.ads | 10 + gcc/ada/rtsfind.ads | 18 - gcc/ada/scans.ads | 19 +- gcc/ada/scn.ads | 6 +- gcc/ada/scng.adb | 100 +---- gcc/ada/scng.ads | 26 +- gcc/ada/sem.adb | 10 +- gcc/ada/sem_attr.adb | 7 +- gcc/ada/sem_ch12.adb | 1 - gcc/ada/sem_ch13.adb | 10 +- gcc/ada/sem_ch5.adb | 128 ++++-- gcc/ada/sem_ch6.adb | 30 +- gcc/ada/sem_ch7.adb | 7 + gcc/ada/sem_ch8.adb | 17 +- gcc/ada/sem_prag.adb | 10 +- gcc/ada/sem_res.adb | 15 +- gcc/ada/sem_util.adb | 80 ++-- gcc/ada/sem_util.ads | 4 + gcc/ada/sinfo.ads | 6 +- gcc/ada/snames.ads-tmpl | 6 + gcc/ada/types.ads | 4 + gcc/testsuite/gnat.dg/specs/discr5.ads | 5 +- gcc/testsuite/gnat.dg/specs/empty_variants.ads | 4 +- gcc/testsuite/gnat.dg/specs/pack13.ads | 2 +- 132 files changed, 1814 insertions(+), 1682 deletions(-) copy gcc/ada/libgnat/{a-cfdlli.adb => a-cfidll.adb} (81%) copy gcc/ada/libgnat/{a-cfdlli.ads => a-cfidll.ads} (96%) delete mode 100644 gcc/ada/libgnat/system-vxworks7-ppc-rtp.ads delete mode 100644 gcc/ada/libgnat/system-vxworks7-x86-rtp.ads