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

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

from 02a8727d073 PR lto/86004 * doc/sourcebuild.texi (lto_incremental): Do [...] new 2bb3e41d271 2018-12-11 Richard Biener rguenther@suse.de new f11d400e538 [Ada] Almost always inline init. procedure of small and sim [...] new 4030d28e789 [Ada] Suppress call to Initial_Condition when the annotatio [...] new 236d875af89 [Ada] Crash on nesting of subunits with bodies acting as specs new b406d312629 [Ada] Document the -fgnat-encodings switch new b4dcd57e941 [Ada] Spurious errors on aspect specifications in generic units new 80a5bf03af6 [Ada] Update gnatstub documentation for the Libadalang-base [...] new 52b8d5ad199 [Ada] Fix an ACATS regression with CCG new c4460c20b8d [Ada] Update gnatmetric documentation for the Libadalang-ba [...] new 382dacb09e9 [Ada] Fix an ICE on instantiated subprogram with -gnatc new 796ad64d31b [Ada] Spurious visibility error on aspect Predicate new 9f0c8e59fa6 [Ada] Remove vxworks*-crtbe-link.spec new 7cb9ab16249 [Ada] Additionsal trasformations for unnesting in package bodies new 076939294a4 [Ada] Fix runtime stack overflow for out/in-out actuals wit [...] new cb25591e807 [Ada] Better error message from GNATprove on illegal switch new 84b008ce675 [Ada] Support access types in GNATprove new 81262845c3a [Ada] GNATprove: improve proofs for uninitialized constrain [...] new f735bd19ebb [Ada] Stubs that complete generic subprogram do have a "pri [...] new a6d5dfca938 [Ada] Complete implementation of RM C.6(19) clause new 92038d643d6 [Ada] Minor reformatting new e0ce1e735aa [Ada] Remove vxlink and vxaddr2line from this repository new cb831cb8131 [Ada] Crash on ignored Ghost expression function new d80ef1addc5 [Ada] Minor reformattings new 7301befef06 [Ada] GNAT.Sockets: fix timeout computations for sockets new 3d8677c9b09 [Ada] Crash on compilation unit function that builds in place new da4a41d2925 [Ada] Uintp: add a new UI_From_Integral generic constructor new bd7ab9dac89 [Ada] Crash on generic instantiation in ignored Ghost context new 46b806bb16d [Ada] Missing predicate check on declaration with aggregate [...] new 9c5df8cd764 [Ada] Unnesting: fix for constrained arrays and improve sta [...] new 80616255689 [Ada] gnatbind: ghost code with -gnatQ new 12202386a4e [Ada] Fix elaboration of record with 1-element dynamic array new 196aa9dd488 [Ada] Plug small loophole with pathological packed array type new b40fc97e12c [Ada] Fix setting of Has_Predicate flag for aggregate subtypes new 2a649a2a3f6 [Ada] Fix -gnatR3 output for dynamically constrained record new c4edda1b12a [Ada] Unnesting: ensure Current_Subprogram is always initialized new a906221fc1f [Ada] Unnesting: fix a missing activation record new 2176c4d0148 [Ada] Improve error message when named number passed as glo [...] new becb6111947 [Ada] Volatility, validity checks, and System.Aux_DEC new cca461619e0 [Ada] Crash on misplaced First operation for GNAT iterable type new ab5d137aab9 [Ada] Unnesting: do not eliminate subprogram whose address [...] new 3aa3c0e581c [Ada] Do not expand code inside ignored ghost bodies new b924a4be4ff [Ada] GNAT.Sockets: add IPv6 support new f6ce9fc6d1a [Ada] Spurious error with pragma Thread_Local_Storage new fc220636773 [Ada] Add "Global => null" contracts to Ada.Calendar routines

