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-allyesconfig in repository toolchain/ci/gcc.
from 32b9937758c Daily bump. adds 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
No new revisions were added by this update.
Summary of changes: gcc/ChangeLog | 11 + gcc/ada/ChangeLog | 233 +++ gcc/ada/Makefile.rtl | 3 +- gcc/ada/bindo-elaborators.adb | 26 + gcc/ada/bindo-graphs.adb | 2160 ++++++++++++-------- gcc/ada/bindo-graphs.ads | 28 +- gcc/ada/bindo-writers.adb | 35 +- gcc/ada/bindo.adb | 11 +- gcc/ada/debug.adb | 12 +- .../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 + .../doc/gnat_ugn/gnat_and_program_execution.rst | 17 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 8 + gcc/ada/env.c | 32 +- gcc/ada/exp_ch4.adb | 9 +- gcc/ada/exp_ch6.adb | 40 +- gcc/ada/exp_disp.adb | 16 + gcc/ada/exp_util.adb | 34 +- gcc/ada/gnat_rm.texi | 366 ++-- gcc/ada/init.c | 2 +- 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/s-ststop.adb | 2 +- gcc/ada/osint-c.adb | 30 +- gcc/ada/sem_aux.adb | 12 + gcc/ada/sem_aux.ads | 4 + gcc/ada/sem_ch10.adb | 4 +- gcc/ada/sem_ch13.adb | 10 +- gcc/ada/sem_ch2.adb | 21 +- 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 | 13 +- gcc/ada/sem_prag.adb | 4 +- gcc/ada/sem_res.adb | 7 +- gcc/ada/sem_spark.adb | 196 +- gcc/ada/sem_util.adb | 23 +- gcc/ada/sem_util.ads | 4 + gcc/ada/sfn_scan.adb | 1 + gcc/ada/sysdep.c | 40 +- gcc/ada/warnsw.ads | 4 +- gcc/cp/ChangeLog | 11 + gcc/cp/decl.c | 52 +- gcc/testsuite/ChangeLog | 38 + .../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/lto/alias-3_0.C | 27 + gcc/testsuite/g++.dg/lto/alias-3_1.c | 20 + gcc/testsuite/g++.dg/other/anon-union3.C | 4 +- gcc/testsuite/g++.dg/parse/error8.C | 2 +- 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/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/modular5.adb | 26 + gcc/tree-ssa-alias.c | 206 +- 71 files changed, 4261 insertions(+), 1557 deletions(-) create mode 100644 gcc/ada/libgnat/g-brapre.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/g++.dg/lto/alias-3_0.C create mode 100644 gcc/testsuite/g++.dg/lto/alias-3_1.c 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/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/modular5.adb