This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from e91ac3cf864 Add myself to MAINTAINERS (Write After Approval) new 429822c1874 [Ada] Spurious visibility error on dynamic_predicate aspect [...] new bcb0a37552a [Ada] GNAT.Sockets: remove default level in Get/Set_Socket_Option new 1979cbfe3be [Ada] Crash on Image and Value attributes new 63bb17d892a [Ada] Spurious error reported by pragma Compile_Time_Error new b9bd5934e64 [Ada] Crash on named actual in postcondition for generic su [...] new aed4e06a384 [Ada] Code reorganization new 221b67b6b14 [Ada] Document handling of preprocessor directives in GNATpp new c98aac61bd4 [Ada] Crash in interface derivation with null primitive new 3e05bbecaa6 [Ada] Semantics of Delete for fixed strings new 2dbfbbb2796 [Ada] Fix crash on extension of private type with -gnatRj new 364c746f4b5 [Ada] Arrange not to set DECL_ARTIFICIAL on elab procs new 7b8ca6b29fd [Ada] More data rates supported on Linux new f5cb3a59d23 [Ada] New algorithm for Elaboration order v4.0 new f117e44956a [Ada] Crash on timed entry call with a delay given by a typ [...] new e51a140c3b2 [Ada] Do not erase precise type on fixed-point real literal new 944903c88ed [Ada] Use g-sercom__linux.adb for all Linuxes new 89c9dd5531f [Ada] New port for x86_64-vx7 new a7c8fd7e554 [Ada] Remove dependency on Win32 GDI (Graphical Interface) new 4225306150b [Ada] Suppress warnings on memory representation in CodePeer mode new 5a4de65a02a [Ada] Set dummy Etype for the fake __HEAP entity in GNATprove new e6b4414edbc [Ada] Diagnostics for Elaboration order v4.0 new 703ee0e0563 [Ada] Assertion failure on validity check for Address new b282b25be44 [Ada] Wrong evaluation of membership test new 4475d2f0c8d [Ada] In-place initialization for Initialize_Scalars new 46299a0635c [Ada] Remove documentation of ignored GNATpp switch new 0cc34fed5f1 [Ada] Remove dead code from Enclosing_Package_Or_Subprogram [...] new 89b07420544 [Ada] Os_Lib: do not call __gnat_kill for Invalid_Pid new 08da2ad95f0 [Ada] GNAT RM: Update documentation on No_Exceptions restriction new 6eb5761205a [Ada] GNAT.Serial_Communications: simplify the Serial_Port [...] new 5acb3702526 [Ada] Small overhaul in Repinfo unit
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 | 342 ++++ gcc/ada/Makefile.rtl | 14 +- gcc/ada/bindo-builders.adb | 36 +- gcc/ada/bindo-builders.ads | 6 +- gcc/ada/bindo-diagnostics.adb | 150 +- gcc/ada/bindo-elaborators.adb | 1907 +++++++++++--------- gcc/ada/bindo-graphs.adb | 566 ++++-- gcc/ada/bindo-graphs.ads | 163 +- gcc/ada/bindo-validators.adb | 12 +- gcc/ada/bindo-writers.adb | 23 +- gcc/ada/bindo-writers.ads | 3 - gcc/ada/bindo.adb | 48 +- gcc/ada/bindo.ads | 10 + gcc/ada/debug.adb | 17 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 121 +- ...ard_and_implementation_defined_restrictions.rst | 4 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 72 +- gcc/ada/exp_ch4.adb | 3 +- gcc/ada/exp_ch9.adb | 25 +- gcc/ada/exp_disp.adb | 2 +- gcc/ada/exp_imgv.adb | 38 +- gcc/ada/expander.adb | 7 +- gcc/ada/gcc-interface/trans.c | 10 +- gcc/ada/gnat1drv.adb | 21 +- gcc/ada/gnat_rm.texi | 147 +- gcc/ada/lib-xref-spark_specific.adb | 1 + gcc/ada/libgnat/a-strfix.adb | 10 +- gcc/ada/libgnat/g-sercom.adb | 9 + gcc/ada/libgnat/g-sercom.ads | 73 +- gcc/ada/libgnat/g-sercom__linux.adb | 88 +- gcc/ada/libgnat/g-sercom__mingw.adb | 57 +- gcc/ada/libgnat/g-socket.adb | 4 +- gcc/ada/libgnat/g-socket.ads | 133 +- gcc/ada/libgnat/s-os_lib.adb | 10 +- gcc/ada/repinfo.adb | 551 +++--- gcc/ada/rtinit.c | 200 +- gcc/ada/s-oscons-tmplt.c | 23 +- gcc/ada/sem_attr.adb | 15 +- gcc/ada/sem_ch13.adb | 157 +- gcc/ada/sem_ch13.ads | 12 - gcc/ada/sem_eval.adb | 4 + gcc/ada/sem_prag.adb | 118 +- gcc/ada/sem_prag.ads | 6 + gcc/ada/sem_util.adb | 7 +- gcc/ada/xoscons.adb | 3 +- gcc/testsuite/ChangeLog | 34 + gcc/testsuite/gnat.dg/addr13.adb | 9 + gcc/testsuite/gnat.dg/addr13.ads | 5 + gcc/testsuite/gnat.dg/entry1.adb | 75 + gcc/testsuite/gnat.dg/entry1.ads | 4 + gcc/testsuite/gnat.dg/fixed_delete.adb | 17 + gcc/testsuite/gnat.dg/interface10.adb | 22 + gcc/testsuite/gnat.dg/interface9.adb | 10 + gcc/testsuite/gnat.dg/interface9_root-child.ads | 7 + gcc/testsuite/gnat.dg/interface9_root.ads | 10 + gcc/testsuite/gnat.dg/predicate8.adb | 15 + gcc/testsuite/gnat.dg/predicate8_pkg.adb | 64 + gcc/testsuite/gnat.dg/predicate8_pkg.ads | 81 + gcc/testsuite/gnat.dg/predicate9.adb | 21 + gcc/testsuite/gnat.dg/sso16.adb | 55 + 60 files changed, 3862 insertions(+), 1795 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/addr13.adb create mode 100644 gcc/testsuite/gnat.dg/addr13.ads create mode 100644 gcc/testsuite/gnat.dg/entry1.adb create mode 100644 gcc/testsuite/gnat.dg/entry1.ads create mode 100644 gcc/testsuite/gnat.dg/fixed_delete.adb create mode 100644 gcc/testsuite/gnat.dg/interface10.adb create mode 100644 gcc/testsuite/gnat.dg/interface9.adb create mode 100644 gcc/testsuite/gnat.dg/interface9_root-child.ads create mode 100644 gcc/testsuite/gnat.dg/interface9_root.ads create mode 100644 gcc/testsuite/gnat.dg/predicate8.adb create mode 100644 gcc/testsuite/gnat.dg/predicate8_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/predicate8_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/predicate9.adb create mode 100644 gcc/testsuite/gnat.dg/sso16.adb