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

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

from ced4584721b * config/arm/arm.c (arm_reorg): Skip Thumb reorg pass for [...] new fa03de5c487 2018-09-26 Paolo Carlini paolo.carlini@oracle.com new 64ac6fbc9a7 [Ada] Vxlink: kill a CodePeer warning new 50bfed1c3b3 A few places in the arm and aarch64 backends check whether [...] new 0a224eb8792 [Ada] Fix miscellaneous typos new c41dad83c22 [Ada] Vxlink: minor reformatting new 72b189b6a82 [Ada] SPARK: update borrowing effects for IN parameters new 829e64d49bb [Ada] Fix ICE related to type freezing new c76c8b91812 [Ada] Unnesting: fix handling of up level refs for entries new 70924aa6fa5 [Ada] Disable special handling for preconditions specified [...] new fa7b13c3c0d [Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File new 919ca1262e7 [Ada] Wrong handling of address clause for limited record type new 167cf9467c5 [Ada] Set Current_Error_Node directly new 2ea1bab9fc2 [Ada] Regression in partial compilation of RCI units new 3558a9f4bd6 [Ada] Fix assertion failure on record subtype with -gnatRj new a30ea1d07d2 [Ada] ICE on array of task type with -gnatct new 41c47207de5 [Ada] Missing predicate check on return value new 07eabae0788 [Ada] Crash on expression functions within quantified expressions new 5075c16307e [Ada] Propagate bit order and SSO from root to classwide eq [...] new d86fe1242ca [Ada] Preparation for new description of interface thunks new 6591af037f9 [Ada] Inlining of renamed subprogram instances in package body new 71bcd9afac0 [Ada] Missing error on non-limited derived type with limite [...] new d1540be4d3b [Ada] Front-end support for OpenACC pragmas new bb82277f5f5 [Ada] Illegal formal objects associated with anonymous acc- [...] new c9bbc06b95a [Ada] ICE on mix of tagged and limited interfaces

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/ChangeLog | 11 + gcc/ada/ChangeLog | 194 +++ gcc/ada/back_end.adb | 3 + gcc/ada/checks.adb | 7 + gcc/ada/contracts.adb | 30 +- gcc/ada/debug.adb | 4 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 152 ++ gcc/ada/exp_ch9.adb | 4 +- gcc/ada/exp_disp.adb | 3 +- gcc/ada/exp_unst.adb | 92 +- gcc/ada/exp_util.adb | 20 +- gcc/ada/exp_util.ads | 5 +- gcc/ada/fe.h | 6 +- gcc/ada/freeze.adb | 17 +- gcc/ada/gcc-interface/decl.c | 11 +- gcc/ada/gcc-interface/gigi.h | 3 - gcc/ada/gcc-interface/misc.c | 1 - gcc/ada/gcc-interface/trans.c | 39 +- gcc/ada/gcc-interface/utils.c | 2 +- gcc/ada/gnat1drv.adb | 6 + gcc/ada/gnat_rm.texi | 1833 +++++++++++--------- gcc/ada/layout.adb | 2 +- gcc/ada/lib-writ.adb | 11 +- gcc/ada/lib-writ.ads | 17 +- gcc/ada/opt.ads | 9 + gcc/ada/par-prag.adb | 4 + gcc/ada/repinfo.adb | 18 +- gcc/ada/sem_attr.adb | 4 +- gcc/ada/sem_ch3.adb | 16 +- gcc/ada/sem_ch5.adb | 52 +- gcc/ada/sem_ch6.adb | 10 + gcc/ada/sem_ch7.adb | 65 +- gcc/ada/sem_prag.adb | 581 +++++++ gcc/ada/sem_res.adb | 2 +- gcc/ada/sem_spark.adb | 51 +- gcc/ada/sem_util.adb | 6 +- gcc/ada/sinfo.adb | 32 + gcc/ada/sinfo.ads | 26 + gcc/ada/snames.ads-tmpl | 368 ++-- gcc/ada/vxlink.adb | 60 +- gcc/config/arm/aarch-common-protos.h | 2 + gcc/config/arm/aarch-common.c | 23 + gcc/config/arm/arm.c | 23 +- gcc/config/arm/sync.md | 22 +- gcc/testsuite/ChangeLog | 24 + gcc/testsuite/g++.dg/concepts/pr67656.C | 19 + gcc/testsuite/gnat.dg/addr12.adb | 8 + gcc/testsuite/gnat.dg/addr12_a.adb | 20 + gcc/testsuite/gnat.dg/addr12_a.ads | 3 + gcc/testsuite/gnat.dg/addr12_b.adb | 8 + gcc/testsuite/gnat.dg/addr12_b.ads | 24 + gcc/testsuite/gnat.dg/addr12_c.ads | 6 + gcc/testsuite/gnat.dg/expr_func8.adb | 37 + gcc/testsuite/gnat.dg/predicate3.adb | 39 + gcc/testsuite/gnat.dg/predicate3_pkg.ads | 22 + gcc/testsuite/gnat.dg/sso12.adb | 17 + 56 files changed, 2896 insertions(+), 1178 deletions(-) create mode 100644 gcc/testsuite/g++.dg/concepts/pr67656.C create mode 100644 gcc/testsuite/gnat.dg/addr12.adb create mode 100644 gcc/testsuite/gnat.dg/addr12_a.adb create mode 100644 gcc/testsuite/gnat.dg/addr12_a.ads create mode 100644 gcc/testsuite/gnat.dg/addr12_b.adb create mode 100644 gcc/testsuite/gnat.dg/addr12_b.ads create mode 100644 gcc/testsuite/gnat.dg/addr12_c.ads create mode 100644 gcc/testsuite/gnat.dg/expr_func8.adb create mode 100644 gcc/testsuite/gnat.dg/predicate3.adb create mode 100644 gcc/testsuite/gnat.dg/predicate3_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/sso12.adb