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-stable-defconfig 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. adds d2d09f3e24b [Ada] GNAT.Traceback: add a Call_Chain function adds 1cb1fd0fd69 [Ada] Ada.Containers.Formal_Vectors: make vectors always bounded adds 2f67af4cc25 [Ada] No_Stream_Optimizations ignored for 'Class'Input adds 2c3ad474626 [Ada] Fix typo in GNAT RM adds 572a4bc50d4 [Ada] Fix inlining in GNATprove inside quantified expressions adds 164597c57da [Ada] Compiler abort on a dynamic predicate used in a precondition adds 2500be2f761 [Ada] Diagnostics in Elaboration order v4.0 adds 1bc68ac24c2 [Ada] Accept compilation switches -Og/-Ofast in non-GCC backends adds 70f9c8aa20e [Ada] Import documentation from the RM for Ada.Strings.Fixed adds 33ae0c9f534 [Ada] Import documentation from the RM for Ada.Strings.Unbounded adds 249e38a7b79 [Ada] Removing support for SCIL "contract-only" subprogram bodies adds 6eddee84f44 [Ada] Spurious error on aggregate with choice that is predi [...] adds 2d8a0eb307a [Ada] Crash on exported build-in-place function adds f28a3d6c447 [Ada] Typo fixes adds 0e6f6ee178d [Ada] Wrong accessibility level under -gnat12 adds 51f2c7f9126 [Ada] Failure to detect trivial infinite recursion adds d33025f2917 [Ada] System.Linux: fix typos in comments adds ae60396a3e6 [Ada] Failure to detect trivial infinite recursion adds ec1e481fa64 [Ada] Missing range check on assignment to bit-packed array adds 2028580faaa [Ada] System.OS_Interface: fix link order on Linux adds ee4e1dd7bc8 [Ada] Crash on deallocating component with discriminated task adds a9fa50ab5cb [Ada] Fix position of subprogram body generated for static [...] adds 50948c8a1a5 [Ada] Minor reformatting adds c9c818350cd [Ada] Fix internal error on packed array In/Out actual parameter adds 26ea500302b [Ada] Ada.Wide_Wide_Characters.Handling: fix comments adds ce99fc8a912 [Ada] GNAT UGN: refresh doc on installing from the cmd line [...] adds 30fb27b121a [Ada] Add contracts to Ada.Text_IO for SPARK adds 627d075169f [Ada] Stabilization of Elaboration order v4.0 adds dad9e9f84ef [Ada] Compiler loop on illegal nested accept statement adds e1415398f3f [Ada] Incorrect accessibility check
No new revisions were added by this update.
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