The 44 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/ChangeLog | 4 + gcc/ada/ChangeLog | 455 ++++++++++++ gcc/ada/Makefile.rtl | 21 - gcc/ada/checks.adb | 34 +- .../building_executable_programs_with_gnat.rst | 37 + gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 685 ++++++++--------- gcc/ada/einfo.ads | 8 +- gcc/ada/exp_aggr.adb | 96 ++- gcc/ada/exp_ch13.adb | 5 +- gcc/ada/exp_ch7.adb | 229 +++--- gcc/ada/exp_prag.adb | 8 +- gcc/ada/exp_unst.adb | 35 +- gcc/ada/exp_util.adb | 51 +- gcc/ada/exp_util.ads | 41 +- gcc/ada/fe.h | 6 + gcc/ada/freeze.adb | 207 ++++-- gcc/ada/gcc-interface/Make-lang.in | 10 - gcc/ada/gcc-interface/Makefile.in | 41 -- gcc/ada/gcc-interface/decl.c | 287 +++++--- gcc/ada/gcc-interface/gigi.h | 6 +- gcc/ada/gcc-interface/trans.c | 98 ++- gcc/ada/gcc-interface/utils.c | 30 +- gcc/ada/gnat1drv.adb | 23 +- gcc/ada/gnat_ugn.texi | 63 +- gcc/ada/gnatbind.adb | 1 + gcc/ada/gsocket.h | 12 +- gcc/ada/libgnat/a-calend.ads | 40 +- gcc/ada/libgnat/g-socket.adb | 814 ++++++++++++++------- gcc/ada/libgnat/g-socket.ads | 216 +++++- gcc/ada/libgnat/g-sothco.adb | 133 +++- gcc/ada/libgnat/g-sothco.ads | 178 +++-- gcc/ada/libgnat/g-stsifd__sockets.adb | 2 +- gcc/ada/libgnat/system-vxworks-arm-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks-arm-rtp.ads | 4 - gcc/ada/libgnat/system-vxworks-arm.ads | 4 - gcc/ada/libgnat/system-vxworks-e500-kernel.ads | 4 - gcc/ada/libgnat/system-vxworks-e500-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks-e500-rtp.ads | 4 - gcc/ada/libgnat/system-vxworks-ppc-kernel.ads | 4 - gcc/ada/libgnat/system-vxworks-ppc-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks-ppc-rtp.ads | 4 - gcc/ada/libgnat/system-vxworks-ppc.ads | 4 - gcc/ada/libgnat/system-vxworks-x86-kernel.ads | 4 - gcc/ada/libgnat/system-vxworks-x86-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks-x86-rtp.ads | 4 - .../libgnat/system-vxworks7-aarch64-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks7-aarch64.ads | 4 - gcc/ada/libgnat/system-vxworks7-arm-rtp-smp.ads | 3 - gcc/ada/libgnat/system-vxworks7-e500-kernel.ads | 4 - gcc/ada/libgnat/system-vxworks7-e500-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks7-e500-rtp.ads | 4 - gcc/ada/libgnat/system-vxworks7-ppc-kernel.ads | 4 - gcc/ada/libgnat/system-vxworks7-ppc-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks7-ppc-rtp.ads | 4 - gcc/ada/libgnat/system-vxworks7-ppc64-kernel.ads | 4 - gcc/ada/libgnat/system-vxworks7-ppc64-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks7-x86-kernel.ads | 4 - gcc/ada/libgnat/system-vxworks7-x86-rtp-smp.ads | 4 - gcc/ada/libgnat/system-vxworks7-x86-rtp.ads | 4 - gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads | 4 - gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads | 4 - gcc/ada/osint.adb | 11 + gcc/ada/osint.ads | 3 + gcc/ada/s-oscons-tmplt.c | 270 +++++++ gcc/ada/sem_aggr.adb | 14 +- gcc/ada/sem_ch10.adb | 16 +- gcc/ada/sem_ch13.adb | 221 ++++-- gcc/ada/sem_ch13.ads | 17 - gcc/ada/sem_ch3.adb | 14 +- gcc/ada/sem_ch4.adb | 7 +- gcc/ada/sem_ch6.adb | 60 +- gcc/ada/sem_ch6.ads | 3 +- gcc/ada/sem_ch7.adb | 26 +- gcc/ada/sem_prag.adb | 6 + gcc/ada/sem_spark.adb | 6 +- gcc/ada/sem_util.adb | 65 +- gcc/ada/sem_util.ads | 4 +- gcc/ada/socket.c | 167 ++++- gcc/ada/uintp.adb | 46 ++ gcc/ada/uintp.ads | 7 + gcc/ada/vx_crtbegin.c | 39 - gcc/ada/vx_crtbegin.inc | 68 -- gcc/ada/vx_crtbegin_array.c | 45 -- gcc/ada/vx_crtbegin_attr.c | 49 -- gcc/ada/vx_crtend.c | 53 -- gcc/ada/vxaddr2line.adb | 525 ------------- gcc/ada/vxlink-bind.adb | 390 ---------- gcc/ada/vxlink-bind.ads | 87 --- gcc/ada/vxlink-link.adb | 194 ----- gcc/ada/vxlink-link.ads | 63 -- gcc/ada/vxlink-main.adb | 81 -- gcc/ada/vxlink.adb | 280 ------- gcc/ada/vxlink.ads | 68 -- gcc/ada/vxworks-gnat-crtbe-link.spec | 16 - gcc/ccmp.c | 11 +- gcc/testsuite/ChangeLog | 44 ++ gcc/testsuite/gnat.dg/aspect1.adb | 13 + gcc/testsuite/gnat.dg/aspect1_horizontal.adb | 9 + gcc/testsuite/gnat.dg/aspect1_horizontal.ads | 9 + gcc/testsuite/gnat.dg/aspect1_vectors_2d.ads | 16 + gcc/testsuite/gnat.dg/atomic11.adb | 19 + gcc/testsuite/gnat.dg/atomic11_pkg1.ads | 20 + gcc/testsuite/gnat.dg/atomic11_pkg2.ads | 5 + gcc/testsuite/gnat.dg/bip_cu.adb | 10 + gcc/testsuite/gnat.dg/bip_cu_constructor.adb | 5 + gcc/testsuite/gnat.dg/bip_cu_constructor.ads | 2 + gcc/testsuite/gnat.dg/bip_cu_t.adb | 8 + gcc/testsuite/gnat.dg/bip_cu_t.ads | 10 + gcc/testsuite/gnat.dg/ghost2.adb | 5 + gcc/testsuite/gnat.dg/ghost2.ads | 14 + gcc/testsuite/gnat.dg/{tagged1.adb => ghost3.adb} | 4 +- gcc/testsuite/gnat.dg/ghost3.ads | 20 + gcc/testsuite/gnat.dg/ghost4.adb | 15 + gcc/testsuite/gnat.dg/iter4.adb | 36 + gcc/testsuite/gnat.dg/packed_array.adb | 5 + gcc/testsuite/gnat.dg/packed_array.ads | 9 + gcc/testsuite/gnat.dg/packed_array_pkg.ads | 20 + gcc/testsuite/gnat.dg/static_pred1.adb | 2 +- gcc/testsuite/gnat.dg/valid4.adb | 13 + gcc/testsuite/gnat.dg/valid4_pkg.adb | 19 + gcc/testsuite/gnat.dg/valid4_pkg.ads | 10 + 121 files changed, 3840 insertions(+), 3425 deletions(-) delete mode 100644 gcc/ada/vx_crtbegin.c delete mode 100644 gcc/ada/vx_crtbegin.inc delete mode 100644 gcc/ada/vx_crtbegin_array.c delete mode 100644 gcc/ada/vx_crtbegin_attr.c delete mode 100644 gcc/ada/vx_crtend.c delete mode 100644 gcc/ada/vxaddr2line.adb delete mode 100644 gcc/ada/vxlink-bind.adb delete mode 100644 gcc/ada/vxlink-bind.ads delete mode 100644 gcc/ada/vxlink-link.adb delete mode 100644 gcc/ada/vxlink-link.ads delete mode 100644 gcc/ada/vxlink-main.adb delete mode 100644 gcc/ada/vxlink.adb delete mode 100644 gcc/ada/vxlink.ads delete mode 100644 gcc/ada/vxworks-gnat-crtbe-link.spec create mode 100644 gcc/testsuite/gnat.dg/aspect1.adb create mode 100644 gcc/testsuite/gnat.dg/aspect1_horizontal.adb create mode 100644 gcc/testsuite/gnat.dg/aspect1_horizontal.ads create mode 100644 gcc/testsuite/gnat.dg/aspect1_vectors_2d.ads create mode 100644 gcc/testsuite/gnat.dg/atomic11.adb create mode 100644 gcc/testsuite/gnat.dg/atomic11_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/atomic11_pkg2.ads create mode 100644 gcc/testsuite/gnat.dg/bip_cu.adb create mode 100644 gcc/testsuite/gnat.dg/bip_cu_constructor.adb create mode 100644 gcc/testsuite/gnat.dg/bip_cu_constructor.ads create mode 100644 gcc/testsuite/gnat.dg/bip_cu_t.adb create mode 100644 gcc/testsuite/gnat.dg/bip_cu_t.ads create mode 100644 gcc/testsuite/gnat.dg/ghost2.adb create mode 100644 gcc/testsuite/gnat.dg/ghost2.ads copy gcc/testsuite/gnat.dg/{tagged1.adb => ghost3.adb} (57%) create mode 100644 gcc/testsuite/gnat.dg/ghost3.ads create mode 100644 gcc/testsuite/gnat.dg/ghost4.adb create mode 100644 gcc/testsuite/gnat.dg/iter4.adb create mode 100644 gcc/testsuite/gnat.dg/packed_array.adb create mode 100644 gcc/testsuite/gnat.dg/packed_array.ads create mode 100644 gcc/testsuite/gnat.dg/packed_array_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/valid4.adb create mode 100644 gcc/testsuite/gnat.dg/valid4_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/valid4_pkg.ads