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

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

from e967dff897f PR lto/91028 PR lto/90720 * g++.dg/lto/alias-1_0.C: Add [...] new 487da8fffa2 [Ada] Fix formatting issues in the gnat_ugn documentation new 0dae8dc23d5 [Ada] Crash due to missing freeze nodes in transient scope new 7362896bd8d [Ada] Compiler abort on use of Invalid_Value on numeric pos [...] new b0111d9409c [Ada] GNAT.Sockets: fix Get_Address when AF_INET6 is not defined new 830a2a71658 [Ada] Implement GNAT.Graphs new 5051fe355cc [Ada] Disable expansion of 'Min/'Max of floating point types new 216ffc643ed [Ada] Minor reformatting new 17fdf8c20ee [Ada] Clean up of GNAT.Dynamic_HTables new 205a23a3a03 [Ada] Clean up of GNAT.Lists new a0d15509f95 [Ada] Clean up of GNAT.Sets new 175c4526c93 [Ada] Clean up of GNAT.Graphs new 2c6b4adae55 [Ada] Fix "componant" typos in comments new ee4279efe7c [Ada] Revert "Global => null" on calendar routines that use [...] new 0a1ece97cc5 [Ada] Improve error message on mult/div between fixed-point [...] new 2cf822b7be0 [Ada] gprbuild fails to find ghost ALI files new cdee70d7970 [Ada] Incorrect definition of Win32 compatible types new 6b4f0b7ddcc [Ada] Correct size in representation clauses documentation new 2db33bd6f69 [Ada] Unnesting: improve handling of private and incomplete types new bcb5ab8376f [Ada] Make No_Inline pragma effective for protected subprograms new 830501b5a43 2019-07-01 Richard Biener rguenther@suse.de new 866fa2d0594 [Ada] Wrong code with -gnatVa on lock-free protected objects new bf13a79d6d4 [Ada] Cleanup references to LynuxWorks in docs and comments new 374fdf942ed [Ada] Remove a SPARK rule about implicit Global new b20f7e2cf7f [Ada] Crash on improper pragma Weak_External new fe48ee0a1a7 [Ada] GNAT.Sockets: refactor Has_Sockaddr_Len new d087b9ca787 [Ada] SPARK support for pointers through ownership new bcb8dcf380a [Ada] Spurious error private subtype derivation new 9d27ea41321 [Ada] Make No_Inline pragma effective for generic subprograms new fc8ae4965c1 [Ada] More permissive use of GNAT attribute Enum_Rep new 7a42b778e76 [Ada] Minor reformatting new d21e66fbb83 [Ada] Spurious error on inst. of partially defaulted formal [...]

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/ChangeLog | 197 + gcc/ada/Makefile.rtl | 1 + gcc/ada/checks.adb | 13 + .../gnat_rm/representation_clauses_and_pragmas.rst | 25 +- .../building_executable_programs_with_gnat.rst | 4 +- gcc/ada/einfo.adb | 4 +- gcc/ada/exp_attr.adb | 17 +- gcc/ada/exp_ch7.adb | 9 +- gcc/ada/exp_ch9.adb | 4 + gcc/ada/exp_unst.adb | 38 +- gcc/ada/freeze.adb | 19 +- gcc/ada/gcc-interface/Make-lang.in | 1 + gcc/ada/gnat1drv.adb | 8 +- gcc/ada/gnat_rm.texi | 27 +- gcc/ada/gnat_ugn.texi | 18 +- gcc/ada/gsocket.h | 8 +- gcc/ada/impunit.adb | 1 + gcc/ada/libgnat/a-calend.ads | 19 +- gcc/ada/libgnat/g-dynhta.adb | 286 +- gcc/ada/libgnat/g-dynhta.ads | 71 +- gcc/ada/libgnat/g-graphs.adb | 1459 +++++ gcc/ada/libgnat/g-graphs.ads | 527 ++ gcc/ada/libgnat/g-lists.adb | 170 +- gcc/ada/libgnat/g-lists.ads | 84 +- gcc/ada/libgnat/g-sets.adb | 82 +- gcc/ada/libgnat/g-sets.ads | 54 +- gcc/ada/libgnat/g-sothco.adb | 9 +- gcc/ada/libgnat/s-win32.ads | 9 +- gcc/ada/sem_attr.adb | 8 +- gcc/ada/sem_ch12.adb | 50 +- gcc/ada/sem_ch3.adb | 17 +- gcc/ada/sem_ch4.adb | 22 +- gcc/ada/sem_ch7.adb | 2 +- gcc/ada/sem_prag.adb | 8 +- gcc/ada/sem_spark.adb | 5748 ++++++++++---------- gcc/ada/sem_spark.ads | 8 +- gcc/ada/sem_util.adb | 8 +- gcc/ada/sysdep.c | 1 - gcc/ada/uintp.adb | 89 +- gcc/ada/uintp.ads | 6 +- gcc/c/ChangeLog | 6 + gcc/c/gimple-parser.c | 9 +- gcc/testsuite/ChangeLog | 48 + gcc/testsuite/gcc.dg/gimplefe-42.c | 18 + gcc/testsuite/gnat.dg/derived_type6.adb | 5 + gcc/testsuite/gnat.dg/derived_type6.ads | 9 + gcc/testsuite/gnat.dg/dynhash.adb | 41 +- gcc/testsuite/gnat.dg/dynhash1.adb | 8 +- .../gnat.dg/{expr_func2.adb => enum_rep.adb} | 4 +- gcc/testsuite/gnat.dg/enum_rep.ads | 22 + .../gnat.dg/{expr_func2.adb => freezing1.adb} | 4 +- gcc/testsuite/gnat.dg/freezing1.ads | 10 + gcc/testsuite/gnat.dg/freezing1_pack.adb | 8 + gcc/testsuite/gnat.dg/freezing1_pack.ads | 16 + gcc/testsuite/gnat.dg/generic_inst3.adb | 20 + .../gnat.dg/generic_inst3_kafka_lib-topic.ads | 7 + gcc/testsuite/gnat.dg/generic_inst3_kafka_lib.ads | 2 + gcc/testsuite/gnat.dg/generic_inst3_markets.ads | 10 + .../gnat.dg/generic_inst3_traits-encodables.ads | 8 + gcc/testsuite/gnat.dg/generic_inst3_traits.ads | 3 + gcc/testsuite/gnat.dg/linkedlist.adb | 72 +- gcc/testsuite/gnat.dg/prot7.adb | 22 + gcc/testsuite/gnat.dg/prot7.ads | 16 + gcc/testsuite/gnat.dg/sets1.adb | 48 +- gcc/testsuite/gnat.dg/weak3.adb | 11 + gcc/testsuite/gnat.dg/weak3.ads | 3 + 66 files changed, 6130 insertions(+), 3431 deletions(-) create mode 100644 gcc/ada/libgnat/g-graphs.adb create mode 100644 gcc/ada/libgnat/g-graphs.ads create mode 100644 gcc/testsuite/gcc.dg/gimplefe-42.c create mode 100644 gcc/testsuite/gnat.dg/derived_type6.adb create mode 100644 gcc/testsuite/gnat.dg/derived_type6.ads copy gcc/testsuite/gnat.dg/{expr_func2.adb => enum_rep.adb} (53%) create mode 100644 gcc/testsuite/gnat.dg/enum_rep.ads copy gcc/testsuite/gnat.dg/{expr_func2.adb => freezing1.adb} (53%) create mode 100644 gcc/testsuite/gnat.dg/freezing1.ads create mode 100644 gcc/testsuite/gnat.dg/freezing1_pack.adb create mode 100644 gcc/testsuite/gnat.dg/freezing1_pack.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst3.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst3_kafka_lib-topic.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst3_kafka_lib.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst3_markets.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst3_traits-encodables.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst3_traits.ads create mode 100644 gcc/testsuite/gnat.dg/prot7.adb create mode 100644 gcc/testsuite/gnat.dg/prot7.ads create mode 100644 gcc/testsuite/gnat.dg/weak3.adb create mode 100644 gcc/testsuite/gnat.dg/weak3.ads