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

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

from e703a43319a Simplify dump_printf in value-prof.c new 9c3e12d78b1 [Ada] Extend range type in search primitives of formal vectors new 04c6a98865a [Ada] Complete the more extended AST traversal used in GNATprove new 9c811f40c74 [Ada] Better exception message on Invalid_Switch exception new 0fabbf2c85a [Ada] Add ability to list compiler switches with gnatcmd new 80a305cddca [Ada] Wrong initialization of Offset_To_Top in secondary DT new 8105dc377d3 [Ada] Fix spurious error on nested instantiation with inlining new fecd5d5b4ce [Ada] Add/fix documentation for the Double_*_Alignment parameters new ae328900c57 [Ada] Disable anonymous allocator warning for library-level [...] new 127fec2dc2c [Ada] Avoid spurious errors on dimensionality checking in G [...] new bfde37f890d [Ada] Systematically pass LN_S to relevant gnatlib targets new 1e510b63998 [Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads new 175b42e6edb [Ada] Do not set Back_End_Inlining in ASIS mode new db3b1a4760b [Ada] Spurious error on nested instantiation new 5bf51e61f1a [Ada] Avoid crash in GNATprove due to inlining inside type new fb48dcd3dbc [Ada] Avoid crash in GNATprove_Mode on allocator inside type new da558db074a [Ada] Implement pragma Max_Entry_Queue_Length new 4571ad410cf [Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR4 output new fa7ccff5ba2 [Ada] Compiler may blow up on array aggregates whose size i [...] new e324731fd32 [Ada] Do full name qualification of local exception names for LLVM new bcc2ed529db [Ada] Add conformance check on actual subp. in instance of [...] new f6bd78ddd3d [Ada] Protect analysis of Indexing aspect against cascaded errors new 2cd122d8656 [Ada] Fix bogus style check failure with pragma Style_Checks (Off) new b212de5b83e [Ada] Small cleanup and improvement in inlining machinery new da8cdc914ea [Ada] Add GNAT.Branch_Prediction to Impunit new ea791f8e922 [Ada] Do not remove side-effects in an others_clause with f [...] new e2cbc30501e [Ada] Wrong dispatching call in type with aspect Implicit_D [...] new 2fec02ad9b7 [Ada] Fix spurious instantiation error on private record type new cfb10d96ffe [Ada] Legality rule on ancestors of type extensions in gene [...] new 69ddd8622ec [Ada] Build full derivation for private concurrent type new d042fb93919 [Ada] Remove unused component in record type

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 | 242 +++++++++++++ gcc/ada/ali.adb | 3 - gcc/ada/ali.ads | 14 +- gcc/ada/aspects.adb | 1 + gcc/ada/aspects.ads | 7 +- .../building_executable_programs_with_gnat.rst | 10 +- gcc/ada/exp_aggr.adb | 31 +- gcc/ada/exp_ch4.adb | 5 +- gcc/ada/exp_ch6.adb | 57 ++- gcc/ada/exp_dbug.adb | 1 + gcc/ada/exp_disp.adb | 79 +++-- gcc/ada/gcc-interface/Make-lang.in | 3 +- gcc/ada/gcc-interface/Makefile.in | 25 +- gcc/ada/gnat1drv.adb | 4 + gcc/ada/gnat_ugn.texi | 12 +- gcc/ada/gnatcmd.adb | 36 +- gcc/ada/impunit.adb | 1 + gcc/ada/inline.adb | 31 +- gcc/ada/inline.ads | 3 + gcc/ada/libgnat/a-cfinve.adb | 4 +- gcc/ada/libgnat/a-cofove.adb | 4 +- gcc/ada/libgnat/g-comlin.adb | 4 +- gcc/ada/libgnat/g-sercom__mingw.adb | 2 +- gcc/ada/libgnat/s-win32.ads | 3 +- gcc/ada/par-prag.adb | 1 + gcc/ada/repinfo.adb | 11 +- gcc/ada/sem.adb | 1 + gcc/ada/sem_ch12.adb | 62 ++-- gcc/ada/sem_ch12.ads | 4 - gcc/ada/sem_ch13.adb | 20 +- gcc/ada/sem_ch3.adb | 381 ++++++++------------- gcc/ada/sem_ch4.adb | 65 +--- gcc/ada/sem_ch8.adb | 153 ++++++++- gcc/ada/sem_dim.adb | 20 +- gcc/ada/sem_eval.adb | 12 +- gcc/ada/sem_prag.adb | 19 +- gcc/ada/sem_prag.ads | 1 + gcc/ada/sem_res.adb | 28 +- gcc/ada/sem_util.adb | 3 + gcc/ada/sinfo.ads | 2 +- gcc/ada/snames.ads-tmpl | 5 +- gcc/testsuite/ChangeLog | 53 +++ gcc/testsuite/gnat.dg/aggr26.adb | 10 + gcc/testsuite/gnat.dg/aggr27.adb | 26 ++ gcc/testsuite/gnat.dg/allocator2.adb | 6 + gcc/testsuite/gnat.dg/allocator2.ads | 15 + gcc/testsuite/gnat.dg/anon3.adb | 6 + gcc/testsuite/gnat.dg/anon3.ads | 4 + gcc/testsuite/gnat.dg/{access5.adb => discr56.adb} | 4 +- gcc/testsuite/gnat.dg/discr56.ads | 9 + gcc/testsuite/gnat.dg/discr56_pkg1.adb | 6 + gcc/testsuite/gnat.dg/discr56_pkg1.ads | 14 + gcc/testsuite/gnat.dg/discr56_pkg2.ads | 11 + gcc/testsuite/gnat.dg/generic_inst10.adb | 26 ++ gcc/testsuite/gnat.dg/generic_inst10_pkg.ads | 11 + gcc/testsuite/gnat.dg/generic_inst8.adb | 8 + gcc/testsuite/gnat.dg/generic_inst8.ads | 7 + gcc/testsuite/gnat.dg/generic_inst8_g.adb | 12 + gcc/testsuite/gnat.dg/generic_inst8_g.ads | 17 + .../gnat.dg/{access5.adb => generic_inst9.adb} | 4 +- gcc/testsuite/gnat.dg/generic_inst9.ads | 11 + .../gnat.dg/generic_inst9_pkg1-operator.ads | 10 + gcc/testsuite/gnat.dg/generic_inst9_pkg1.ads | 12 + gcc/testsuite/gnat.dg/generic_inst9_pkg2.adb | 9 + gcc/testsuite/gnat.dg/generic_inst9_pkg2.ads | 17 + gcc/testsuite/gnat.dg/tag2.adb | 20 ++ gcc/testsuite/gnat.dg/tag2_pkg.ads | 16 + gcc/testsuite/gnat.dg/tagged3.adb | 42 +++ gcc/testsuite/gnat.dg/tagged3_pkg.adb | 12 + gcc/testsuite/gnat.dg/tagged3_pkg.ads | 9 + gcc/testsuite/gnat.dg/tagged4.adb | 28 ++ 71 files changed, 1304 insertions(+), 501 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/aggr26.adb create mode 100644 gcc/testsuite/gnat.dg/aggr27.adb create mode 100644 gcc/testsuite/gnat.dg/allocator2.adb create mode 100644 gcc/testsuite/gnat.dg/allocator2.ads create mode 100644 gcc/testsuite/gnat.dg/anon3.adb create mode 100644 gcc/testsuite/gnat.dg/anon3.ads copy gcc/testsuite/gnat.dg/{access5.adb => discr56.adb} (57%) create mode 100644 gcc/testsuite/gnat.dg/discr56.ads create mode 100644 gcc/testsuite/gnat.dg/discr56_pkg1.adb create mode 100644 gcc/testsuite/gnat.dg/discr56_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/discr56_pkg2.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst10.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst10_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst8.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst8.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst8_g.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst8_g.ads copy gcc/testsuite/gnat.dg/{access5.adb => generic_inst9.adb} (50%) create mode 100644 gcc/testsuite/gnat.dg/generic_inst9.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst9_pkg1-operator.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst9_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst9_pkg2.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst9_pkg2.ads create mode 100644 gcc/testsuite/gnat.dg/tag2.adb create mode 100644 gcc/testsuite/gnat.dg/tag2_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/tagged3.adb create mode 100644 gcc/testsuite/gnat.dg/tagged3_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/tagged3_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/tagged4.adb