This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository gcc.

from 7e184314b57 /cp 2019-07-10 Paolo Carlini paolo.carlini@oracle.com new 97f6f798bee [Ada] Use renamings in GNATprove mode for side-effects extraction new 6e618828427 [Ada] Minor reformatting new ab8418a3b3b [Ada] Elaboration order v4.0 and linker switches new d3fb378db48 [Ada] Spurious error on overloaded equality in postcondition new 2ac657bde13 [Ada] Missing implicit interface type conversion new 9eaacd61fd5 [Ada] Fix crashes on ownership checking in SPARK new 6523468fe09 [Ada] Elaboration order v4.0 and cycle detection new 7f6066e1f30 [Ada] New port for ppc-vx7r2 new 82d7e1f4ba6 [Ada] The environ macro is broken on vxworks7r2 SR0610 new 87d55fe2e15 [Ada] Vxworks7r2 SR0610 coalesced some macro values new 2e7929f0fe0 [Ada] Add contracts to Strings libraries new 8c21443bb43 [Ada] Minor reformatting new 8a9900a9e7e [Ada] Spurious error on case expression with limited result new 344c26393e7 [Ada] GNAT RM: add note about debuggers for Scalar_Storage_Order new c6db401ca77 [Ada] sysdep.c: correct include directives ordering new d2506f16e9d [Ada] Allow multiple units per file in GNATprove new 97f0aa199fe [Ada] Improve support for tuning branch probability heuristics new fd8a528dfb9 [Ada] Spelling mistakes in error messages new 9dda714b000 [Ada] Add an annotation for static analysis new 2bf00b7f7f5 [Ada] Entity names are not unique new e94f460062e [Ada] Documentation of Img attribute out of date new 55d7c660447 [Ada] GNATpp: document the --source-line-breaks switch new f9d615a160a [Ada] Improve gnatmem's doc for the depth switch new 95266217b43 [Ada] Spurious error on discriminant of incomplete type new 9ac24568fda [Ada] Fix possible crashes in GNATprove analysis of pointers new 94654315bf5 [Ada] Fix spurious messages on global variables for SPARK p [...] new c0e85bb620e [Ada] Crash on aggregate for limited type in extended return new e97ee616d17 [Ada] Do not attempt to re-arm guard page on x86_64-vx7(r2) new ce9565a8f29 [Ada] Spurious run-time error with 64-bit modular types new 604c5bcad0e [Ada] System.Strings.Stream_Ops: do not depend on Stream_IO

The 30 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/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-bubsor.ads => g-brapre.ads} | 62 +- 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/testsuite/ChangeLog | 24 + .../gnat.dg/{predicate7.adb => equal8.adb} | 4 +- gcc/testsuite/gnat.dg/equal8.ads | 36 + gcc/testsuite/gnat.dg/equal8_pkg.ads | 58 + .../gnat.dg/{ghost5.adb => incomplete7.adb} | 4 +- 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 + 60 files changed, 3940 insertions(+), 1514 deletions(-) copy gcc/ada/libgnat/{g-bubsor.ads => g-brapre.ads} (54%) copy gcc/testsuite/gnat.dg/{predicate7.adb => equal8.adb} (68%) create mode 100644 gcc/testsuite/gnat.dg/equal8.ads create mode 100644 gcc/testsuite/gnat.dg/equal8_pkg.ads copy gcc/testsuite/gnat.dg/{ghost5.adb => incomplete7.adb} (52%) 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