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

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

from f52fbd56947 2019-07-04 Richard Biener rguenther@suse.de new 4ae0a9ce73b [Ada] Spurious dimensionality error on aggregate with "othe [...] new 363b1a8eb48 [Ada] Get_Scos: Remove bogus, dead code new c0e899f1f90 [Ada] GNAT.Sockets: fix socket timeout on recent Windows versions new 39ecad349c9 [Ada] Reduce emitted code size in CCG for aggregate assignment new 90f2b146305 [Ada] CCG: restrict folding for boolean tests new b0c19ea3b6e [Ada] Keep assertions in internal units enabled for GNATprove new 11903e6832b [Ada] CCG: reduce generated temporaries new 5bc0f990d64 [Ada] Better error messages for ownership errors in SPARK new 3843c1bdafc [Ada] Minor reformatting new 7754aad45c5 [Ada] Skip code not in SPARK for ownership analysis new 542b3e266be [Ada] Unnesting: handle conditional expressions new 2281b8076cc [Ada] Hang on expansion of library-level instantiation new afd77d39cfd [Ada] Fix crash in SPARK ownership checking new c65d33a8a47 [Ada] Synchronized object definition in SPARK updated new 74a5962ad4d [Ada] Minor typo fixes new 25ddc6bafbd [Ada] Spurious error on 'First in a generic context new eb4dbf20881 [Ada] Assertion failure on Default_Initial_Condition new cf32543dec5 [Ada] Do not create a master unless Tasking_Allowed new 17fa952aa04 [Ada] Missing actual for generated initialization procedure new 63fe3141793 [Ada] Bug in composition of equality for variant records new 12795e1ce20 [Ada] Spurious error on incomplete tagged formal parameter new 92b004beeee [Ada] SPARK_Mode Off now allowed inside subprogram new 39dec7f408d [Ada] Expr. func. with private formal rejected in nested Gh [...] new c930bc820b7 [Ada] Management of internal data structures in Sem_Elab new f5388f994bc [Ada] Spurious error on instantiation and limited_with_clause new f14a590b9b8 [Ada] Fix capitalization and parenthesis glitches in GNAT RM new 0ebaade40b8 [Ada] Add preconditions in Ada.Task_Identification new 40bff3a0ced [Ada] Minor reformatting new e0ff16395c0 [Ada] Clean up support for validity checks in the compiler new ecd07d3b233 [Ada] Spurious error on non-default C++ constructor

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/ChangeLog | 231 ++++++++ .../doc/gnat_rm/implementation_defined_pragmas.rst | 7 +- .../doc/gnat_ugn/platform_specific_information.rst | 43 ++ gcc/ada/erroutc.adb | 1 + gcc/ada/exp_aggr.adb | 586 ++++++++++----------- gcc/ada/exp_ch11.adb | 4 +- gcc/ada/exp_ch3.adb | 101 ++-- gcc/ada/exp_ch4.adb | 132 +++-- gcc/ada/exp_ch4.ads | 17 +- gcc/ada/exp_ch5.adb | 4 +- gcc/ada/exp_ch7.adb | 2 +- gcc/ada/exp_ch9.adb | 6 +- gcc/ada/exp_tss.adb | 16 +- gcc/ada/exp_unst.adb | 27 + gcc/ada/get_scos.adb | 6 - gcc/ada/gnat1drv.adb | 3 +- gcc/ada/gnat_rm.texi | 7 +- gcc/ada/gnat_ugn.texi | 246 +++++---- gcc/ada/gsocket.h | 1 + gcc/ada/inline.adb | 10 +- gcc/ada/libgnarl/a-taside.ads | 9 + gcc/ada/libgnat/g-socket.adb | 26 +- gcc/ada/libgnat/g-sothco.ads | 7 + gcc/ada/opt.adb | 9 +- gcc/ada/par-load.adb | 16 +- gcc/ada/rtsfind.ads | 34 +- gcc/ada/sem_attr.adb | 7 +- gcc/ada/sem_ch10.adb | 28 +- gcc/ada/sem_ch12.adb | 47 +- gcc/ada/sem_ch13.adb | 2 +- gcc/ada/sem_ch3.adb | 7 +- gcc/ada/sem_ch6.adb | 7 +- gcc/ada/sem_dim.adb | 21 +- gcc/ada/sem_disp.adb | 9 + gcc/ada/sem_elab.adb | 182 +++++-- gcc/ada/sem_prag.adb | 11 +- gcc/ada/sem_spark.adb | 326 ++++++++---- gcc/ada/sem_util.adb | 22 +- gcc/ada/socket.c | 11 + gcc/ada/validsw.adb | 9 +- gcc/ada/validsw.ads | 48 +- gcc/ada/xref_lib.adb | 2 +- gcc/testsuite/ChangeLog | 53 ++ gcc/testsuite/gnat.dg/allocator.adb | 11 + gcc/testsuite/gnat.dg/aspect2.adb | 5 + gcc/testsuite/gnat.dg/aspect2.ads | 30 ++ gcc/testsuite/gnat.dg/cpp_constructor.adb | 12 + gcc/testsuite/gnat.dg/cpp_constructor_fp.ads | 10 + gcc/testsuite/gnat.dg/cpp_constructor_useit.ads | 8 + .../gnat.dg/default_initial_condition.adb | 12 + .../gnat.dg/default_initial_condition_pack.adb | 7 + .../gnat.dg/default_initial_condition_pack.ads | 12 + gcc/testsuite/gnat.dg/dimensions2.adb | 20 + gcc/testsuite/gnat.dg/dimensions2_phys.ads | 80 +++ gcc/testsuite/gnat.dg/dimensions2_real_numbers.ads | 3 + gcc/testsuite/gnat.dg/equal6.adb | 29 + gcc/testsuite/gnat.dg/equal6_types.adb | 15 + gcc/testsuite/gnat.dg/equal6_types.ads | 49 ++ gcc/testsuite/gnat.dg/generic_inst4.adb | 7 + gcc/testsuite/gnat.dg/generic_inst4_gen.ads | 3 + gcc/testsuite/gnat.dg/generic_inst4_inst.ads | 5 + gcc/testsuite/gnat.dg/generic_inst4_typ.ads | 7 + gcc/testsuite/gnat.dg/{enum_rep.adb => ghost5.adb} | 4 +- gcc/testsuite/gnat.dg/ghost5.ads | 5 + gcc/testsuite/gnat.dg/ghost5_parent.ads | 14 + gcc/testsuite/gnat.dg/spark3.adb | 20 + gcc/testsuite/gnat.dg/synchronized2.adb | 5 + gcc/testsuite/gnat.dg/synchronized2.ads | 4 + gcc/testsuite/gnat.dg/synchronized2_pkg.ads | 5 + gcc/testsuite/gnat.dg/tagged2.adb | 9 + gcc/testsuite/gnat.dg/tagged2.ads | 9 + 71 files changed, 2001 insertions(+), 742 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/allocator.adb create mode 100644 gcc/testsuite/gnat.dg/aspect2.adb create mode 100644 gcc/testsuite/gnat.dg/aspect2.ads create mode 100644 gcc/testsuite/gnat.dg/cpp_constructor.adb create mode 100644 gcc/testsuite/gnat.dg/cpp_constructor_fp.ads create mode 100644 gcc/testsuite/gnat.dg/cpp_constructor_useit.ads create mode 100644 gcc/testsuite/gnat.dg/default_initial_condition.adb create mode 100644 gcc/testsuite/gnat.dg/default_initial_condition_pack.adb create mode 100644 gcc/testsuite/gnat.dg/default_initial_condition_pack.ads create mode 100644 gcc/testsuite/gnat.dg/dimensions2.adb create mode 100644 gcc/testsuite/gnat.dg/dimensions2_phys.ads create mode 100644 gcc/testsuite/gnat.dg/dimensions2_real_numbers.ads create mode 100644 gcc/testsuite/gnat.dg/equal6.adb create mode 100644 gcc/testsuite/gnat.dg/equal6_types.adb create mode 100644 gcc/testsuite/gnat.dg/equal6_types.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst4.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst4_gen.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst4_inst.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst4_typ.ads copy gcc/testsuite/gnat.dg/{enum_rep.adb => ghost5.adb} (58%) create mode 100644 gcc/testsuite/gnat.dg/ghost5.ads create mode 100644 gcc/testsuite/gnat.dg/ghost5_parent.ads create mode 100644 gcc/testsuite/gnat.dg/spark3.adb create mode 100644 gcc/testsuite/gnat.dg/synchronized2.adb create mode 100644 gcc/testsuite/gnat.dg/synchronized2.ads create mode 100644 gcc/testsuite/gnat.dg/synchronized2_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/tagged2.adb create mode 100644 gcc/testsuite/gnat.dg/tagged2.ads