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

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

from e3e1c52598a [Ada] Attach the special GNATprove HEAP entity to the Stand [...] new 861040a761c [Ada] Einfo: update documentation for Scalar_Range new 74d3be84914 [Ada] Fix Next_Actual when used on calls "inlined for proof" new 23b5e4a242c [Ada] Secondary stack leak in loop iterator new 277e090c028 [Ada] New ignored Ghost code removal mechanism new 987a432c52d PR middle-end/86539 * gimplify.c (gimplify_omp_for): Ensu [...] new 001d55a8092 [Ada] Add elaboration-related switches to GNAT UGN new 6d4252a36fe [Ada] Fix Enclosing_Subprogram for protected entries and ta [...] new 4a5b75f7882 [Ada] Secondary stack leak in statements block located in a loop new 423c4f98439 [Ada] GNAT.Sockets: reorganize and make public components o [...] new dacc0c1e390 [Ada] Avoid confusing warning on exception propagation in G [...] new e60aee9a1f6 [Ada] Spurious error on Part_Of indicator new d071447586a [Ada] Argument_String_To_List creates empty items from whitespace new 2952a6a01c4 [Ada] Consistent spelling of "i.e." in docs and comments new 9e1c477d53b [Ada] Crash processing abstract state aspect of a package new a074380f056 [Ada] Minor reformatting new 1141926006c [Ada] Unnesting: don't use Get_Actual_Subtype for record subtypes new 6a5cf51afc8 [Ada] Missing check on illegal equality operation in subprogram new 19d786c363f [Ada] Assertion_Policy for class-wide precondition new cefcaf9db10 [Ada] Minor fix for imported C++ constructors new 4a44f693005 [Ada] Remove extra parentheses in Expand_Inlined_Call new 48d24cb9599 [Ada] Type mismatch warning for imported C++ class new 007213505a9 [Ada] ICE on renaming of result of binary operation new b4944371878 [Ada] Configuration state not observed for instance bodies new 2dd30583265 [Ada] Faulty ignored Ghost code removal new 499812b50fa [Ada] Use standard version of s-memory.adb for mingw32 new 1d97d249a9d [Ada] Fix incompatibility Default_Scalar_Storage_Order/tagg [...] new e292a3c3295 [Ada] Fix RM rule references new 749c947cf90 [Ada] Reuse Is_Rewrite_Substitution in Relocate_Node new 0d87bc7b977 [Ada] Fix expansion of aggregates components rewritten to r [...] new 75f4b34c78c [Ada] Add provision for floating-point in Apply_Division_Check new 0f4c906c5ba [Ada] Preserve original CE reason in more cases new 78c2f424574 [Ada] Spurious error on prefixed call in an instantiation

The 32 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/ChangeLog | 8 + gcc/ada/ChangeLog | 306 ++++++++++++ gcc/ada/Makefile.rtl | 12 +- gcc/ada/alloc.ads | 4 +- gcc/ada/atree.adb | 77 ++- gcc/ada/atree.ads | 7 + gcc/ada/checks.adb | 25 +- .../building_executable_programs_with_gnat.rst | 68 ++- gcc/ada/einfo.ads | 7 +- gcc/ada/exp_aggr.adb | 28 ++ gcc/ada/exp_ch13.adb | 5 + gcc/ada/exp_ch7.adb | 54 ++- gcc/ada/exp_disp.adb | 48 +- gcc/ada/exp_unst.adb | 39 +- gcc/ada/freeze.adb | 527 ++++++++++++--------- gcc/ada/frontend.adb | 15 +- gcc/ada/gcc-interface/ada-tree.h | 25 +- gcc/ada/gcc-interface/decl.c | 99 ++-- gcc/ada/gcc-interface/gigi.h | 6 +- gcc/ada/gcc-interface/misc.c | 5 +- gcc/ada/gcc-interface/trans.c | 11 +- gcc/ada/gcc-interface/utils.c | 8 +- gcc/ada/ghost.adb | 348 ++++++-------- gcc/ada/ghost.ads | 4 - gcc/ada/gnat1drv.adb | 6 + gcc/ada/gnat_ugn.texi | 101 +++- gcc/ada/inline.adb | 4 +- gcc/ada/inline.ads | 28 +- gcc/ada/libgnat/g-comlin.ads | 11 +- gcc/ada/libgnat/g-socket.adb | 136 +++++- gcc/ada/libgnat/g-socket.ads | 62 ++- gcc/ada/libgnat/s-memory__mingw.adb | 221 --------- gcc/ada/libgnat/s-os_lib.adb | 111 ++--- gcc/ada/opt.adb | 98 ++-- gcc/ada/opt.ads | 27 +- gcc/ada/par.adb | 26 +- gcc/ada/sem.adb | 8 +- gcc/ada/sem_ch10.adb | 12 +- gcc/ada/sem_ch12.adb | 151 +++--- gcc/ada/sem_ch3.adb | 18 +- gcc/ada/sem_ch3.ads | 12 +- gcc/ada/sem_ch4.adb | 87 +++- gcc/ada/sem_ch5.adb | 182 ++++--- gcc/ada/sem_ch6.adb | 43 +- gcc/ada/sem_ch8.adb | 21 +- gcc/ada/sem_eval.adb | 15 +- gcc/ada/sem_prag.adb | 13 +- gcc/ada/sem_res.adb | 43 +- gcc/ada/sem_res.ads | 3 + gcc/ada/sem_util.adb | 118 +++-- gcc/ada/sem_util.ads | 2 +- gcc/ada/sem_warn.adb | 5 +- gcc/gimplify.c | 34 +- gcc/testsuite/ChangeLog | 25 + gcc/testsuite/gnat.dg/config_pragma1.adb | 21 + gcc/testsuite/gnat.dg/config_pragma1_pkg.ads | 21 + gcc/testsuite/gnat.dg/equal3.adb | 22 + gcc/testsuite/gnat.dg/generic_call_cw.adb | 33 ++ gcc/testsuite/gnat.dg/generic_call_iface.adb | 34 ++ gcc/testsuite/gnat.dg/memorytest.adb | 26 + gcc/testsuite/gnat.dg/split_args.adb | 13 + gcc/testsuite/gnat.dg/sso10.adb | 16 + gcc/testsuite/gnat.dg/sso10_pkg.ads | 9 + libgomp/ChangeLog | 5 + libgomp/testsuite/libgomp.c++/pr86539.C | 28 ++ 65 files changed, 2271 insertions(+), 1316 deletions(-) delete mode 100644 gcc/ada/libgnat/s-memory__mingw.adb create mode 100644 gcc/testsuite/gnat.dg/config_pragma1.adb create mode 100644 gcc/testsuite/gnat.dg/config_pragma1_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/equal3.adb create mode 100644 gcc/testsuite/gnat.dg/generic_call_cw.adb create mode 100644 gcc/testsuite/gnat.dg/generic_call_iface.adb create mode 100644 gcc/testsuite/gnat.dg/memorytest.adb create mode 100644 gcc/testsuite/gnat.dg/split_args.adb create mode 100644 gcc/testsuite/gnat.dg/sso10.adb create mode 100644 gcc/testsuite/gnat.dg/sso10_pkg.ads create mode 100644 libgomp/testsuite/libgomp.c++/pr86539.C