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

tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_kernel/gnu-master-aarch64-next-allnoconfig in repository toolchain/ci/gcc.

from f52fbd56947 2019-07-04 Richard Biener rguenther@suse.de adds 4ae0a9ce73b [Ada] Spurious dimensionality error on aggregate with "othe [...] adds 363b1a8eb48 [Ada] Get_Scos: Remove bogus, dead code adds c0e899f1f90 [Ada] GNAT.Sockets: fix socket timeout on recent Windows versions adds 39ecad349c9 [Ada] Reduce emitted code size in CCG for aggregate assignment adds 90f2b146305 [Ada] CCG: restrict folding for boolean tests adds b0c19ea3b6e [Ada] Keep assertions in internal units enabled for GNATprove adds 11903e6832b [Ada] CCG: reduce generated temporaries adds 5bc0f990d64 [Ada] Better error messages for ownership errors in SPARK adds 3843c1bdafc [Ada] Minor reformatting adds 7754aad45c5 [Ada] Skip code not in SPARK for ownership analysis adds 542b3e266be [Ada] Unnesting: handle conditional expressions adds 2281b8076cc [Ada] Hang on expansion of library-level instantiation adds afd77d39cfd [Ada] Fix crash in SPARK ownership checking adds c65d33a8a47 [Ada] Synchronized object definition in SPARK updated adds 74a5962ad4d [Ada] Minor typo fixes adds 25ddc6bafbd [Ada] Spurious error on 'First in a generic context adds eb4dbf20881 [Ada] Assertion failure on Default_Initial_Condition adds cf32543dec5 [Ada] Do not create a master unless Tasking_Allowed adds 17fa952aa04 [Ada] Missing actual for generated initialization procedure adds 63fe3141793 [Ada] Bug in composition of equality for variant records adds 12795e1ce20 [Ada] Spurious error on incomplete tagged formal parameter adds 92b004beeee [Ada] SPARK_Mode Off now allowed inside subprogram adds 39dec7f408d [Ada] Expr. func. with private formal rejected in nested Gh [...] adds c930bc820b7 [Ada] Management of internal data structures in Sem_Elab adds f5388f994bc [Ada] Spurious error on instantiation and limited_with_clause adds f14a590b9b8 [Ada] Fix capitalization and parenthesis glitches in GNAT RM adds 0ebaade40b8 [Ada] Add preconditions in Ada.Task_Identification adds 40bff3a0ced [Ada] Minor reformatting adds e0ff16395c0 [Ada] Clean up support for validity checks in the compiler adds ecd07d3b233 [Ada] Spurious error on non-default C++ constructor adds c4c5d27be91 Fix loading of lto_section on strict alignment targets (PR [...] adds e552e6117a3 Improve OpenMP map diagnostics. adds 6dc331f640d * tree-ssa-alias.c (decl_refs_may_alias_p): Add size1 and [...] adds 14e0bfeddc5 2019-07-04 James Clarke jrtc27@debian.org adds e3b3a12f464 2019-07-04 Richard Biener rguenther@suse.de adds 02f70d0eaa9 2019-07-04 Richard Biener rguenther@suse.de adds e91fbd6e886 introduce EH_ELSE_EXPR tree and gimplifier adds 8b636139c0d introduce gcc_jit_context_new_bitfield adds a9442211eb9 Support __builtin_expect_with_probability for analysis of # [...] adds fc1302e46c8 Fix arm XFAIL in cunroll-15.c adds 56f5a70cf76 jit: gcc_jit_context_new_binary_op check res type adds 6b8982655a8 * tree-ssa-alias.c (nonoverlapping_component_refs_since_ma [...] adds 80e713c9e94 [Darwin] Revert one hunk from r273016 (TLC for older Darwin [...] adds 5c77f6d698a * omp-expand.c (expand_omp_for_static_nochunk): Don't emit [...] adds edb8aafcc02 PR middle-end/78884 * gimplify.c (struct gimplify_omp_ctx [...] adds 13e357b5a79 Daily bump. new d2d09f3e24b [Ada] GNAT.Traceback: add a Call_Chain function new 1cb1fd0fd69 [Ada] Ada.Containers.Formal_Vectors: make vectors always bounded new 2f67af4cc25 [Ada] No_Stream_Optimizations ignored for 'Class'Input new 2c3ad474626 [Ada] Fix typo in GNAT RM new 572a4bc50d4 [Ada] Fix inlining in GNATprove inside quantified expressions new 164597c57da [Ada] Compiler abort on a dynamic predicate used in a precondition new 2500be2f761 [Ada] Diagnostics in Elaboration order v4.0 new 1bc68ac24c2 [Ada] Accept compilation switches -Og/-Ofast in non-GCC backends new 70f9c8aa20e [Ada] Import documentation from the RM for Ada.Strings.Fixed new 33ae0c9f534 [Ada] Import documentation from the RM for Ada.Strings.Unbounded new 249e38a7b79 [Ada] Removing support for SCIL "contract-only" subprogram bodies new 6eddee84f44 [Ada] Spurious error on aggregate with choice that is predi [...] new 2d8a0eb307a [Ada] Crash on exported build-in-place function new f28a3d6c447 [Ada] Typo fixes new 0e6f6ee178d [Ada] Wrong accessibility level under -gnat12 new 51f2c7f9126 [Ada] Failure to detect trivial infinite recursion new d33025f2917 [Ada] System.Linux: fix typos in comments new ae60396a3e6 [Ada] Failure to detect trivial infinite recursion new ec1e481fa64 [Ada] Missing range check on assignment to bit-packed array new 2028580faaa [Ada] System.OS_Interface: fix link order on Linux new ee4e1dd7bc8 [Ada] Crash on deallocating component with discriminated task new a9fa50ab5cb [Ada] Fix position of subprogram body generated for static [...] new 50948c8a1a5 [Ada] Minor reformatting new c9c818350cd [Ada] Fix internal error on packed array In/Out actual parameter new 26ea500302b [Ada] Ada.Wide_Wide_Characters.Handling: fix comments new ce99fc8a912 [Ada] GNAT UGN: refresh doc on installing from the cmd line [...] new 30fb27b121a [Ada] Add contracts to Ada.Text_IO for SPARK new 627d075169f [Ada] Stabilization of Elaboration order v4.0 new dad9e9f84ef [Ada] Compiler loop on illegal nested accept statement new e1415398f3f [Ada] Incorrect accessibility check

