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 0c8f993cb23 * tree-ssa-alias.c (nonoverlapping_component_refs_p_1): Br [...] adds 7e184314b57 /cp 2019-07-10 Paolo Carlini paolo.carlini@oracle.com adds 97f6f798bee [Ada] Use renamings in GNATprove mode for side-effects extraction adds 6e618828427 [Ada] Minor reformatting adds ab8418a3b3b [Ada] Elaboration order v4.0 and linker switches adds d3fb378db48 [Ada] Spurious error on overloaded equality in postcondition adds 2ac657bde13 [Ada] Missing implicit interface type conversion adds 9eaacd61fd5 [Ada] Fix crashes on ownership checking in SPARK adds 6523468fe09 [Ada] Elaboration order v4.0 and cycle detection adds 7f6066e1f30 [Ada] New port for ppc-vx7r2 adds 82d7e1f4ba6 [Ada] The environ macro is broken on vxworks7r2 SR0610 adds 87d55fe2e15 [Ada] Vxworks7r2 SR0610 coalesced some macro values adds 2e7929f0fe0 [Ada] Add contracts to Strings libraries adds 8c21443bb43 [Ada] Minor reformatting adds 8a9900a9e7e [Ada] Spurious error on case expression with limited result adds 344c26393e7 [Ada] GNAT RM: add note about debuggers for Scalar_Storage_Order adds c6db401ca77 [Ada] sysdep.c: correct include directives ordering adds d2506f16e9d [Ada] Allow multiple units per file in GNATprove adds 97f0aa199fe [Ada] Improve support for tuning branch probability heuristics adds fd8a528dfb9 [Ada] Spelling mistakes in error messages adds 9dda714b000 [Ada] Add an annotation for static analysis adds 2bf00b7f7f5 [Ada] Entity names are not unique adds e94f460062e [Ada] Documentation of Img attribute out of date adds 55d7c660447 [Ada] GNATpp: document the --source-line-breaks switch adds f9d615a160a [Ada] Improve gnatmem's doc for the depth switch adds 95266217b43 [Ada] Spurious error on discriminant of incomplete type adds 9ac24568fda [Ada] Fix possible crashes in GNATprove analysis of pointers adds 94654315bf5 [Ada] Fix spurious messages on global variables for SPARK p [...] adds c0e85bb620e [Ada] Crash on aggregate for limited type in extended return adds e97ee616d17 [Ada] Do not attempt to re-arm guard page on x86_64-vx7(r2) adds ce9565a8f29 [Ada] Spurious run-time error with 64-bit modular types adds 604c5bcad0e [Ada] System.Strings.Stream_Ops: do not depend on Stream_IO adds c1d5aaed9b5 2019-07-10 Richard Biener rguenther@suse.de adds 32506afe445 2019-07-10 Richard Biener rguenther@suse.de adds 9cab6d1cbc1 Fix wi::lshift adds c2930418d60 2019-07-10 Vladimir Makarov vmakarov@redhat.com adds 9a9e0d61cfb PR testsuite/91132 - test gcc.dg/strlenopt-67.c in r273317 fails adds 63196477131 compiler: add break label in 1,2-case select statement [...] adds 6628d899cf0 compiler: finalize methods when importing types adds 7abd4ee1441 [arm] Fix BE index for single-var vector initialisers (PR91060) adds 4f8eb8a1279 Fix folding of vector EQ/NE adds 257dd0e2cec [Darwin, PPC] Collate the system library spec into one expression. adds 0b08470bcb3 2019-07-10 Michael Meissner meissner@linux.ibm.com adds 4db8fa383bc Daily bump. new faef38bff32 2019-07-11 Richard Biener rguenther@suse.de new 92796fc82dc Do not try to further refine a VR_UNDEFINED result when int [...] new d7569e0494c [Ada] Avoid spurious warning on wrong order of operator cal [...] new 12b1c23bb8c [Ada] Elaboration order v4.0 and infinite loops new ef0b220697f [Ada] GNAT.Threads: Add a Get_Thread overload taking a Task_Id new b1118eb8653 [Ada] No warning for guaranteed accessibility check failures new 5dc190e5b80 [Ada] New Repinfo.Input unit to read back JSON representati [...] new 001b1b6a498 [Ada] Missing finalization of private protected type new 8c93b71cb96 [Ada] Fix crash on dynamic predicate when generating SCOs new 3d95efc8362 [Ada] Link error due to negated intrinsic comparison new 3da5e0d4f65 [Ada] Compile-time evaluation of predicate checks new 21dccd5fa6a [Ada] Internal crash on illegal renaming new 53904d64c2d [Ada] Minor reformatting new 814e7b6eac9 [Ada] Infinite loop on illegal declaration new 2d95f0f8228 [Ada] Document gnatpp's --spaces-only switch new 872595881c6 [Ada] Fix inconsistent documentation for gnatmetric new af7bae25034 [Ada] Pragma Unreferenced triggers undefined reference new 0595f8ff4b0 [Ada] GNAT.Sockets: add support for RAW sockets new 32859955616 [Ada] Elaboration order v4.0 and output of dependencies new 180bd06be95 [Ada] Remove redundant predicate checks new 8e22ede85e2 [Ada] errno.c: remove obsolete support for MaRTE OS new 3bcff314423 [Ada] Memory corruption when using formal hashed sets or maps new dc001f3e55c [Ada] GNAT.Sockets: support ICMP, IGMP and RAW IP protocol levels new 263dcfe9d75 [Ada] Crash on protected type with self-referential component new 6e0725a99e5 [Ada] Makefile.rtl: add a warning about compilation flags new fb7f0b28d04 [Ada] Minimal binder new 1e5359c003a [Ada] Refactor ownership pointer checking in SPARK as a generic new f237e5eb6ed [Ada] Avoid spurious warning on assertions with Loop_Entry new 5083f1198f9 [Ada] Flip the meaning of debug switch -gnatdF new 85f6c73a6b4 [Ada] Avoid spurious errors on dimensionality checking in G [...] new 569032554b3 [Ada] Minor refactoring new 77fe13f03a8 [Ada] Use high-level wrappers for Lib.Units.Table

