This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from c9bbc06b95a [Ada] ICE on mix of tagged and limited interfaces new 2766f5ddc38 [Ada] New unit GNAT.Sets new 3473004187a [Ada] Minor reformattings new 2efb76a46af [Ada] Add notes about processing of aggregate projects new 948a8c17113 [Ada] Pair miscount in Dynamic_HTable.Put new 35353efe050 [Ada] Mimic the C++ ABI when passing class-wide conversion actuals new c8ea0fb4c56 [Ada] Spurious dependency on secondary stack new 9645a29859a [Ada] Spurious error on private extension with predicate new af8c97e03a6 [Ada] Add a No_Return annotation to ease static analysis new 87110162607 [Ada] Spurious error on interface conversion under ZFP new 4dad7411040 [Ada] Do not issue by default info messages for inlining in [...] new c80aa5fbc61 [Ada] Spurious elaboration issue due to inlining new 382c4351acd [Ada] SPARK: fix a bug related to loop exit environment new 7d97dbc989d [Ada] Missing front-end code for constraint checks on fixed [...] new e7062ef8d79 [Ada] Issue info message on inlined subprograms in GNATprove mode new 64aab93cf54 [Ada] Store -G xxx switches new f6640da5cd7 [Ada] Spurious ineffective use_clause warning new 724be312a13 [Ada] Fix inheritance of representation items defined as aspects new 813d608e6d0 [Ada] SPARK: minor error message enhancement new 9eeef0b0aaa 2018-09-26 Paolo Carlini paolo.carlini@oracle.com
The 19 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 | 171 ++++++ gcc/ada/Makefile.rtl | 1 + gcc/ada/back_end.adb | 25 +- gcc/ada/checks.adb | 17 +- gcc/ada/contracts.adb | 30 +- gcc/ada/debug.adb | 7 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 6 +- gcc/ada/errout.ads | 4 +- gcc/ada/exp_ch4.adb | 6 + gcc/ada/exp_ch6.adb | 3 +- gcc/ada/exp_disp.adb | 28 + gcc/ada/exp_intr.adb | 5 +- gcc/ada/exp_unst.adb | 30 +- gcc/ada/exp_util.adb | 14 +- gcc/ada/gcc-interface/Make-lang.in | 1 + gcc/ada/gnat1drv.adb | 2 +- gcc/ada/impunit.adb | 1 + gcc/ada/inline.adb | 21 +- gcc/ada/libgnat/g-dynhta.adb | 52 +- gcc/ada/libgnat/g-dynhta.ads | 55 +- gcc/ada/libgnat/g-lists.adb | 37 +- gcc/ada/libgnat/g-lists.ads | 55 +- gcc/ada/libgnat/g-sets.adb | 131 +++++ gcc/ada/libgnat/g-sets.ads | 161 ++++++ gcc/ada/libgnat/gnat.ads | 20 + gcc/ada/opt.ads | 15 +- gcc/ada/par-prag.adb | 12 +- gcc/ada/sem_ch12.adb | 133 +++-- gcc/ada/sem_ch13.adb | 24 +- gcc/ada/sem_ch3.adb | 8 +- gcc/ada/sem_ch5.adb | 539 +++++++++++------- gcc/ada/sem_ch8.adb | 10 +- gcc/ada/sem_prag.adb | 397 ++++++++----- gcc/ada/sem_res.adb | 9 +- gcc/ada/sem_spark.adb | 74 ++- gcc/ada/sinfo.ads | 4 +- gcc/ada/snames.ads-tmpl | 10 +- gcc/testsuite/ChangeLog | 45 ++ .../g++.dg/concepts/{pr67656.C => pr67655.C} | 3 +- gcc/testsuite/gnat.dg/dynhash.adb | 61 +- gcc/testsuite/gnat.dg/dynhash1.adb | 53 ++ gcc/testsuite/gnat.dg/elab7.adb | 9 + gcc/testsuite/gnat.dg/elab7_pkg1.adb | 8 + gcc/testsuite/gnat.dg/elab7_pkg1.ads | 3 + gcc/testsuite/gnat.dg/elab7_pkg2.adb | 15 + gcc/testsuite/gnat.dg/elab7_pkg2.ads | 5 + gcc/testsuite/gnat.dg/interface8.adb | 9 + gcc/testsuite/gnat.dg/interface8.ads | 11 + gcc/testsuite/gnat.dg/linkedlist.adb | 131 ++--- gcc/testsuite/gnat.dg/predicate2-containers.ads | 13 + .../gnat.dg/predicate2-project-name_values.ads | 37 ++ .../predicate2-project-registry-attribute.ads | 7 + .../gnat.dg/predicate2-project-registry.ads | 3 + .../gnat.dg/predicate2-project-typ-set.ads | 13 + gcc/testsuite/gnat.dg/predicate2-project-typ.ads | 24 + gcc/testsuite/gnat.dg/predicate2-project.ads | 4 + .../gnat.dg/predicate2-source_reference.ads | 33 ++ gcc/testsuite/gnat.dg/predicate2.ads | 14 + gcc/testsuite/gnat.dg/predicate2_main.adb | 10 + gcc/testsuite/gnat.dg/sets1.adb | 634 +++++++++++++++++++++ gcc/testsuite/gnat.dg/sso13.adb | 24 + gcc/testsuite/gnat.dg/warn16.adb | 38 ++ 62 files changed, 2612 insertions(+), 713 deletions(-) create mode 100644 gcc/ada/libgnat/g-sets.adb create mode 100644 gcc/ada/libgnat/g-sets.ads copy gcc/testsuite/g++.dg/concepts/{pr67656.C => pr67655.C} (89%) create mode 100644 gcc/testsuite/gnat.dg/dynhash1.adb create mode 100644 gcc/testsuite/gnat.dg/elab7.adb create mode 100644 gcc/testsuite/gnat.dg/elab7_pkg1.adb create mode 100644 gcc/testsuite/gnat.dg/elab7_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/elab7_pkg2.adb create mode 100644 gcc/testsuite/gnat.dg/elab7_pkg2.ads create mode 100644 gcc/testsuite/gnat.dg/interface8.adb create mode 100644 gcc/testsuite/gnat.dg/interface8.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2-containers.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2-project-name_values.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2-project-registry-attribute.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2-project-registry.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2-project-typ-set.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2-project-typ.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2-project.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2-source_reference.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2.ads create mode 100644 gcc/testsuite/gnat.dg/predicate2_main.adb create mode 100644 gcc/testsuite/gnat.dg/sets1.adb create mode 100644 gcc/testsuite/gnat.dg/sso13.adb create mode 100644 gcc/testsuite/gnat.dg/warn16.adb