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

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

from 1021b72bf65 tree-optimization/103816 - detect offset overflow in SLP gr [...] new 1fc93860a54 [Ada] Reduce runtime dependencies on stage1 new acdf2f079b3 [Ada] Remove Compiler_Unit[_Warning] pragmas new 50d8b1066a4 [Ada] Fix lemma in generic unit System.Arith_Double new 1a056c27886 [Ada] Rename parameter-dependent constants in generic unit new 06faf927cbc [Ada] Deconstruct dead wrappers added for external axiomatization new 0f93c574cb7 [Ada] Renamed_Entity should return Entity_Id new a714d2b000a [Ada] Fix sharing of formal parameters between wrapper spec [...] new 8ec9fd41cfe [Ada] Remove redundant code related to instances with forma [...] new af28783eb43 [Ada] Proof of runtime units for integer exponentiation (ch [...] new 54403a8130c [Ada] Simplify making of null procedure wrappers new a6505936a35 [Ada] Prevent Get_Current_Value_Condition from returning th [...] new c239773dd18 [Ada] Introduce expression functions for contract of Scan_Exponent new 1702fb6bf95 [Ada] Remove unnecessary check for missing parameter specif [...] new 3814652309e [Ada] Proof of runtime units for integer exponentiation (ch [...] new 7c58372ad22 [Ada] Simplify handling of user-defined numeric literals new bfcc4dd71b5 [Ada] Add contracts for the proof of System.Arith_128 new e2642e2b2c1 [Ada] Fix condition to build subtype for discriminated types new 82faa04d974 [Ada] Fix layout of parameters in calls to Predef_Spec_Or_Body new 08613129bb1 [Ada] Remove extra space in parameter associations new 17b7c44f009 [Ada] Align arrows in parameter associations new 31593d26271 [Ada] Remove explicit "in" in internal parameter association new 3077fc46e93 [Ada] Remove extra whitespace in declarations and parameters lists new 76cc077330f [Ada] Remove obsolete s-sopco* and s-strops units new f3799ac5343 [Ada] Compiler crash with -gnatR2 and with of child new ad2fd234e70 [Ada] Simplify calls to Name_Find with known string parameter new 48b8a564c95 [Ada] Use Add_Char_To_Name_Buffer for 1-character strings new 3531f20f6cf [Ada] Expand controlling functions wrappers in GNATprove mode new 2af751b3b8d [Ada] Expand controlling function wrapper into expression function new a7b4fbd9b4c [Ada] Simplify detection of alphabetic characters with memb [...] new 5e51d85e2e7 [Ada] Improve support for casing on types with controlled parts

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/Makefile.rtl | 3 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 33 - gcc/ada/einfo-utils.adb | 12 +- gcc/ada/einfo-utils.ads | 8 +- gcc/ada/errout.ads | 3 +- gcc/ada/exp_aggr.adb | 4 +- gcc/ada/exp_attr.adb | 2 - gcc/ada/exp_ch3.adb | 295 ++-- gcc/ada/exp_ch3.ads | 11 + gcc/ada/exp_ch4.adb | 2 +- gcc/ada/exp_ch5.adb | 8 +- gcc/ada/exp_dbug.adb | 10 +- gcc/ada/exp_disp.adb | 24 +- gcc/ada/exp_spark.adb | 32 + gcc/ada/exp_util.ads | 2 +- gcc/ada/fmap.adb | 2 +- gcc/ada/gcc-interface/Make-lang.in | 11 +- gcc/ada/gnat-style.texi | 6 +- gcc/ada/gnat_rm.texi | 1671 ++++++++++---------- gcc/ada/gnat_ugn.texi | 6 +- gcc/ada/gnatls.adb | 5 +- gcc/ada/libgnarl/s-taskin.adb | 48 +- gcc/ada/libgnat/a-assert.ads | 2 - gcc/ada/libgnat/a-chlat1.ads | 2 - gcc/ada/libgnat/a-cofuve.ads | 2 +- gcc/ada/libgnat/a-elchha.adb | 2 - gcc/ada/libgnat/a-elchha.ads | 2 - gcc/ada/libgnat/a-ioexce.ads | 2 - gcc/ada/libgnat/a-strhas.ads | 2 - gcc/ada/libgnat/g-byorma.adb | 2 - gcc/ada/libgnat/g-byorma.ads | 2 - gcc/ada/libgnat/g-dynhta.ads | 3 +- gcc/ada/libgnat/g-dyntab.adb | 2 - gcc/ada/libgnat/g-dyntab.ads | 3 +- gcc/ada/libgnat/g-graphs.ads | 3 +- gcc/ada/libgnat/g-heasor.ads | 2 - gcc/ada/libgnat/g-hesora.adb | 2 - gcc/ada/libgnat/g-hesora.ads | 2 - gcc/ada/libgnat/g-htable.adb | 2 - gcc/ada/libgnat/g-htable.ads | 2 - gcc/ada/libgnat/g-lists.ads | 3 +- gcc/ada/libgnat/g-sets.ads | 3 +- gcc/ada/libgnat/g-spchge.adb | 2 - gcc/ada/libgnat/g-spchge.ads | 2 - gcc/ada/libgnat/g-speche.adb | 2 - gcc/ada/libgnat/g-speche.ads | 2 - gcc/ada/libgnat/g-table.ads | 2 - gcc/ada/libgnat/g-u3spch.adb | 2 - gcc/ada/libgnat/g-u3spch.ads | 2 - gcc/ada/libgnat/gnat.ads | 3 + gcc/ada/libgnat/interfac.ads | 2 - gcc/ada/libgnat/s-addope.adb | 2 - gcc/ada/libgnat/s-addope.ads | 2 - gcc/ada/libgnat/s-aridou.adb | 366 +++-- gcc/ada/libgnat/s-arit128.adb | 4 +- gcc/ada/libgnat/s-arit128.ads | 100 +- gcc/ada/libgnat/s-assert.adb | 2 - gcc/ada/libgnat/s-assert.ads | 2 - gcc/ada/libgnat/s-bitops.adb | 2 - gcc/ada/libgnat/s-bitops.ads | 2 - gcc/ada/libgnat/s-carun8.adb | 2 - gcc/ada/libgnat/s-carun8.ads | 2 - gcc/ada/libgnat/s-casuti.adb | 2 - gcc/ada/libgnat/s-casuti.ads | 5 - gcc/ada/libgnat/s-conca2.adb | 2 - gcc/ada/libgnat/s-conca2.ads | 2 - gcc/ada/libgnat/s-conca3.adb | 2 - gcc/ada/libgnat/s-conca3.ads | 2 - gcc/ada/libgnat/s-conca4.adb | 2 - gcc/ada/libgnat/s-conca4.ads | 2 - gcc/ada/libgnat/s-conca5.adb | 2 - gcc/ada/libgnat/s-conca5.ads | 2 - gcc/ada/libgnat/s-conca6.adb | 2 - gcc/ada/libgnat/s-conca6.ads | 2 - gcc/ada/libgnat/s-conca7.adb | 2 - gcc/ada/libgnat/s-conca7.ads | 2 - gcc/ada/libgnat/s-conca8.adb | 2 - gcc/ada/libgnat/s-conca8.ads | 2 - gcc/ada/libgnat/s-conca9.adb | 2 - gcc/ada/libgnat/s-conca9.ads | 2 - gcc/ada/libgnat/s-crc32.adb | 2 - gcc/ada/libgnat/s-crc32.ads | 2 - gcc/ada/libgnat/s-crtl.ads | 2 - gcc/ada/libgnat/s-excdeb.adb | 2 - gcc/ada/libgnat/s-excdeb.ads | 2 - gcc/ada/libgnat/s-except.ads | 2 - gcc/ada/libgnat/s-exctab.adb | 2 - gcc/ada/libgnat/s-exctab.ads | 2 - gcc/ada/libgnat/s-exnint.ads | 21 +- gcc/ada/libgnat/s-exnlli.ads | 22 +- gcc/ada/libgnat/s-exnllli.ads | 23 +- gcc/ada/libgnat/s-expint.ads | 21 +- gcc/ada/libgnat/s-explli.ads | 22 +- gcc/ada/libgnat/s-expllli.ads | 23 +- gcc/ada/libgnat/s-exponn.adb | 186 ++- gcc/ada/libgnat/s-exponn.ads | 35 +- gcc/ada/libgnat/s-expont.adb | 186 ++- gcc/ada/libgnat/s-expont.ads | 35 +- gcc/ada/libgnat/s-finmas.ads | 2 - gcc/ada/libgnat/s-htable.adb | 2 - gcc/ada/libgnat/s-htable.ads | 2 - gcc/ada/libgnat/s-mastop.adb | 2 - gcc/ada/libgnat/s-mastop.ads | 2 - gcc/ada/libgnat/s-memory.adb | 2 - gcc/ada/libgnat/s-memory.ads | 2 - gcc/ada/libgnat/s-os_lib.ads | 2 - gcc/ada/libgnat/s-parame.adb | 2 - gcc/ada/libgnat/s-parame.ads | 2 - gcc/ada/libgnat/s-parame__posix2008.ads | 2 - gcc/ada/libgnat/s-pehage.ads | 2 - gcc/ada/libgnat/s-purexc.ads | 2 - gcc/ada/libgnat/s-resfil.adb | 2 - gcc/ada/libgnat/s-resfil.ads | 3 +- gcc/ada/libgnat/s-restri.adb | 2 - gcc/ada/libgnat/s-restri.ads | 2 - gcc/ada/libgnat/s-rident.ads | 5 +- gcc/ada/libgnat/s-secsta.adb | 2 - gcc/ada/libgnat/s-secsta.ads | 2 - gcc/ada/libgnat/s-soflin.adb | 2 - gcc/ada/libgnat/s-soflin.ads | 2 - gcc/ada/libgnat/s-sopco3.adb | 64 - gcc/ada/libgnat/s-sopco3.ads | 46 - gcc/ada/libgnat/s-sopco4.adb | 66 - gcc/ada/libgnat/s-sopco4.ads | 46 - gcc/ada/libgnat/s-sopco5.adb | 68 - gcc/ada/libgnat/s-sopco5.ads | 46 - gcc/ada/libgnat/s-spsufi.ads | 2 - gcc/ada/libgnat/s-stache.adb | 2 - gcc/ada/libgnat/s-stache.ads | 2 - gcc/ada/libgnat/s-stalib.adb | 2 - gcc/ada/libgnat/s-stalib.ads | 2 - gcc/ada/libgnat/s-stoele.adb | 2 - gcc/ada/libgnat/s-stoele.ads | 2 - gcc/ada/libgnat/s-strcom.adb | 2 - gcc/ada/libgnat/s-strcom.ads | 2 - gcc/ada/libgnat/s-strhas.adb | 2 - gcc/ada/libgnat/s-string.adb | 2 - gcc/ada/libgnat/s-string.ads | 2 - gcc/ada/libgnat/s-strops.adb | 109 -- gcc/ada/libgnat/s-strops.ads | 56 - gcc/ada/libgnat/s-ststop.adb | 2 - gcc/ada/libgnat/s-ststop.ads | 2 - gcc/ada/libgnat/s-traceb.adb | 2 - gcc/ada/libgnat/s-traceb.ads | 2 - gcc/ada/libgnat/s-traent.adb | 2 - gcc/ada/libgnat/s-traent.ads | 2 - gcc/ada/libgnat/s-unstyp.ads | 2 - gcc/ada/libgnat/s-utf_32.adb | 2 - gcc/ada/libgnat/s-utf_32.ads | 3 +- gcc/ada/libgnat/s-valuti.ads | 92 +- gcc/ada/libgnat/s-wchcnv.adb | 2 - gcc/ada/libgnat/s-wchcnv.ads | 2 - gcc/ada/libgnat/s-wchcon.adb | 2 - gcc/ada/libgnat/s-wchcon.ads | 2 - gcc/ada/libgnat/s-wchjis.adb | 2 - gcc/ada/libgnat/s-wchjis.ads | 2 - gcc/ada/opt.ads | 9 - gcc/ada/osint.adb | 15 + gcc/ada/osint.ads | 4 + gcc/ada/par-ch5.adb | 4 - gcc/ada/par-prag.adb | 18 - gcc/ada/repinfo.adb | 10 +- gcc/ada/restrict.adb | 18 - gcc/ada/restrict.ads | 10 - gcc/ada/sem_ch11.adb | 4 - gcc/ada/sem_ch12.adb | 206 --- gcc/ada/sem_ch12.ads | 17 - gcc/ada/sem_ch3.adb | 107 +- gcc/ada/sem_ch4.adb | 16 - gcc/ada/sem_ch6.adb | 2 - gcc/ada/sem_dim.adb | 8 +- gcc/ada/sem_prag.adb | 60 +- gcc/ada/sem_util.adb | 22 +- gcc/ada/sem_util.ads | 7 +- gcc/ada/sinput-l.adb | 2 +- gcc/ada/snames.ads-tmpl | 4 - gcc/ada/switch-b.adb | 2 +- gcc/ada/targparm.adb | 7 +- 178 files changed, 2098 insertions(+), 2527 deletions(-) delete mode 100644 gcc/ada/libgnat/s-sopco3.adb delete mode 100644 gcc/ada/libgnat/s-sopco3.ads delete mode 100644 gcc/ada/libgnat/s-sopco4.adb delete mode 100644 gcc/ada/libgnat/s-sopco4.ads delete mode 100644 gcc/ada/libgnat/s-sopco5.adb delete mode 100644 gcc/ada/libgnat/s-sopco5.ads delete mode 100644 gcc/ada/libgnat/s-strops.adb delete mode 100644 gcc/ada/libgnat/s-strops.ads