This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from b1d96739945 PR target/91441 - Turn off -fsanitize=kernel-address if TAR [...] new 46d53adf09c [Ada] Define the -fdump-scos option in lang.opt new 219ede74f51 [Ada] Fix thinko in Acc_Loop_to_gnu new b923604974d [Ada] Further cleanup in inlining machinery new 790cfd31ee8 [Ada] Do not skip non-aliasing checking when inlining in GNATprove new 33f602f48ff [Ada] Representation clause for derived enumeration type is [...] new 813b821f62b [Ada] Opt: clean up left-overs of earlier implementation in [...] new 46895d577ac [Ada] Add formal function parameter equality to SPARK containers new a6f3144f4d5 [Ada] Allow reading a borrowed object inside a call to a pl [...] new 76c3a40d7e8 [Ada] Minor refactorings new dea591de06d [Ada] Document missing gnatmetric switches new 52fd9316d15 [Ada] Fix internal error on subprogram instantiation with -gnatzc new a04908860fd [Ada] Factor out the "size for& too small..." error message new f7292123bd3 [Ada] Improve placement of warning on formals of generic su [...] new 29090cc006a [Ada] Fix incorrect stub generation for types in instances new b2dc32c7b40 [Ada] Enable use of GNAT.Sockets for VxWorks RTP new a4a3cc3d9b2 [Ada] Improve warnings about "too few elements" and "too ma [...] new b3e3fdb9576 [Ada] Process type extensions for -gnatw.h new 24b72fffc23 [Ada] Buffer reading overflow in dispatch table initialization new 1c440dfdc6e [Ada] Legality of protected subp. implementing interface op [...] new 1897f0ad648 [Ada] Further cleanup in inlining machinery new 6ac1b6cdcb8 [Ada] Lift restriction on instantiations that are compilati [...] new f18ecd16624 [Ada] Generate ada_target_properties new c537093aeb9 [Ada] Import documentation from the RM for various runtime units new bc9fd5feb7f [Ada] Incorrect code for -gnateV switch new f0a4ef56abe [Ada] Conversion routines between GNAT.OS_Lib.OS_Time and l [...] new 0d1948ae979 [Ada] Crash on object initialization that is call to expres [...] new 6a83178e340 [Ada] Suppress warnings on unreferenced parameters of dispa [...] new 7551251eeaf [Ada] Fix bogus compilation error with Elaborate_Body and -gnatN new f88abb35d9b [Ada] Einfo: update comments for E_Function and E_Procedure new a0c25abb047 [Ada] Fix documentation for stream oriented attributes
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 | 12 + gcc/ada/checks.adb | 44 ++- gcc/ada/doc/gnat_rm/implementation_advice.rst | 28 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 57 +++- gcc/ada/einfo.ads | 6 +- gcc/ada/errout.adb | 2 +- gcc/ada/errout.ads | 6 + gcc/ada/exp_atag.adb | 11 +- gcc/ada/exp_atag.ads | 7 +- gcc/ada/exp_attr.adb | 56 ++-- gcc/ada/exp_disp.adb | 229 +++++++------- gcc/ada/exp_dist.adb | 52 ++- gcc/ada/freeze.adb | 4 +- gcc/ada/gcc-interface/Makefile.in | 2 + gcc/ada/gcc-interface/lang.opt | 4 + gcc/ada/gcc-interface/misc.c | 1 + gcc/ada/gcc-interface/trans.c | 5 +- gcc/ada/gnat_rm.texi | 38 +-- gcc/ada/inline.adb | 60 ++-- gcc/ada/libgnat/a-cfdlli.ads | 1 + gcc/ada/libgnat/a-cfhama.ads | 1 + gcc/ada/libgnat/a-cfinve.ads | 1 + gcc/ada/libgnat/a-cforma.ads | 1 + gcc/ada/libgnat/a-cgaaso.ads | 13 + gcc/ada/libgnat/a-cgarso.ads | 16 +- gcc/ada/libgnat/a-cofove.ads | 2 + gcc/ada/libgnat/a-cofuma.ads | 1 + gcc/ada/libgnat/a-cofuve.ads | 1 + gcc/ada/libgnat/a-cogeso.ads | 16 + gcc/ada/libgnat/a-contai.ads | 4 + gcc/ada/libgnat/a-except.adb | 1 + gcc/ada/libgnat/a-locale.ads | 16 + gcc/ada/libgnat/s-os_lib.adb | 18 ++ gcc/ada/libgnat/s-os_lib.ads | 11 + gcc/ada/opt.ads | 6 +- gcc/ada/sem.adb | 8 +- gcc/ada/sem_ch12.adb | 110 +++++-- gcc/ada/sem_ch13.adb | 421 ++++++++++++++----------- gcc/ada/sem_ch3.adb | 25 +- gcc/ada/sem_ch6.adb | 23 +- gcc/ada/sem_prag.adb | 5 +- gcc/ada/sem_res.adb | 12 +- gcc/ada/sem_spark.adb | 36 +++ gcc/ada/sem_spark.ads | 3 + gcc/ada/sem_util.adb | 17 +- gcc/ada/sem_util.ads | 14 +- gcc/ada/sem_warn.adb | 77 ++++- gcc/ada/socket.c | 6 - gcc/testsuite/ChangeLog | 36 +++ gcc/testsuite/gnat.dg/elab8.adb | 12 + gcc/testsuite/gnat.dg/elab8_gen.adb | 12 + gcc/testsuite/gnat.dg/elab8_gen.ads | 8 + gcc/testsuite/gnat.dg/elab8_pkg.adb | 5 + gcc/testsuite/gnat.dg/elab8_pkg.ads | 5 + gcc/testsuite/gnat.dg/expr_func9.adb | 24 ++ gcc/testsuite/gnat.dg/generic_inst12.adb | 12 + gcc/testsuite/gnat.dg/generic_inst12_pkg1.adb | 13 + gcc/testsuite/gnat.dg/generic_inst12_pkg1.ads | 11 + gcc/testsuite/gnat.dg/generic_inst12_pkg2.ads | 3 + gcc/testsuite/gnat.dg/openacc1.adb | 12 + gcc/testsuite/gnat.dg/rep_clause9.adb | 23 ++ gcc/testsuite/gnat.dg/valid_scalars2.adb | 25 ++ gcc/testsuite/gnat.dg/warn28.adb | 36 +++ gcc/testsuite/gnat.dg/warn28.ads | 9 + gcc/testsuite/gnat.dg/warn29.adb | 11 + gcc/testsuite/gnat.dg/warn29.ads | 4 + 67 files changed, 1467 insertions(+), 517 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/elab8.adb create mode 100644 gcc/testsuite/gnat.dg/elab8_gen.adb create mode 100644 gcc/testsuite/gnat.dg/elab8_gen.ads create mode 100644 gcc/testsuite/gnat.dg/elab8_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/elab8_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/expr_func9.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst12.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst12_pkg1.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst12_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst12_pkg2.ads create mode 100644 gcc/testsuite/gnat.dg/openacc1.adb create mode 100644 gcc/testsuite/gnat.dg/rep_clause9.adb create mode 100644 gcc/testsuite/gnat.dg/valid_scalars2.adb create mode 100644 gcc/testsuite/gnat.dg/warn28.adb create mode 100644 gcc/testsuite/gnat.dg/warn28.ads create mode 100644 gcc/testsuite/gnat.dg/warn29.adb create mode 100644 gcc/testsuite/gnat.dg/warn29.ads