The 32 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 | 74 + gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 499 +++++ gcc/ada/Makefile.rtl | 25 +- gcc/ada/alloc.ads | 3 + gcc/ada/bindgen.adb | 36 +- gcc/ada/bindo-augmentors.adb | 8 +- gcc/ada/bindo-builders.adb | 10 + gcc/ada/bindo-diagnostics.adb | 5 + gcc/ada/bindo-elaborators.adb | 30 + gcc/ada/bindo-graphs.adb | 2173 ++++++++++++-------- gcc/ada/bindo-graphs.ads | 35 +- gcc/ada/bindo-units.adb | 8 + gcc/ada/bindo-validators.adb | 27 +- gcc/ada/bindo-writers.adb | 128 +- gcc/ada/bindo-writers.ads | 17 + gcc/ada/bindo.adb | 25 +- gcc/ada/bindo.ads | 18 + gcc/ada/bindusg.adb | 6 + gcc/ada/checks.adb | 31 +- gcc/ada/debug.adb | 32 +- .../gnat_rm/implementation_defined_attributes.rst | 29 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 4 +- gcc/ada/doc/gnat_rm/the_gnat_library.rst | 11 + .../building_executable_programs_with_gnat.rst | 11 +- .../doc/gnat_ugn/gnat_and_program_execution.rst | 17 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 104 +- gcc/ada/env.c | 32 +- gcc/ada/errno.c | 15 +- gcc/ada/exp_ch4.adb | 16 +- gcc/ada/exp_ch5.adb | 20 +- gcc/ada/exp_ch6.adb | 165 +- gcc/ada/exp_ch9.adb | 74 +- gcc/ada/exp_disp.adb | 16 + gcc/ada/exp_util.adb | 126 +- gcc/ada/exp_util.ads | 4 - gcc/ada/gcc-interface/Make-lang.in | 1 + gcc/ada/gnat1drv.adb | 56 +- gcc/ada/gnat_rm.texi | 366 ++-- gcc/ada/gnat_ugn.texi | 21 +- gcc/ada/gnatbind.adb | 11 + gcc/ada/init.c | 2 +- gcc/ada/lib-writ.adb | 6 +- gcc/ada/libgnarl/g-thread.adb | 9 +- gcc/ada/libgnarl/g-thread.ads | 4 +- gcc/ada/libgnat/a-cfhama.adb | 7 +- gcc/ada/libgnat/a-cfhase.adb | 7 +- gcc/ada/libgnat/a-strbou.ads | 521 ++++- gcc/ada/libgnat/a-strfix.ads | 246 ++- gcc/ada/libgnat/a-strunb.ads | 403 +++- gcc/ada/libgnat/a-strunb__shared.ads | 405 +++- gcc/ada/libgnat/g-brapre.ads | 68 + gcc/ada/libgnat/g-socket.adb | 8 +- gcc/ada/libgnat/g-socket.ads | 14 +- gcc/ada/libgnat/s-ststop.adb | 2 +- gcc/ada/opt.ads | 6 + gcc/ada/osint-c.adb | 30 +- gcc/ada/repinfo-input.adb | 1350 ++++++++++++ gcc/ada/repinfo-input.ads | 78 + gcc/ada/s-oscons-tmplt.c | 105 + gcc/ada/sem.adb | 2 +- gcc/ada/sem_aux.adb | 13 + gcc/ada/sem_aux.ads | 4 + gcc/ada/sem_ch10.adb | 4 +- gcc/ada/sem_ch13.adb | 10 +- gcc/ada/sem_ch2.adb | 18 +- gcc/ada/sem_ch3.adb | 39 +- gcc/ada/sem_ch4.adb | 22 +- gcc/ada/sem_ch6.adb | 4 +- gcc/ada/sem_ch7.adb | 10 +- gcc/ada/sem_ch8.adb | 53 +- gcc/ada/sem_ch9.adb | 48 +- gcc/ada/sem_eval.adb | 49 +- gcc/ada/sem_prag.adb | 13 +- gcc/ada/sem_res.adb | 27 +- gcc/ada/sem_spark.adb | 585 ++++-- gcc/ada/sem_spark.ads | 22 + gcc/ada/sem_util.adb | 121 +- gcc/ada/sem_util.ads | 8 + gcc/ada/sfn_scan.adb | 1 + gcc/ada/snames.ads-tmpl | 5 + gcc/ada/sysdep.c | 40 +- gcc/ada/warnsw.ads | 4 +- gcc/c/ChangeLog | 5 + gcc/c/gimple-parser.c | 6 +- gcc/config/arm/arm.c | 35 +- gcc/config/arm/iterators.md | 3 + gcc/config/arm/neon.md | 14 +- gcc/config/rs6000/darwin.h | 18 + gcc/config/rs6000/darwin7.h | 12 +- gcc/config/rs6000/darwin8.h | 14 +- gcc/config/rs6000/predicates.md | 6 +- gcc/config/rs6000/rs6000.c | 4 +- gcc/config/rs6000/rs6000.h | 27 +- gcc/cp/ChangeLog | 11 + gcc/cp/decl.c | 52 +- gcc/fold-const.c | 14 +- gcc/gimplify.c | 2 +- gcc/go/gofrontend/MERGE | 2 +- gcc/go/gofrontend/gogo.cc | 18 - gcc/go/gofrontend/gogo.h | 18 + gcc/go/gofrontend/import.cc | 39 +- gcc/go/gofrontend/import.h | 10 +- gcc/go/gofrontend/statements.cc | 8 + gcc/lra-constraints.c | 17 +- gcc/testsuite/ChangeLog | 95 + .../g++.dg/cpp1z/has-unique-obj-representations2.C | 2 +- .../g++.dg/diagnostic/complex-invalid-1.C | 1 + gcc/testsuite/g++.dg/diagnostic/static-cdtor-1.C | 5 + gcc/testsuite/g++.dg/other/anon-union3.C | 4 +- gcc/testsuite/g++.dg/parse/error8.C | 2 +- gcc/testsuite/gcc.dg/strlenopt-67.c | 52 - gcc/testsuite/gcc.dg/torture/pr91126.c | 28 + gcc/testsuite/gcc.dg/torture/ssa-fre-5.c | 27 + gcc/testsuite/gcc.dg/torture/ssa-fre-6.c | 27 + gcc/testsuite/gcc.dg/torture/ssa-fre-7.c | 29 + gcc/testsuite/gcc.target/aarch64/pr91102.c | 26 + gcc/testsuite/gcc.target/i386/pr91131.c | 19 + gcc/testsuite/gnat.dg/access7.adb | 79 + gcc/testsuite/gnat.dg/equal8.adb | 6 + gcc/testsuite/gnat.dg/equal8.ads | 36 + gcc/testsuite/gnat.dg/equal8_pkg.ads | 58 + gcc/testsuite/gnat.dg/equal9.adb | 26 + gcc/testsuite/gnat.dg/incomplete7.adb | 5 + gcc/testsuite/gnat.dg/incomplete7.ads | 31 + gcc/testsuite/gnat.dg/limited2.adb | 8 + gcc/testsuite/gnat.dg/limited2_pack_1.adb | 5 + gcc/testsuite/gnat.dg/limited2_pack_1.ads | 8 + gcc/testsuite/gnat.dg/limited2_pack_2.adb | 21 + gcc/testsuite/gnat.dg/limited2_pack_2.ads | 5 + gcc/testsuite/gnat.dg/limited3.adb | 11 + gcc/testsuite/gnat.dg/limited3_pkg.adb | 20 + gcc/testsuite/gnat.dg/limited3_pkg.ads | 30 + gcc/testsuite/gnat.dg/loop_entry1.adb | 13 + gcc/testsuite/gnat.dg/modular5.adb | 26 + gcc/testsuite/gnat.dg/predicate11.adb | 19 + gcc/testsuite/gnat.dg/prot8.adb | 8 + gcc/testsuite/gnat.dg/prot8.ads | 10 + gcc/testsuite/gnat.dg/scos1.adb | 26 + gcc/testsuite/gnat.dg/self_ref1.adb | 11 + gcc/testsuite/gnat.dg/unreferenced2.adb | 34 + gcc/testsuite/gnat.dg/warn21.adb | 6 + gcc/testsuite/gnat.dg/warn21.ads | 18 + gcc/tree-ssa-sccvn.c | 68 +- gcc/tree-vrp.c | 5 + gcc/wide-int.h | 3 +- 146 files changed, 7829 insertions(+), 2083 deletions(-) create mode 100644 gcc/ada/libgnat/g-brapre.ads create mode 100644 gcc/ada/repinfo-input.adb create mode 100644 gcc/ada/repinfo-input.ads create mode 100644 gcc/testsuite/g++.dg/diagnostic/complex-invalid-1.C create mode 100644 gcc/testsuite/g++.dg/diagnostic/static-cdtor-1.C create mode 100644 gcc/testsuite/gcc.dg/torture/pr91126.c create mode 100644 gcc/testsuite/gcc.dg/torture/ssa-fre-5.c create mode 100644 gcc/testsuite/gcc.dg/torture/ssa-fre-6.c create mode 100644 gcc/testsuite/gcc.dg/torture/ssa-fre-7.c create mode 100644 gcc/testsuite/gcc.target/aarch64/pr91102.c create mode 100644 gcc/testsuite/gcc.target/i386/pr91131.c create mode 100644 gcc/testsuite/gnat.dg/access7.adb create mode 100644 gcc/testsuite/gnat.dg/equal8.adb create mode 100644 gcc/testsuite/gnat.dg/equal8.ads create mode 100644 gcc/testsuite/gnat.dg/equal8_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/equal9.adb create mode 100644 gcc/testsuite/gnat.dg/incomplete7.adb create mode 100644 gcc/testsuite/gnat.dg/incomplete7.ads create mode 100644 gcc/testsuite/gnat.dg/limited2.adb create mode 100644 gcc/testsuite/gnat.dg/limited2_pack_1.adb create mode 100644 gcc/testsuite/gnat.dg/limited2_pack_1.ads create mode 100644 gcc/testsuite/gnat.dg/limited2_pack_2.adb create mode 100644 gcc/testsuite/gnat.dg/limited2_pack_2.ads create mode 100644 gcc/testsuite/gnat.dg/limited3.adb create mode 100644 gcc/testsuite/gnat.dg/limited3_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/limited3_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/loop_entry1.adb create mode 100644 gcc/testsuite/gnat.dg/modular5.adb create mode 100644 gcc/testsuite/gnat.dg/predicate11.adb create mode 100644 gcc/testsuite/gnat.dg/prot8.adb create mode 100644 gcc/testsuite/gnat.dg/prot8.ads create mode 100644 gcc/testsuite/gnat.dg/scos1.adb create mode 100644 gcc/testsuite/gnat.dg/self_ref1.adb create mode 100644 gcc/testsuite/gnat.dg/unreferenced2.adb create mode 100644 gcc/testsuite/gnat.dg/warn21.adb create mode 100644 gcc/testsuite/gnat.dg/warn21.ads