This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 5f966d68971 Do not use doloop pattern with pragma Unroll new 50bc94898fa stor-layout: Reject forming arrays with elt sizes not divis [...] new 9a83366b62e Fix up plugin header install new 9d0761c76b6 [Ada] Fix default value for re-analysis of external propert [...] new 846744902e1 [Ada] Fix whitespace in code for external property pragmas new 4d4ba374a73 [Ada] Sync code for external properties with SPARK RM new 01364aeb566 [Ada] Iterative patch for accessibility cleanup new 44f30851a73 [Ada] Take advantage of Long_Long_Long_Integer in From_String new b740cf28536 [Ada] Update header of front-end files new ca5d8b90729 [Ada] Always enable the support for 128-bit integer types o [...] new f9c20bd7853 [Ada] Better error for illegal call to abstract operation i [...] new 70b590e2481 [Ada] Fix scope of index parameter inside a delta aggregate new 4d245fdaf74 [Ada] Spurious errors on tagged types with renamed subprograms new c875250d42d [Ada] Prevent copying uninitialized array with address clause new 0e3ccc6a041 [Ada] Missing detection of unused with_clause new c12e23c4678 [Ada] CUDA: Use internal types instead of public ones new 4e40d14622b [Ada] Error when closing c_stream new 6cc203bf2a7 [Ada] CUDA: fix CUDA_Execute not working with aggregates new 99d4c1b09bb [Ada] Improve documentation of pragma Abort_Defer new 294e16b4e7e [Ada] Ignore container types for aggregates if not in Ada_2020 new 955886d1a2c [Ada] GNATprove: remove support for external axiomatizations new f2668d9058f [Ada] Decorate iterated_component_association in SPARK expansion new 0edbf7fa122 [Ada] Fix crash in SPARK on array delta_aggregate with subt [...] new 995e0727ce9 [Ada] Crash on expression function and access type new 3a5c9377f6d [Ada] Do not use Long_Long_Long_Integer'Image with pragma D [...] new 6c1929894ca [Ada] Fix logic in C_Select under mingw new 84a5809c721 [Ada] Clean up in writing of ALI files new b120ca616fc [Ada] Implement new legality rules introduced in C.6(12) by [...] new 973c7b7e546 [Ada] GNAT.Sockets: fix comment typo new 48d0e61abad [Ada] Reject illegal syntax in pragma Contract_Cases new 15e2ad005b1 [Ada] gnatpp: Document --no-comments-fill new 66e97274cef [Ada] Further Ada 2020 work on accessibility checking new d08d481912b [Ada] Sockets.Poll implementation
The 32 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/Makefile.in | 12 +- gcc/ada/Makefile.rtl | 14 +- gcc/ada/alloc.ads | 14 +- gcc/ada/aspects.adb | 14 +- gcc/ada/aspects.ads | 18 +- gcc/ada/atree.adb | 14 +- gcc/ada/atree.ads | 14 +- gcc/ada/casing.adb | 14 +- gcc/ada/casing.ads | 14 +- gcc/ada/checks.adb | 33 +- gcc/ada/contracts.adb | 19 +- gcc/ada/csets.adb | 14 +- gcc/ada/csets.ads | 14 +- gcc/ada/debug.adb | 14 +- gcc/ada/debug.ads | 14 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 22 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 5 +- gcc/ada/einfo.adb | 32 +- gcc/ada/einfo.ads | 46 +- gcc/ada/elists.adb | 14 +- gcc/ada/elists.ads | 14 +- gcc/ada/exp_aggr.adb | 8 +- gcc/ada/exp_ch3.adb | 10 +- gcc/ada/exp_ch4.adb | 71 +-- gcc/ada/exp_ch5.adb | 15 +- gcc/ada/exp_ch6.adb | 167 ++---- gcc/ada/exp_ch8.adb | 4 +- gcc/ada/exp_ch9.adb | 21 + gcc/ada/exp_imgv.adb | 13 +- gcc/ada/exp_prag.adb | 189 ++++-- gcc/ada/exp_spark.adb | 122 +++- gcc/ada/exp_util.adb | 170 ------ gcc/ada/exp_util.ads | 11 - gcc/ada/fname.adb | 14 +- gcc/ada/fname.ads | 14 +- gcc/ada/freeze.adb | 99 +++- gcc/ada/freeze.ads | 4 +- gcc/ada/gcc-interface/decl.c | 46 +- gcc/ada/gcc-interface/trans.c | 4 +- gcc/ada/gnat1drv.adb | 33 +- gcc/ada/gnat_rm.texi | 22 +- gcc/ada/gnatvsn.adb | 14 +- gcc/ada/gnatvsn.ads | 14 +- gcc/ada/gsocket.h | 6 + gcc/ada/hostparm.ads | 14 +- gcc/ada/impunit.adb | 1 + gcc/ada/indepsw-aix.adb | 14 +- gcc/ada/indepsw-darwin.adb | 14 +- gcc/ada/indepsw-gnu.adb | 14 +- gcc/ada/indepsw.adb | 14 +- gcc/ada/indepsw.ads | 14 +- gcc/ada/krunch.adb | 14 +- gcc/ada/krunch.ads | 14 +- gcc/ada/layout.adb | 28 +- gcc/ada/lib-list.adb | 14 +- gcc/ada/lib-sort.adb | 14 +- gcc/ada/lib-writ.adb | 100 +--- gcc/ada/lib-writ.ads | 6 - gcc/ada/lib.adb | 14 +- gcc/ada/lib.ads | 14 +- gcc/ada/libgnat/a-nbnbin.adb | 4 +- gcc/ada/libgnat/g-socket.adb | 4 - gcc/ada/libgnat/g-socket.ads | 12 +- gcc/ada/libgnat/g-socpol.adb | 430 ++++++++++++++ gcc/ada/libgnat/g-socpol.ads | 216 +++++++ .../{g-socket__dummy.adb => g-socpol__dummy.adb} | 4 +- .../{g-sothco__dummy.ads => g-socpol__dummy.ads} | 4 +- gcc/ada/libgnat/g-socthi__mingw.adb | 21 +- gcc/ada/libgnat/{g-stseme.adb => g-sopowa.adb} | 38 +- .../{gnatvsn.adb => libgnat/g-sopowa__mingw.adb} | 100 ++-- .../libgnat/{s-commun.adb => g-sopowa__posix.adb} | 72 ++- gcc/ada/libgnat/g-spogwa.adb | 139 +++++ gcc/ada/libgnat/{g-cgideb.ads => g-spogwa.ads} | 37 +- gcc/ada/libgnat/s-fileio.adb | 4 +- gcc/ada/libgnat/s-genbig.adb | 58 +- gcc/ada/libgnat/s-genbig.ads | 4 + gcc/ada/namet-sp.adb | 14 +- gcc/ada/namet-sp.ads | 14 +- gcc/ada/namet.adb | 14 +- gcc/ada/namet.ads | 14 +- gcc/ada/nlists.adb | 14 +- gcc/ada/nlists.ads | 14 +- gcc/ada/opt.adb | 14 +- gcc/ada/opt.ads | 14 +- gcc/ada/output.adb | 14 +- gcc/ada/output.ads | 14 +- gcc/ada/rident.ads | 14 +- gcc/ada/rtsfind.ads | 10 +- gcc/ada/s-oscons-tmplt.c | 71 ++- gcc/ada/scans.adb | 14 +- gcc/ada/scans.ads | 14 +- gcc/ada/scil_ll.adb | 14 +- gcc/ada/scil_ll.ads | 14 +- gcc/ada/sem_aggr.adb | 5 +- gcc/ada/sem_attr.adb | 52 +- gcc/ada/sem_aux.adb | 30 - gcc/ada/sem_aux.ads | 11 - gcc/ada/sem_ch12.adb | 27 +- gcc/ada/sem_ch13.adb | 162 +++--- gcc/ada/sem_ch3.adb | 14 +- gcc/ada/sem_ch4.adb | 83 ++- gcc/ada/sem_ch6.adb | 441 ++++++++------ gcc/ada/sem_ch8.adb | 34 +- gcc/ada/sem_ch9.adb | 3 +- gcc/ada/sem_prag.adb | 456 ++++++--------- gcc/ada/sem_res.adb | 57 +- gcc/ada/sem_util.adb | 648 +++++++++++++++------ gcc/ada/sem_util.ads | 89 ++- gcc/ada/sfn_scan.adb | 14 +- gcc/ada/sinfo.adb | 14 +- gcc/ada/sinfo.ads | 14 +- gcc/ada/sinput.adb | 14 +- gcc/ada/sinput.ads | 14 +- gcc/ada/snames.adb-tmpl | 14 +- gcc/ada/snames.ads-tmpl | 15 +- gcc/ada/stand.ads | 14 +- gcc/ada/stringt.adb | 14 +- gcc/ada/stringt.ads | 14 +- gcc/ada/table.adb | 14 +- gcc/ada/table.ads | 14 +- gcc/ada/types.adb | 14 +- gcc/ada/types.ads | 14 +- gcc/ada/uintp.adb | 14 +- gcc/ada/uintp.ads | 14 +- gcc/ada/uname.adb | 14 +- gcc/ada/uname.ads | 14 +- gcc/ada/urealp.adb | 14 +- gcc/ada/urealp.ads | 14 +- gcc/ada/vast.adb | 14 +- gcc/ada/vast.ads | 14 +- gcc/ada/widechar.adb | 14 +- gcc/ada/widechar.ads | 14 +- gcc/config/i386/t-i386 | 3 +- gcc/stor-layout.c | 17 +- gcc/testsuite/c-c++-common/pr97164.c | 15 + .../{gcc.c-torture/execute => gcc.dg}/pr36093.c | 3 +- .../{gcc.c-torture/execute => gcc.dg}/pr43783.c | 4 +- libgcc/config/libbid/bid_functions.h | 2 +- 138 files changed, 3275 insertions(+), 2399 deletions(-) create mode 100644 gcc/ada/libgnat/g-socpol.adb create mode 100644 gcc/ada/libgnat/g-socpol.ads copy gcc/ada/libgnat/{g-socket__dummy.adb => g-socpol__dummy.adb} (94%) copy gcc/ada/libgnat/{g-sothco__dummy.ads => g-socpol__dummy.ads} (95%) copy gcc/ada/libgnat/{g-stseme.adb => g-sopowa.adb} (68%) copy gcc/ada/{gnatvsn.adb => libgnat/g-sopowa__mingw.adb} (58%) copy gcc/ada/libgnat/{s-commun.adb => g-sopowa__posix.adb} (57%) create mode 100644 gcc/ada/libgnat/g-spogwa.adb copy gcc/ada/libgnat/{g-cgideb.ads => g-spogwa.ads} (67%) create mode 100644 gcc/testsuite/c-c++-common/pr97164.c rename gcc/testsuite/{gcc.c-torture/execute => gcc.dg}/pr36093.c (79%) rename gcc/testsuite/{gcc.c-torture/execute => gcc.dg}/pr43783.c (71%)