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

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

from 89dbc2fab13 * testsuite/18_support/new_nothrow.cc: XFAIL on AIX. new cccf033e435 [Ada] Add sa_messages.ad[sb] for SPARK 2014 new 4fa679e5f61 [Ada] Handle pragmas that come from aspects for GNATprove new cdfda0e30dd [Ada] Enumeration types with non-standard representation new 9e12c9c71b0 [Ada] Dynamically resizable, load factor-based hash table new 3f813127ca6 [Ada] Compiler abort on call to expr. function for default [...] new e485244f644 [Ada] Set_Targ: add a CodePeer annotation new 71af32ba5d2 [Ada] Crash on entry in generic with dynamic elaboration checks new 60af238e4f8 [Ada] Fix scope computation for entry bodies and accept alt [...] new e8603de1284 [Ada] General purpose doubly linked list for compiler and tool use new 1ae20fc442f [Ada] Define versions of dimension system for Float and Long_Float new 04d047d8fab [Ada] Spurious "Duplicated symbol" error with discriminated tasks new 1a7ea289f34 [Ada] Fix internal error on extension of record with repres [...] new cf40f591997 [Ada] Fix spurious error on unchecked conversion on VFA rec [...] new 7d3a41bb107 [Ada] Improper copying of limited arrays with default initi [...] new 74d7986444e [Ada] Unnesting: do not emit warnings for access to subprograms new 3fb32d240b5 [Ada] Unnesting: do not set size of access subprograms new a85e94af942 [Ada] Crash compiling SPARK ghost functions with callgraph info new 49daa8a9aa0 [Ada] Sprint: add guard on printing aspects new 4c397cd59e0 [Ada] Set scope of elaboration flag for 'Access new f0eeeb38b2f [Ada] Document entries of the target parametrization file new ba1b9e1f8bd [Ada] Spurious ambiguity error on call returning an access type new 24dca06dce6 [Ada] Update for Ownership rules for access types according [...] new 725d0bf88a8 [Ada] Einfo: remove obsolete code new 6aefdbe5070 [Ada] Fix scope computation for loop statements

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/ada/ChangeLog | 211 + gcc/ada/Makefile.rtl | 10 +- gcc/ada/checks.adb | 39 +- gcc/ada/checks.ads | 18 +- .../building_executable_programs_with_gnat.rst | 33 +- .../doc/gnat_ugn/gnat_and_program_execution.rst | 31 +- gcc/ada/einfo.adb | 52 +- gcc/ada/einfo.ads | 50 +- gcc/ada/exp_aggr.adb | 33 +- gcc/ada/exp_cg.adb | 9 +- gcc/ada/exp_ch9.adb | 26 +- gcc/ada/exp_util.adb | 21 +- gcc/ada/freeze.adb | 6 +- gcc/ada/gcc-interface/Make-lang.in | 1 + gcc/ada/gcc-interface/trans.c | 1 + gcc/ada/gnat_ugn.texi | 70 +- gcc/ada/impunit.adb | 9 + gcc/ada/itypes.adb | 2 +- gcc/ada/itypes.ads | 2 +- gcc/ada/layout.adb | 11 + gcc/ada/lib-xref-spark_specific.adb | 12 +- gcc/ada/lib-xref.ads | 5 + gcc/ada/libgnat/g-dynhta.adb | 834 +++- gcc/ada/libgnat/g-dynhta.ads | 310 +- gcc/ada/libgnat/g-lists.adb | 635 +++ gcc/ada/libgnat/g-lists.ads | 245 ++ gcc/ada/libgnat/{s-dimkio.ads => s-dfmkio.ads} | 12 +- gcc/ada/libgnat/{a-clrefi.ads => s-dfmopr.ads} | 12 +- gcc/ada/libgnat/{s-dmotpr.ads => s-dgmgop.ads} | 10 +- gcc/ada/libgnat/{gnat.ads => s-diflmk.ads} | 13 +- gcc/ada/libgnat/{s-dimmks.ads => s-digemk.ads} | 17 +- gcc/ada/libgnat/{gnat.ads => s-dilomk.ads} | 13 +- gcc/ada/libgnat/s-dimmks.ads | 363 +- gcc/ada/libgnat/{s-dimkio.ads => s-dlmkio.ads} | 12 +- gcc/ada/libgnat/{a-clrefi.ads => s-dlmopr.ads} | 12 +- gcc/ada/libgnat/s-dmotpr.ads | 141 +- gcc/ada/sa_messages.adb | 539 +++ gcc/ada/sa_messages.ads | 267 ++ gcc/ada/sem_attr.adb | 9 + gcc/ada/sem_ch13.adb | 39 +- gcc/ada/sem_ch3.adb | 4 +- gcc/ada/sem_res.adb | 26 +- gcc/ada/sem_spark.adb | 4394 +++++++------------- gcc/ada/sem_util.adb | 11 +- gcc/ada/sem_util.ads | 2 +- gcc/ada/set_targ.adb | 3 + gcc/ada/sprint.adb | 6 +- gcc/testsuite/ChangeLog | 34 + .../gnat.dg/{renaming12.adb => access5.adb} | 6 +- gcc/testsuite/gnat.dg/access5.ads | 10 + gcc/testsuite/gnat.dg/dynhash.adb | 750 ++++ gcc/testsuite/gnat.dg/elab6.adb | 8 + gcc/testsuite/gnat.dg/elab6.ads | 6 + gcc/testsuite/gnat.dg/elab6_pkg.adb | 17 + gcc/testsuite/gnat.dg/elab6_pkg.ads | 4 + gcc/testsuite/gnat.dg/enum4.adb | 59 + gcc/testsuite/gnat.dg/expr_func5.adb | 10 + gcc/testsuite/gnat.dg/linkedlist.adb | 1184 ++++++ gcc/testsuite/gnat.dg/rep_clause7.adb | 29 + gcc/testsuite/gnat.dg/task1.adb | 5 + gcc/testsuite/gnat.dg/task1.ads | 10 + gcc/testsuite/gnat.dg/task1_pkg.adb | 11 + gcc/testsuite/gnat.dg/task1_pkg.ads | 10 + 63 files changed, 6981 insertions(+), 3753 deletions(-) create mode 100644 gcc/ada/libgnat/g-lists.adb create mode 100644 gcc/ada/libgnat/g-lists.ads copy gcc/ada/libgnat/{s-dimkio.ads => s-dfmkio.ads} (85%) copy gcc/ada/libgnat/{a-clrefi.ads => s-dfmopr.ads} (85%) copy gcc/ada/libgnat/{s-dmotpr.ads => s-dgmgop.ads} (96%) copy gcc/ada/libgnat/{gnat.ads => s-diflmk.ads} (86%) copy gcc/ada/libgnat/{s-dimmks.ads => s-digemk.ads} (96%) copy gcc/ada/libgnat/{gnat.ads => s-dilomk.ads} (86%) copy gcc/ada/libgnat/{s-dimkio.ads => s-dlmkio.ads} (85%) copy gcc/ada/libgnat/{a-clrefi.ads => s-dlmopr.ads} (85%) create mode 100644 gcc/ada/sa_messages.adb create mode 100644 gcc/ada/sa_messages.ads copy gcc/testsuite/gnat.dg/{renaming12.adb => access5.adb} (52%) create mode 100644 gcc/testsuite/gnat.dg/access5.ads create mode 100644 gcc/testsuite/gnat.dg/dynhash.adb create mode 100644 gcc/testsuite/gnat.dg/elab6.adb create mode 100644 gcc/testsuite/gnat.dg/elab6.ads create mode 100644 gcc/testsuite/gnat.dg/elab6_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/elab6_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/enum4.adb create mode 100644 gcc/testsuite/gnat.dg/expr_func5.adb create mode 100644 gcc/testsuite/gnat.dg/linkedlist.adb create mode 100644 gcc/testsuite/gnat.dg/rep_clause7.adb create mode 100644 gcc/testsuite/gnat.dg/task1.adb create mode 100644 gcc/testsuite/gnat.dg/task1.ads create mode 100644 gcc/testsuite/gnat.dg/task1_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/task1_pkg.ads