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 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. adds faef38bff32 2019-07-11 Richard Biener rguenther@suse.de adds 92796fc82dc Do not try to further refine a VR_UNDEFINED result when int [...] adds d7569e0494c [Ada] Avoid spurious warning on wrong order of operator cal [...] adds 12b1c23bb8c [Ada] Elaboration order v4.0 and infinite loops adds ef0b220697f [Ada] GNAT.Threads: Add a Get_Thread overload taking a Task_Id adds b1118eb8653 [Ada] No warning for guaranteed accessibility check failures adds 5dc190e5b80 [Ada] New Repinfo.Input unit to read back JSON representati [...] adds 001b1b6a498 [Ada] Missing finalization of private protected type adds 8c93b71cb96 [Ada] Fix crash on dynamic predicate when generating SCOs adds 3d95efc8362 [Ada] Link error due to negated intrinsic comparison adds 3da5e0d4f65 [Ada] Compile-time evaluation of predicate checks adds 21dccd5fa6a [Ada] Internal crash on illegal renaming adds 53904d64c2d [Ada] Minor reformatting adds 814e7b6eac9 [Ada] Infinite loop on illegal declaration adds 2d95f0f8228 [Ada] Document gnatpp's --spaces-only switch adds 872595881c6 [Ada] Fix inconsistent documentation for gnatmetric adds af7bae25034 [Ada] Pragma Unreferenced triggers undefined reference adds 0595f8ff4b0 [Ada] GNAT.Sockets: add support for RAW sockets adds 32859955616 [Ada] Elaboration order v4.0 and output of dependencies adds 180bd06be95 [Ada] Remove redundant predicate checks adds 8e22ede85e2 [Ada] errno.c: remove obsolete support for MaRTE OS adds 3bcff314423 [Ada] Memory corruption when using formal hashed sets or maps adds dc001f3e55c [Ada] GNAT.Sockets: support ICMP, IGMP and RAW IP protocol levels adds 263dcfe9d75 [Ada] Crash on protected type with self-referential component adds 6e0725a99e5 [Ada] Makefile.rtl: add a warning about compilation flags adds fb7f0b28d04 [Ada] Minimal binder adds 1e5359c003a [Ada] Refactor ownership pointer checking in SPARK as a generic adds f237e5eb6ed [Ada] Avoid spurious warning on assertions with Loop_Entry adds 5083f1198f9 [Ada] Flip the meaning of debug switch -gnatdF adds 85f6c73a6b4 [Ada] Avoid spurious errors on dimensionality checking in G [...] adds 569032554b3 [Ada] Minor refactoring adds 77fe13f03a8 [Ada] Use high-level wrappers for Lib.Units.Table new b6948cbe850 PR target/91124 * config/i386/i386-builtin-types.def (V3 [...] new 0694f5b7fe6 PR target/91124 * config/i386/sse.md (sse2_cvtpd2dq<mask_ [...]
The 2 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 | 151 ++ 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/i386/i386-builtin-types.def | 9 - gcc/config/i386/i386-builtin.def | 120 +- gcc/config/i386/i386-expand.c | 9 - gcc/config/i386/sse.md | 200 +- 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 +- 150 files changed, 8146 insertions(+), 2181 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