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

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

from faef38bff32 2019-07-11 Richard Biener rguenther@suse.de new 92796fc82dc Do not try to further refine a VR_UNDEFINED result when int [...] new d7569e0494c [Ada] Avoid spurious warning on wrong order of operator cal [...] new 12b1c23bb8c [Ada] Elaboration order v4.0 and infinite loops new ef0b220697f [Ada] GNAT.Threads: Add a Get_Thread overload taking a Task_Id new b1118eb8653 [Ada] No warning for guaranteed accessibility check failures new 5dc190e5b80 [Ada] New Repinfo.Input unit to read back JSON representati [...] new 001b1b6a498 [Ada] Missing finalization of private protected type new 8c93b71cb96 [Ada] Fix crash on dynamic predicate when generating SCOs new 3d95efc8362 [Ada] Link error due to negated intrinsic comparison new 3da5e0d4f65 [Ada] Compile-time evaluation of predicate checks new 21dccd5fa6a [Ada] Internal crash on illegal renaming new 53904d64c2d [Ada] Minor reformatting new 814e7b6eac9 [Ada] Infinite loop on illegal declaration new 2d95f0f8228 [Ada] Document gnatpp's --spaces-only switch new 872595881c6 [Ada] Fix inconsistent documentation for gnatmetric new af7bae25034 [Ada] Pragma Unreferenced triggers undefined reference new 0595f8ff4b0 [Ada] GNAT.Sockets: add support for RAW sockets new 32859955616 [Ada] Elaboration order v4.0 and output of dependencies new 180bd06be95 [Ada] Remove redundant predicate checks new 8e22ede85e2 [Ada] errno.c: remove obsolete support for MaRTE OS new 3bcff314423 [Ada] Memory corruption when using formal hashed sets or maps new dc001f3e55c [Ada] GNAT.Sockets: support ICMP, IGMP and RAW IP protocol levels new 263dcfe9d75 [Ada] Crash on protected type with self-referential component new 6e0725a99e5 [Ada] Makefile.rtl: add a warning about compilation flags

The 24 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 | 6 + gcc/ada/ChangeLog | 189 ++++ gcc/ada/Makefile.rtl | 24 +- gcc/ada/alloc.ads | 3 + gcc/ada/bindo-augmentors.adb | 8 +- gcc/ada/bindo-builders.adb | 10 + gcc/ada/bindo-diagnostics.adb | 5 + gcc/ada/bindo-elaborators.adb | 4 + gcc/ada/bindo-graphs.adb | 23 + gcc/ada/bindo-graphs.ads | 7 + gcc/ada/bindo-units.adb | 8 + gcc/ada/bindo-validators.adb | 27 +- gcc/ada/bindo-writers.adb | 93 ++ gcc/ada/bindo-writers.ads | 17 + gcc/ada/bindo.adb | 14 +- gcc/ada/bindo.ads | 18 + gcc/ada/checks.adb | 29 +- gcc/ada/debug.adb | 13 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 96 +- gcc/ada/errno.c | 15 +- gcc/ada/exp_ch4.adb | 7 +- gcc/ada/exp_ch5.adb | 20 +- gcc/ada/exp_ch6.adb | 125 +++ gcc/ada/exp_ch9.adb | 74 +- gcc/ada/exp_util.adb | 92 +- gcc/ada/exp_util.ads | 4 - gcc/ada/gcc-interface/Make-lang.in | 1 + gcc/ada/gnat1drv.adb | 48 +- gcc/ada/gnat_ugn.texi | 2 +- gcc/ada/libgnarl/g-thread.adb | 9 +- gcc/ada/libgnarl/g-thread.ads | 4 +- gcc/ada/libgnat/a-cfhama.adb | 7 +- gcc/ada/libgnat/a-cfhase.adb | 7 +- gcc/ada/libgnat/g-socket.adb | 8 +- gcc/ada/libgnat/g-socket.ads | 14 +- gcc/ada/repinfo-input.adb | 1350 ++++++++++++++++++++++++ gcc/ada/repinfo-input.ads | 78 ++ gcc/ada/s-oscons-tmplt.c | 105 ++ gcc/ada/sem_aux.adb | 9 +- gcc/ada/sem_ch2.adb | 5 +- gcc/ada/sem_ch8.adb | 46 +- gcc/ada/sem_ch9.adb | 48 +- gcc/ada/sem_prag.adb | 9 +- gcc/ada/sem_res.adb | 16 +- gcc/ada/sem_util.adb | 96 +- gcc/ada/sem_util.ads | 4 + gcc/ada/snames.ads-tmpl | 5 + gcc/testsuite/ChangeLog | 32 + gcc/testsuite/gnat.dg/access7.adb | 79 ++ gcc/testsuite/gnat.dg/equal9.adb | 26 + gcc/testsuite/gnat.dg/predicate11.adb | 19 + gcc/testsuite/gnat.dg/prot8.adb | 8 + gcc/testsuite/gnat.dg/prot8.ads | 10 + gcc/testsuite/gnat.dg/scos1.adb | 26 + gcc/testsuite/gnat.dg/self_ref1.adb | 11 + gcc/testsuite/gnat.dg/unreferenced2.adb | 34 + gcc/testsuite/gnat.dg/warn21.adb | 6 + gcc/testsuite/gnat.dg/warn21.ads | 18 + gcc/tree-vrp.c | 5 + 59 files changed, 2819 insertions(+), 257 deletions(-) create mode 100644 gcc/ada/repinfo-input.adb create mode 100644 gcc/ada/repinfo-input.ads create mode 100644 gcc/testsuite/gnat.dg/access7.adb create mode 100644 gcc/testsuite/gnat.dg/equal9.adb create mode 100644 gcc/testsuite/gnat.dg/predicate11.adb create mode 100644 gcc/testsuite/gnat.dg/prot8.adb create mode 100644 gcc/testsuite/gnat.dg/prot8.ads create mode 100644 gcc/testsuite/gnat.dg/scos1.adb create mode 100644 gcc/testsuite/gnat.dg/self_ref1.adb create mode 100644 gcc/testsuite/gnat.dg/unreferenced2.adb create mode 100644 gcc/testsuite/gnat.dg/warn21.adb create mode 100644 gcc/testsuite/gnat.dg/warn21.ads