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-allmodconfig in repository toolchain/ci/gcc.
from 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 adds b6948cbe850 PR target/91124 * config/i386/i386-builtin-types.def (V3 [...] adds 0694f5b7fe6 PR target/91124 * config/i386/sse.md (sse2_cvtpd2dq<mask_ [...]
No new revisions were added by this update.
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/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 | 86 + 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 +- 143 files changed, 8078 insertions(+), 2163 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/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