The 30 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 | 78 + gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 726 +++++ gcc/ada/adabkend.adb | 23 +- gcc/ada/ali.adb | 595 +++- gcc/ada/ali.ads | 327 +- gcc/ada/bindo-augmentors.adb | 153 +- gcc/ada/bindo-builders.adb | 229 +- gcc/ada/bindo-builders.ads | 6 +- gcc/ada/bindo-diagnostics.adb | 1498 ++++++++- gcc/ada/bindo-diagnostics.ads | 20 +- gcc/ada/bindo-elaborators.adb | 472 ++- gcc/ada/bindo-graphs.adb | 3171 ++++++++++++++++---- gcc/ada/bindo-graphs.ads | 680 ++++- gcc/ada/bindo-units.adb | 65 +- gcc/ada/bindo-units.ads | 32 +- gcc/ada/bindo-validators.adb | 460 ++- gcc/ada/bindo-validators.ads | 20 + gcc/ada/bindo-writers.adb | 640 +++- gcc/ada/bindo-writers.ads | 24 + gcc/ada/bindo.adb | 269 +- gcc/ada/bindusg.adb | 8 + gcc/ada/checks.adb | 54 +- gcc/ada/contracts.adb | 495 --- gcc/ada/debug.adb | 44 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 7 +- ...ard_and_implementation_defined_restrictions.rst | 2 +- .../doc/gnat_ugn/platform_specific_information.rst | 73 +- gcc/ada/einfo.adb | 2 +- gcc/ada/einfo.ads | 2 +- gcc/ada/erroutc.adb | 1 + gcc/ada/exp_aggr.adb | 586 ++-- gcc/ada/exp_attr.adb | 38 +- gcc/ada/exp_ch11.adb | 4 +- gcc/ada/exp_ch3.adb | 101 +- gcc/ada/exp_ch4.adb | 144 +- gcc/ada/exp_ch4.ads | 17 +- gcc/ada/exp_ch5.adb | 4 +- gcc/ada/exp_ch6.adb | 75 +- gcc/ada/exp_ch7.adb | 13 +- gcc/ada/exp_ch9.adb | 6 +- gcc/ada/exp_pakd.adb | 34 +- gcc/ada/exp_tss.adb | 16 +- gcc/ada/exp_unst.adb | 27 + gcc/ada/get_scos.adb | 6 - gcc/ada/gnat1drv.adb | 3 +- gcc/ada/gnat_rm.texi | 9 +- gcc/ada/gnat_ugn.texi | 249 +- gcc/ada/gnatbind.adb | 10 +- gcc/ada/gsocket.h | 1 + gcc/ada/inline.adb | 10 +- gcc/ada/lib-writ.adb | 546 ++-- gcc/ada/lib-writ.ads | 20 +- gcc/ada/libgnarl/a-taside.ads | 9 + gcc/ada/libgnarl/s-linux.ads | 2 +- gcc/ada/libgnarl/s-linux__alpha.ads | 2 +- gcc/ada/libgnarl/s-linux__android.ads | 2 +- gcc/ada/libgnarl/s-linux__hppa.ads | 2 +- gcc/ada/libgnarl/s-linux__mips.ads | 2 +- gcc/ada/libgnarl/s-linux__riscv.ads | 2 +- gcc/ada/libgnarl/s-linux__sparc.ads | 2 +- gcc/ada/libgnarl/s-osinte__kfreebsd-gnu.ads | 8 +- gcc/ada/libgnarl/s-osinte__linux.ads | 3 +- gcc/ada/libgnat/a-cofove.adb | 183 +- gcc/ada/libgnat/a-cofove.ads | 59 +- gcc/ada/libgnat/a-strfix.ads | 223 +- gcc/ada/libgnat/a-strunb.ads | 80 + gcc/ada/libgnat/a-textio.adb | 13 +- gcc/ada/libgnat/a-textio.ads | 466 ++- gcc/ada/libgnat/a-tideio.ads | 35 +- gcc/ada/libgnat/a-tienio.ads | 33 +- gcc/ada/libgnat/a-tifiio.ads | 35 +- gcc/ada/libgnat/a-tiflio.ads | 35 +- gcc/ada/libgnat/a-tiinio.ads | 35 +- gcc/ada/libgnat/a-timoio.ads | 35 +- gcc/ada/libgnat/a-wichha.ads | 30 +- gcc/ada/libgnat/g-lists.adb | 51 + gcc/ada/libgnat/g-lists.ads | 6 + gcc/ada/libgnat/g-socket.adb | 26 +- gcc/ada/libgnat/g-sothco.ads | 7 + gcc/ada/libgnat/g-traceb.adb | 12 + gcc/ada/libgnat/g-traceb.ads | 10 + gcc/ada/libgnat/s-stratt.ads | 2 +- gcc/ada/opt.adb | 9 +- gcc/ada/opt.ads | 5 + gcc/ada/par-load.adb | 16 +- gcc/ada/rtsfind.ads | 34 +- gcc/ada/scil_ll.adb | 67 - gcc/ada/scil_ll.ads | 14 +- gcc/ada/sem_attr.adb | 7 +- gcc/ada/sem_aux.ads | 2 +- gcc/ada/sem_ch10.adb | 28 +- gcc/ada/sem_ch12.adb | 47 +- gcc/ada/sem_ch13.adb | 12 +- gcc/ada/sem_ch3.adb | 7 +- gcc/ada/sem_ch6.adb | 7 +- gcc/ada/sem_ch9.adb | 8 +- gcc/ada/sem_dim.adb | 21 +- gcc/ada/sem_disp.adb | 9 + gcc/ada/sem_elab.adb | 483 ++- gcc/ada/sem_prag.adb | 11 +- gcc/ada/sem_res.adb | 485 ++- gcc/ada/sem_spark.adb | 326 +- gcc/ada/sem_util.adb | 132 +- gcc/ada/sem_util.ads | 13 +- gcc/ada/socket.c | 11 + gcc/ada/switch-b.adb | 9 + gcc/ada/validsw.adb | 9 +- gcc/ada/validsw.ads | 48 +- gcc/ada/xref_lib.adb | 2 +- gcc/cgraph.c | 2 +- gcc/cgraphunit.c | 2 +- gcc/cp/ChangeLog | 10 + gcc/cp/cp-tree.h | 1 + gcc/cp/decl.c | 7 +- gcc/cp/decl2.c | 54 +- gcc/cp/semantics.c | 4 + gcc/doc/generic.texi | 5 + gcc/except.c | 12 +- gcc/expr.c | 1 + gcc/gimple-pretty-print.c | 20 +- gcc/gimplify.c | 42 +- gcc/jit/ChangeLog | 37 + gcc/jit/docs/topics/compatibility.rst | 5 + gcc/jit/docs/topics/types.rst | 24 + gcc/jit/jit-common.h | 1 + gcc/jit/jit-playback.c | 91 +- gcc/jit/jit-playback.h | 11 +- gcc/jit/jit-recording.c | 80 +- gcc/jit/jit-recording.h | 41 +- gcc/jit/libgccjit++.h | 14 + gcc/jit/libgccjit.c | 46 + gcc/jit/libgccjit.h | 15 + gcc/jit/libgccjit.map | 7 +- gcc/lto/ChangeLog | 6 + gcc/lto/lto-common.c | 2 +- gcc/omp-expand.c | 7 +- gcc/passes.c | 9 +- gcc/testsuite/ChangeLog | 115 +- gcc/testsuite/g++.dg/gomp/unmappable-1.C | 20 + gcc/testsuite/gcc.dg/gomp/pr78884.c | 16 + .../gcc.dg/tree-ssa/alias-access-path-3.c | 22 + .../gcc.dg/tree-ssa/alias-access-path-8.c | 21 + gcc/testsuite/gcc.dg/tree-ssa/cunroll-15.c | 2 +- gcc/testsuite/gnat.dg/access6.adb | 28 + gcc/testsuite/gnat.dg/aggr25.adb | 7 + gcc/testsuite/gnat.dg/aggr25.ads | 23 + gcc/testsuite/gnat.dg/allocator.adb | 11 + gcc/testsuite/gnat.dg/aspect2.adb | 5 + gcc/testsuite/gnat.dg/aspect2.ads | 30 + gcc/testsuite/gnat.dg/bip_export.adb | 15 + gcc/testsuite/gnat.dg/bip_export.ads | 6 + gcc/testsuite/gnat.dg/cpp_constructor.adb | 12 + gcc/testsuite/gnat.dg/cpp_constructor_fp.ads | 10 + gcc/testsuite/gnat.dg/cpp_constructor_useit.ads | 8 + .../gnat.dg/default_initial_condition.adb | 12 + .../gnat.dg/default_initial_condition_pack.adb | 7 + .../gnat.dg/default_initial_condition_pack.ads | 12 + gcc/testsuite/gnat.dg/dimensions2.adb | 20 + gcc/testsuite/gnat.dg/dimensions2_phys.ads | 80 + gcc/testsuite/gnat.dg/dimensions2_real_numbers.ads | 3 + gcc/testsuite/gnat.dg/equal6.adb | 29 + gcc/testsuite/gnat.dg/equal6_types.adb | 15 + gcc/testsuite/gnat.dg/equal6_types.ads | 49 + gcc/testsuite/gnat.dg/generic_inst4.adb | 7 + gcc/testsuite/gnat.dg/generic_inst4_gen.ads | 3 + gcc/testsuite/gnat.dg/generic_inst4_inst.ads | 5 + gcc/testsuite/gnat.dg/generic_inst4_typ.ads | 7 + gcc/testsuite/gnat.dg/ghost5.adb | 5 + gcc/testsuite/gnat.dg/ghost5.ads | 5 + gcc/testsuite/gnat.dg/ghost5_parent.ads | 14 + gcc/testsuite/gnat.dg/pack23.adb | 14 + gcc/testsuite/gnat.dg/pack23_pkg.ads | 5 + gcc/testsuite/gnat.dg/predicate7.adb | 6 + gcc/testsuite/gnat.dg/predicate7.ads | 13 + gcc/testsuite/gnat.dg/predicate7_pkg.ads | 3 + gcc/testsuite/gnat.dg/spark3.adb | 20 + gcc/testsuite/gnat.dg/synchronized2.adb | 5 + gcc/testsuite/gnat.dg/synchronized2.ads | 4 + gcc/testsuite/gnat.dg/synchronized2_pkg.ads | 5 + gcc/testsuite/gnat.dg/tagged2.adb | 9 + gcc/testsuite/gnat.dg/tagged2.ads | 9 + gcc/testsuite/gnat.dg/task3.adb | 11 + gcc/testsuite/gnat.dg/task3.ads | 12 + gcc/testsuite/gnat.dg/task3_pkg1.ads | 11 + gcc/testsuite/gnat.dg/task3_pkg2.ads | 7 + gcc/testsuite/jit.dg/all-non-failing-tests.h | 10 + gcc/testsuite/jit.dg/test-accessing-bitfield.c | 130 + ...or-gcc_jit_context_new_binary_op-bad-res-type.c | 41 + ...ror-gcc_jit_context_new_bitfield-invalid-type.c | 53 + ...or-gcc_jit_context_new_bitfield-invalid-width.c | 44 + ...est-error-gcc_jit_lvalue_get_address-bitfield.c | 66 + gcc/tree-dump.c | 1 + gcc/tree-pass.h | 2 +- gcc/tree-pretty-print.c | 28 +- gcc/tree-ssa-alias.c | 62 +- gcc/tree-ssa-loop-niter.c | 66 + gcc/tree-vect-loop-manip.c | 13 +- gcc/tree-vect-loop.c | 5 + gcc/tree-vectorizer.h | 4 + gcc/tree.c | 3 + gcc/tree.def | 9 +- libgcc/ChangeLog | 4 + libgcc/config.host | 4 +- libgomp/ChangeLog | 5 + libgomp/testsuite/libgomp.c/scan-10.c | 116 + libgomp/testsuite/libgomp.c/scan-9.c | 116 + 207 files changed, 13112 insertions(+), 4313 deletions(-) create mode 100644 gcc/testsuite/g++.dg/gomp/unmappable-1.C create mode 100644 gcc/testsuite/gcc.dg/gomp/pr78884.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/alias-access-path-3.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/alias-access-path-8.c create mode 100644 gcc/testsuite/gnat.dg/access6.adb create mode 100644 gcc/testsuite/gnat.dg/aggr25.adb create mode 100644 gcc/testsuite/gnat.dg/aggr25.ads create mode 100644 gcc/testsuite/gnat.dg/allocator.adb create mode 100644 gcc/testsuite/gnat.dg/aspect2.adb create mode 100644 gcc/testsuite/gnat.dg/aspect2.ads create mode 100644 gcc/testsuite/gnat.dg/bip_export.adb create mode 100644 gcc/testsuite/gnat.dg/bip_export.ads create mode 100644 gcc/testsuite/gnat.dg/cpp_constructor.adb create mode 100644 gcc/testsuite/gnat.dg/cpp_constructor_fp.ads create mode 100644 gcc/testsuite/gnat.dg/cpp_constructor_useit.ads create mode 100644 gcc/testsuite/gnat.dg/default_initial_condition.adb create mode 100644 gcc/testsuite/gnat.dg/default_initial_condition_pack.adb create mode 100644 gcc/testsuite/gnat.dg/default_initial_condition_pack.ads create mode 100644 gcc/testsuite/gnat.dg/dimensions2.adb create mode 100644 gcc/testsuite/gnat.dg/dimensions2_phys.ads create mode 100644 gcc/testsuite/gnat.dg/dimensions2_real_numbers.ads create mode 100644 gcc/testsuite/gnat.dg/equal6.adb create mode 100644 gcc/testsuite/gnat.dg/equal6_types.adb create mode 100644 gcc/testsuite/gnat.dg/equal6_types.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst4.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst4_gen.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst4_inst.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst4_typ.ads create mode 100644 gcc/testsuite/gnat.dg/ghost5.adb create mode 100644 gcc/testsuite/gnat.dg/ghost5.ads create mode 100644 gcc/testsuite/gnat.dg/ghost5_parent.ads create mode 100644 gcc/testsuite/gnat.dg/pack23.adb create mode 100644 gcc/testsuite/gnat.dg/pack23_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/predicate7.adb create mode 100644 gcc/testsuite/gnat.dg/predicate7.ads create mode 100644 gcc/testsuite/gnat.dg/predicate7_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/spark3.adb create mode 100644 gcc/testsuite/gnat.dg/synchronized2.adb create mode 100644 gcc/testsuite/gnat.dg/synchronized2.ads create mode 100644 gcc/testsuite/gnat.dg/synchronized2_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/tagged2.adb create mode 100644 gcc/testsuite/gnat.dg/tagged2.ads create mode 100644 gcc/testsuite/gnat.dg/task3.adb create mode 100644 gcc/testsuite/gnat.dg/task3.ads create mode 100644 gcc/testsuite/gnat.dg/task3_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/task3_pkg2.ads create mode 100644 gcc/testsuite/jit.dg/test-accessing-bitfield.c create mode 100644 gcc/testsuite/jit.dg/test-error-gcc_jit_context_new_binary_op-b [...] create mode 100644 gcc/testsuite/jit.dg/test-error-gcc_jit_context_new_bitfield-in [...] create mode 100644 gcc/testsuite/jit.dg/test-error-gcc_jit_context_new_bitfield-in [...] create mode 100644 gcc/testsuite/jit.dg/test-error-gcc_jit_lvalue_get_address-bitfield.c create mode 100644 libgomp/testsuite/libgomp.c/scan-10.c create mode 100644 libgomp/testsuite/libgomp.c/scan-9.c