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

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

from 6cfbd82f290 Define std::string and related typedefs outside __cxx11 namespace new 2157fb63fc4 [Ada] Spurious warning on uninitialized entity during code [...] new 95c1628619e [Ada] Preserve Do_Range_Check flags in SPARK mode new 78a87b1065e [Ada] Remove CodePeer annotation new 293df1f269e [Ada] System.Os_Lib.Normalize_Pathname: fix incorrect comment new 550f5c01b7f [Ada] Various User Manual updates for GNATpp new 26354491ecb [Ada] Repinfo: list the mechanism of functions only new cb3f6e9f971 [Ada] Spurious error message on visibiliy change in aspect [...] new bcd6b924d91 [Ada] Unnesting: avoid unnecessary loads of System new a367d7bc934 [Ada] Reset Is_True_Constant on entites used as OUT/IN OUT actuals new 7ee13c0d5af [Ada] Functional_Vectors: remove default value for max size new 00d3da2a209 [Ada] Bounded_Holders: fix a typo new 99f74c0fff8 [Ada] Remove spurious -Wuninitialized warning for small arr [...] new e85e34ecf7e [Ada] Unnesting: fix handling of uplevel refs to unconstrai [...] new 798b97c4a32 [Ada] Fix expansion of operations on nonbinary modular types new 9a9ff6cb776 [Ada] Unnesting: fix handling of private types that are syn [...] new fff3c0d68c9 [Ada] Internal error on inlined renaming of subprogram instance new c10b5d58f59 [Ada] Einfo: minor comment fix new c6183af9ad2 [Ada] Fix strange warning when using Ada.Iterator_Interface new 1b2b6de0550 [Ada] Minor copyright header fix new fd38c4f71d2 [Ada] SPARK: fix bug related to non access object permissions new bc6efd3343c [Ada] Fix spurious error on derived record passed as Out parameter new 897658db0e3 [Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode new 5e8c91e3c27 [Ada] Minor tweaks to suppress warnings new 689a9609741 [Ada] Fix incorrect computation of Component_Size in ASIS mode new f5edd321a43 [Ada] Fix spurious -Wuninitialized warnings for small records

The 25 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 | 172 +++++++++++++++++++++++++ gcc/ada/adaint.c | 9 +- gcc/ada/checks.adb | 5 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 37 ++++-- gcc/ada/einfo.ads | 2 +- gcc/ada/exp_aggr.adb | 1 + gcc/ada/exp_ch3.adb | 95 ++++++++++---- gcc/ada/exp_ch4.adb | 16 ++- gcc/ada/exp_ch6.adb | 9 ++ gcc/ada/exp_disp.adb | 8 +- gcc/ada/exp_unst.adb | 66 +++++++--- gcc/ada/fe.h | 6 + gcc/ada/gcc-interface/decl.c | 77 ++++++----- gcc/ada/gcc-interface/trans.c | 5 +- gcc/ada/libgnat/a-cfinve.ads | 3 +- gcc/ada/libgnat/a-coboho.ads | 2 +- gcc/ada/libgnat/a-ncelfu.ads | 2 +- gcc/ada/libgnat/s-os_lib.ads | 4 +- gcc/ada/repinfo.adb | 3 +- gcc/ada/sem_ch6.adb | 12 +- gcc/ada/sem_ch7.adb | 11 +- gcc/ada/sem_prag.adb | 11 ++ gcc/ada/sem_spark.adb | 20 +-- gcc/ada/socket.c | 4 +- gcc/ada/terminals.c | 11 +- gcc/ada/vxlink.adb | 4 - gcc/testsuite/ChangeLog | 18 +++ gcc/testsuite/gnat.dg/derived_type5.adb | 10 ++ gcc/testsuite/gnat.dg/derived_type5_pkg.ads | 27 ++++ gcc/testsuite/gnat.dg/inline14.adb | 9 ++ gcc/testsuite/gnat.dg/inline14_pkg.adb | 16 +++ gcc/testsuite/gnat.dg/inline14_pkg.ads | 6 + gcc/testsuite/gnat.dg/warn17.adb | 22 ++++ gcc/testsuite/gnat.dg/warn18.adb | 13 ++ 34 files changed, 586 insertions(+), 130 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/derived_type5.adb create mode 100644 gcc/testsuite/gnat.dg/derived_type5_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/inline14.adb create mode 100644 gcc/testsuite/gnat.dg/inline14_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/inline14_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/warn17.adb create mode 100644 gcc/testsuite/gnat.dg/warn18.adb