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

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

from 08fff201c92 OpenMP/Fortran - fix pasto + testcase in depobj [PR100397] new d90be3279ff [Ada] Address ??? comments in styleg.adb new 2175592bf78 [Ada] Fix continuation message for missing ALL in access type new 6d326562ff4 [Ada] Wrong membership test computation for interface type new b65d9aff59b [Ada] Guard against leading and trailing spaces reappearing [...] new d4b0a294694 [Ada] Fix inconsistent handling of character set control switches new c63bb4f3aaa [Ada] Preliminary cleanup in floating-point output implementation new 6aca8cf819f [Ada] Fix reference to SPARK RM rule in comment new 98a54aa5049 [Ada] Check entries for formals of mode IN appearing as glo [...] new c356dfdd6fb [Ada] Reject formals of mode IN appearing as global outputs new 869a06d9818 [Ada] Address some ??? comments in checks.adb new 213c9dc78ec [Ada] Missing finalization on generic instantiation new 13112239f8d [Ada] Ongoing work for AI12-0212: container aggregates new 43758c2cffe [Ada] Simplify use of a global name buffer for Global/Depen [...] new 0a272ac33f4 [Ada] Reject constants of access-to-variable type as functi [...] new 2d5e5d89add [Ada] Address some ??? comments new 86a9605014f [Ada] Reuse Is_Formal_Object where convenient new 0964be0713f [Ada] Clean up ??? marks new f5a7c656e5f [Ada] Use error marker for messages in GNATprove mode new 716e7c15aba [Ada] Move match function for pragma Warnings to public spec new 7367cd5949e [Ada] Assert_Failure vs Assertion_Error new 7f9f8889fed [Ada] Fix handling of access-to-variable objects in Global [...] new 5a3070dff1a [Ada] Simplify iteration over formal parameters for Global/ [...] new 86203b44de9 [Ada] Fix inconsistent iteration with First_Formal and Next_Entity new d20bab53d06 [Ada] Reuse First_Formal for generic subprograms new 9b6a2de07d4 [Ada] Do not "optimize" by converting Positive to Unsigned new e243bf23499 [Ada] Minor tweak in pretty-printing of expressions new 6c1655399ba [Ada] Refine type of a counter variable from Integer to Natural new 8ee1a281140 [Ada] Reuse existing To_Mixed routine in pretty-printer new 2ae4fcfa870 [Ada] Use function and not procedure UI_Image in pretty-printing new 00d8545d705 [Ada] Remove arbitrary and redundant qualification with Sinfo

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/binde.adb | 20 +- gcc/ada/bindo-writers.adb | 4 +- gcc/ada/checks.adb | 201 +++---- gcc/ada/csets.adb | 48 +- gcc/ada/cstand.adb | 8 +- gcc/ada/debug_a.adb | 10 +- .../building_executable_programs_with_gnat.rst | 2 +- gcc/ada/errout.adb | 13 +- gcc/ada/erroutc.adb | 5 - gcc/ada/erroutc.ads | 5 + gcc/ada/exp_aggr.adb | 236 ++++++-- gcc/ada/exp_ch4.adb | 72 +-- gcc/ada/exp_ch7.adb | 209 +++++--- gcc/ada/exp_intr.adb | 59 -- gcc/ada/exp_prag.adb | 3 +- gcc/ada/gcc-interface/Make-lang.in | 2 + gcc/ada/{libgnat => gcc-interface}/a-assert.adb | 5 +- .../s-atoope.ads => gcc-interface/a-assert.ads} | 29 +- gcc/ada/gnat1drv.adb | 4 + gcc/ada/gnat_ugn.texi | 4 +- gcc/ada/gnatchop.adb | 5 +- gcc/ada/gnatdll.adb | 7 +- gcc/ada/gnatlink.adb | 595 +++++++++++---------- gcc/ada/inline.adb | 10 +- gcc/ada/layout.adb | 6 +- gcc/ada/lib-load.adb | 6 +- gcc/ada/lib-xref.adb | 12 +- gcc/ada/lib.adb | 4 +- gcc/ada/libgnat/a-assert.ads | 17 +- gcc/ada/libgnat/s-assert.ads | 4 +- gcc/ada/libgnat/s-finmas.ads | 2 +- gcc/ada/libgnat/s-imgrea.adb | 469 ++++------------ gcc/ada/libgnat/s-imgrea.ads | 2 +- gcc/ada/libgnat/s-imguti.adb | 81 +++ gcc/ada/libgnat/s-imguti.ads | 15 + gcc/ada/libgnat/s-unstyp.ads | 3 - gcc/ada/live.adb | 3 - gcc/ada/mdll.ads | 1 - gcc/ada/namet.ads | 2 +- gcc/ada/osint.adb | 18 +- gcc/ada/osint.ads | 4 +- gcc/ada/pprint.adb | 72 +-- gcc/ada/rtsfind.ads | 2 - gcc/ada/sem_ch12.adb | 4 +- gcc/ada/sem_ch6.adb | 4 +- gcc/ada/sem_prag.adb | 109 ++-- gcc/ada/sem_prag.ads | 6 +- gcc/ada/sem_res.adb | 2 +- gcc/ada/sinfo.ads | 3 +- gcc/ada/snames.ads-tmpl | 1 - gcc/ada/sprint.adb | 8 +- gcc/ada/styleg.adb | 8 +- gcc/ada/switch-b.adb | 8 +- gcc/ada/switch-c.adb | 16 +- gcc/ada/xr_tabls.adb | 25 +- gcc/ada/xr_tabls.ads | 2 +- gcc/ada/xref_lib.adb | 2 +- 57 files changed, 1156 insertions(+), 1321 deletions(-) copy gcc/ada/{libgnat => gcc-interface}/a-assert.adb (98%) copy gcc/ada/{libgnat/s-atoope.ads => gcc-interface/a-assert.ads} (80%)