This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 86af16cb608 [Ada] Properly set scope of artificial entities in blocks new fec1e5e7083 [Ada] Spurious error on overriding protected function in instance new 36bf51692bb [Ada] Crash processing SPARK annotate aspect new 241ea53438c [Ada] Retention of with clauses for ignored Ghost units new ab8afda3f3c [Ada] Spurious crash on expression function as completion w [...] new d22a9754839 [Ada] Crash on expression function and tagged types new 3bae5e8b2c5 [Ada] Add a new gnat tool vxlink new 96cb18c0ac0 [Ada] Minor reformattings
The 7 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 | 58 +++ gcc/ada/checks.adb | 6 +- gcc/ada/contracts.adb | 45 ++- gcc/ada/exp_aggr.adb | 5 +- gcc/ada/exp_attr.adb | 40 ++- gcc/ada/exp_ch6.adb | 5 +- gcc/ada/exp_ch7.adb | 7 +- gcc/ada/exp_ch9.adb | 8 +- gcc/ada/exp_unst.adb | 13 +- gcc/ada/exp_util.adb | 19 +- gcc/ada/freeze.adb | 205 ++++++++++- gcc/ada/freeze.ads | 11 + gcc/ada/gcc-interface/Makefile.in | 11 + gcc/ada/gnatlink.adb | 6 +- gcc/ada/layout.adb | 7 +- gcc/ada/lib-writ.adb | 22 +- gcc/ada/lib-xref-spark_specific.adb | 1 + gcc/ada/sem_ch10.adb | 3 - gcc/ada/sem_ch13.adb | 49 +-- gcc/ada/sem_ch3.adb | 8 +- gcc/ada/sem_ch6.adb | 250 ++----------- gcc/ada/sem_res.adb | 17 +- gcc/ada/sem_util.adb | 5 +- gcc/ada/sinfo.ads | 2 +- gcc/ada/sprint.adb | 9 +- gcc/ada/vxlink-bind.adb | 390 +++++++++++++++++++++ gcc/ada/{spark_xrefs.ads => vxlink-bind.ads} | 89 +++-- gcc/ada/vxlink-link.adb | 194 ++++++++++ gcc/ada/{sem_ch2.ads => vxlink-link.ads} | 50 ++- gcc/ada/{mdll-fil.adb => vxlink-main.adb} | 105 +++--- gcc/ada/vxlink.adb | 288 +++++++++++++++ gcc/ada/{adabkend.ads => vxlink.ads} | 58 +-- gcc/testsuite/ChangeLog | 16 + .../gnat.dg/{expr_func3.adb => expr_func6.adb} | 4 +- gcc/testsuite/gnat.dg/expr_func6.ads | 17 + .../gnat.dg/{tagged1.adb => expr_func7.adb} | 4 +- gcc/testsuite/gnat.dg/expr_func7.ads | 20 ++ gcc/testsuite/gnat.dg/prot6.adb | 20 ++ gcc/testsuite/gnat.dg/prot6.ads | 31 ++ gcc/testsuite/gnat.dg/spark2.adb | 12 + gcc/testsuite/gnat.dg/spark2.ads | 16 + 41 files changed, 1657 insertions(+), 469 deletions(-) create mode 100644 gcc/ada/vxlink-bind.adb copy gcc/ada/{spark_xrefs.ads => vxlink-bind.ads} (52%) create mode 100644 gcc/ada/vxlink-link.adb copy gcc/ada/{sem_ch2.ads => vxlink-link.ads} (64%) copy gcc/ada/{mdll-fil.adb => vxlink-main.adb} (50%) create mode 100644 gcc/ada/vxlink.adb copy gcc/ada/{adabkend.ads => vxlink.ads} (58%) copy gcc/testsuite/gnat.dg/{expr_func3.adb => expr_func6.adb} (55%) create mode 100644 gcc/testsuite/gnat.dg/expr_func6.ads copy gcc/testsuite/gnat.dg/{tagged1.adb => expr_func7.adb} (54%) create mode 100644 gcc/testsuite/gnat.dg/expr_func7.ads create mode 100644 gcc/testsuite/gnat.dg/prot6.adb create mode 100644 gcc/testsuite/gnat.dg/prot6.ads create mode 100644 gcc/testsuite/gnat.dg/spark2.adb create mode 100644 gcc/testsuite/gnat.dg/spark2.ads