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

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

from 8325ffc0df4 [Ada] Minor refactoring in Einfo new ab791a8d220 [Ada] Illegal selection of first object in a task type's bo [...] new bd94cd6a93b [Ada] Small internal improvements to the inlining machinery new f27aa0dc33d [Ada] Fix failing assertions on SPARK elaboration new 8e2a1f8faeb [Ada] Crash on precondition involving quantified expression new e2b5ac32267 [Ada] Fix a recent ACATS regression (c552001) new a9bd384fd2c [Ada] Fix discrepancy in mechanism tracking private and full views new a62147e6b85 [Ada] Fix spurious ownership error in GNATprove new 7d2da10f50c [Ada] Check SPARK restriction on Old/Loop_Entry with pointers new 7bd7174aa7f [Ada] Expose part of ownership checking for use in GNATprove new 0cca4508c2a [Ada] Sem_Util: fix a bug in New_Copy_Tree new 52050469dd4 [Ada] Crash on quantified expression in disabled assertion new 1dd4e4df901 [Ada] Fix internal error on inlined subprogram instance new 42e0489b467 [Ada] Spurious error in discriminated aggregate new ef221ed2ecb [Ada] Remove obsolete Pending_Descriptor table and related bits new 724b81a634e [Ada] Minor: remove a ??? comment new bf697151ee5 [Ada] Tweak the sloc of Compile_Time_Warning warnings new fe417467e93 [Ada] Remove documentation of gnatelim new b1c6096753e [Ada] Strengthen Locked flag new 00f6ddf1e5f [Ada] Equality for nonabstract type derived from interface [...] new 1cae40c50f0 [Ada] Compiler speedup with inlining across units new 46cc931f07c [Ada] Defer processing of unknown CTW/E conditions to the back end new 21c8614616f [Ada] Incorrect error on inline protected function new 3e9f1302e88 [Ada] Further cleanup in the inlining machinery new 493b094c3b1 [Ada] Warn about unknown condition in Compile_Time_Warning new 66e0a3d9090 [Ada] Do not crash with -gnatR3 on Ghost aspects new dd3a5ffe761 [Ada] Further cleanup in inlining machinery new e57467b9f0b [Ada] Further cleanup in inlining machinery new 551a164cf71 [Ada] Alignment may be specified as zero new 734c93fe57b [Ada] Improve performance of Containers.Functional_Base

The 29 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 | 280 +++++++++++++ .../gnat_rm/representation_clauses_and_pragmas.rst | 42 +- .../building_executable_programs_with_gnat.rst | 26 +- .../doc/gnat_ugn/gnat_and_program_execution.rst | 269 +----------- gcc/ada/einfo.adb | 4 +- gcc/ada/einfo.ads | 11 +- gcc/ada/exp_aggr.adb | 37 +- gcc/ada/exp_ch3.adb | 18 +- gcc/ada/exp_ch4.adb | 22 + gcc/ada/exp_ch6.adb | 56 --- gcc/ada/freeze.adb | 8 +- gcc/ada/gnat1drv.adb | 2 + gcc/ada/gnat_rm.texi | 10 +- gcc/ada/gnat_ugn.texi | 67 ++- gcc/ada/inline.adb | 456 +++++++++++++++++---- gcc/ada/inline.ads | 24 -- gcc/ada/libgnat/a-cofuba.adb | 179 +++++--- gcc/ada/libgnat/a-cofuba.ads | 17 +- gcc/ada/repinfo.adb | 1 + gcc/ada/sem.ads | 1 - gcc/ada/sem_aux.adb | 6 + gcc/ada/sem_ch12.adb | 59 +-- gcc/ada/sem_ch13.adb | 7 +- gcc/ada/sem_ch4.adb | 10 +- gcc/ada/sem_ch7.adb | 106 +++-- gcc/ada/sem_disp.adb | 8 +- gcc/ada/sem_disp.ads | 3 +- gcc/ada/sem_elab.adb | 8 +- gcc/ada/sem_prag.adb | 143 +++---- gcc/ada/sem_prag.ads | 8 - gcc/ada/sem_spark.adb | 346 ++++++++++++++-- gcc/ada/sem_spark.ads | 6 + gcc/ada/sem_util.adb | 41 +- gcc/ada/table.adb | 4 + gcc/ada/table.ads | 17 +- gcc/ada/warnsw.adb | 301 +++++++------- gcc/ada/warnsw.ads | 105 ++--- gcc/testsuite/ChangeLog | 50 +++ gcc/testsuite/gnat.dg/alignment15.adb | 17 + gcc/testsuite/gnat.dg/{ghost3.adb => assert2.adb} | 4 +- gcc/testsuite/gnat.dg/assert2.ads | 15 + gcc/testsuite/gnat.dg/discr57.adb | 17 + gcc/testsuite/gnat.dg/equal11.adb | 37 ++ gcc/testsuite/gnat.dg/equal11_interface.ads | 7 + gcc/testsuite/gnat.dg/equal11_record.adb | 10 + gcc/testsuite/gnat.dg/equal11_record.ads | 21 + gcc/testsuite/gnat.dg/generic_inst11.adb | 9 + gcc/testsuite/gnat.dg/generic_inst11_pkg.adb | 21 + gcc/testsuite/gnat.dg/generic_inst11_pkg.ads | 5 + gcc/testsuite/gnat.dg/inline18.adb | 6 + gcc/testsuite/gnat.dg/inline18.ads | 6 + gcc/testsuite/gnat.dg/inline18_gen1-inner_g.ads | 8 + gcc/testsuite/gnat.dg/inline18_gen1.adb | 9 + gcc/testsuite/gnat.dg/inline18_gen1.ads | 14 + gcc/testsuite/gnat.dg/inline18_gen2.adb | 10 + gcc/testsuite/gnat.dg/inline18_gen2.ads | 11 + gcc/testsuite/gnat.dg/inline18_gen3.adb | 12 + gcc/testsuite/gnat.dg/inline18_gen3.ads | 13 + gcc/testsuite/gnat.dg/inline18_pkg1.adb | 8 + gcc/testsuite/gnat.dg/inline18_pkg1.ads | 19 + gcc/testsuite/gnat.dg/inline18_pkg2-child.ads | 9 + gcc/testsuite/gnat.dg/inline18_pkg2.ads | 2 + gcc/testsuite/gnat.dg/inline19.adb | 17 + gcc/testsuite/gnat.dg/inline19.ads | 8 + gcc/testsuite/gnat.dg/predicate12.adb | 6 + gcc/testsuite/gnat.dg/predicate12.ads | 42 ++ gcc/testsuite/gnat.dg/task5.adb | 26 ++ gcc/testsuite/gnat.dg/warn27.adb | 10 + 68 files changed, 2200 insertions(+), 957 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/alignment15.adb copy gcc/testsuite/gnat.dg/{ghost3.adb => assert2.adb} (57%) create mode 100644 gcc/testsuite/gnat.dg/assert2.ads create mode 100644 gcc/testsuite/gnat.dg/discr57.adb create mode 100644 gcc/testsuite/gnat.dg/equal11.adb create mode 100644 gcc/testsuite/gnat.dg/equal11_interface.ads create mode 100644 gcc/testsuite/gnat.dg/equal11_record.adb create mode 100644 gcc/testsuite/gnat.dg/equal11_record.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst11.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst11_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst11_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/inline18.adb create mode 100644 gcc/testsuite/gnat.dg/inline18.ads create mode 100644 gcc/testsuite/gnat.dg/inline18_gen1-inner_g.ads create mode 100644 gcc/testsuite/gnat.dg/inline18_gen1.adb create mode 100644 gcc/testsuite/gnat.dg/inline18_gen1.ads create mode 100644 gcc/testsuite/gnat.dg/inline18_gen2.adb create mode 100644 gcc/testsuite/gnat.dg/inline18_gen2.ads create mode 100644 gcc/testsuite/gnat.dg/inline18_gen3.adb create mode 100644 gcc/testsuite/gnat.dg/inline18_gen3.ads create mode 100644 gcc/testsuite/gnat.dg/inline18_pkg1.adb create mode 100644 gcc/testsuite/gnat.dg/inline18_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/inline18_pkg2-child.ads create mode 100644 gcc/testsuite/gnat.dg/inline18_pkg2.ads create mode 100644 gcc/testsuite/gnat.dg/inline19.adb create mode 100644 gcc/testsuite/gnat.dg/inline19.ads create mode 100644 gcc/testsuite/gnat.dg/predicate12.adb create mode 100644 gcc/testsuite/gnat.dg/predicate12.ads create mode 100644 gcc/testsuite/gnat.dg/task5.adb create mode 100644 gcc/testsuite/gnat.dg/warn27.adb