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

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

from e7da31ba203 RISC-V: Minimal support of vector extensions new ed722edd2f4 [Ada] Proof of runtime units for binary modular exponentiation new 07793a58d07 [Ada] Proof of runtime unit for non-binary modular exponentiation new d6f0d0d4c18 [Ada] Simplify GNAT AST printing with simple GNAT hash table new 2a3652640b6 [Ada] Simplify repeated calls in printing of GNAT AST new bfbb8de6607 [Ada] Crash in class-wide pre/postconditions new 4458909a806 [Ada] Removal of technical debt new 4e5e43e8ca4 [Ada] Justify false positive message from CodePeer analysis [...] new f64a1bfadda [Ada] Suppress spurious CodePeer check on generic actual su [...] new 7f08c075994 [Ada] Rename Any_Access into Universal_Access new 337417795af [Ada] Remove duplicates of empty strings new 0590ed7248a [Ada] New restriction No_Tagged_Type_Registration new 1f26ff11b68 [Ada] Spurious error when using current instance of type new 41a7b9484a3 [Ada] Fix typo in comments found running aspell new c60f23e13ec [Ada] Avoid building malformed component constraints new 5bad97d7445 [Ada] Avoid building malformed component constraints new ffbc891aaa9 [Ada] Fix spurious error on instantiation with Text_IO name new cdfdd0de395 [Ada] Fix style in calls to Compile_Time_Constraint_Error new 39521d958f6 [Ada] Refactor repeated implicit conversion from Char_Code to Uint new d763e11c21d [Ada] Simplify type conversions in source pointer arithmetic new 005146582c2 [Ada] Fix style in comments about warning messages new 00a66280cda [Ada] Remove unreferenced Warn_On_Instance new b542b2d97f2 [Ada] Fix regression in freezing code for instantiations new 4ca7f4e26dd [Ada] Fix typo on compatibility new a9f0ee1dfc2 [Ada] Remove unnecessary guards for non-empty lists new a1777492423 [Ada] Move messages on division by zero to the right operand new 362c58c423d [Ada] Remove a locally handled exception new d2bc32602c5 [Ada] Simplify traversal for removing warnings from dead code new 42dd6f60d8f [Ada] Proof of System.Generic_Array_Operations at silver level new 1871f2cb3ce [Ada] Remove unnecessary declare block new 2a60c08e98a [Ada] Warn on subtype declaration of null range

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/atree.adb | 2 +- gcc/ada/checks.adb | 12 +- gcc/ada/contracts.adb | 164 ++--- gcc/ada/cstand.adb | 19 +- ...ard_and_implementation_defined_restrictions.rst | 13 +- gcc/ada/einfo.ads | 6 +- gcc/ada/err_vars.ads | 8 - gcc/ada/errout.adb | 138 ++-- gcc/ada/erroutc.ads | 2 +- gcc/ada/exp_aggr.adb | 12 +- gcc/ada/exp_ch3.adb | 19 + gcc/ada/exp_ch4.adb | 27 +- gcc/ada/exp_ch6.adb | 14 +- gcc/ada/exp_ch7.adb | 10 +- gcc/ada/exp_ch9.adb | 4 +- gcc/ada/exp_disp.adb | 18 +- gcc/ada/exp_dist.adb | 18 +- gcc/ada/exp_prag.adb | 2 +- gcc/ada/exp_unst.adb | 4 +- gcc/ada/exp_unst.ads | 4 +- gcc/ada/exp_util.adb | 19 +- gcc/ada/freeze.adb | 6 +- gcc/ada/gen_il-gen-gen_entities.adb | 5 +- gcc/ada/gnat_rm.texi | 767 +++++++++++---------- gcc/ada/libgnat/a-except.ads | 8 +- gcc/ada/libgnat/a-ngcoar.adb | 11 + gcc/ada/libgnat/a-ngrear.adb | 11 + gcc/ada/libgnat/s-explllu.ads | 15 +- gcc/ada/libgnat/s-expllu.ads | 15 +- gcc/ada/libgnat/s-expmod.adb | 240 ++++++- gcc/ada/libgnat/s-expmod.ads | 44 +- gcc/ada/libgnat/s-exponu.adb | 26 +- gcc/ada/libgnat/s-exponu.ads | 16 +- gcc/ada/libgnat/s-expuns.ads | 15 +- gcc/ada/libgnat/s-gearop.adb | 321 ++++++++- gcc/ada/libgnat/s-gearop.ads | 198 +++++- gcc/ada/libgnat/s-rident.ads | 1 + gcc/ada/libgnat/s-utf_32.adb | 23 +- gcc/ada/par-ch2.adb | 25 +- gcc/ada/par-ch3.adb | 32 +- gcc/ada/par-ch4.adb | 7 +- gcc/ada/par-endh.adb | 2 +- gcc/ada/par.adb | 20 +- gcc/ada/par_sco.adb | 21 +- gcc/ada/prep.adb | 8 +- gcc/ada/restrict.adb | 6 +- gcc/ada/restrict.ads | 1 + gcc/ada/sem.ads | 2 +- gcc/ada/sem_attr.adb | 40 +- gcc/ada/sem_cat.adb | 18 +- gcc/ada/sem_cat.ads | 9 + gcc/ada/sem_ch12.adb | 32 +- gcc/ada/sem_ch13.adb | 10 +- gcc/ada/sem_ch3.adb | 24 +- gcc/ada/sem_ch4.adb | 92 +-- gcc/ada/sem_ch5.adb | 8 +- gcc/ada/sem_ch6.adb | 4 +- gcc/ada/sem_ch8.adb | 15 +- gcc/ada/sem_dim.adb | 4 +- gcc/ada/sem_elab.adb | 10 +- gcc/ada/sem_eval.adb | 18 +- gcc/ada/sem_prag.adb | 10 +- gcc/ada/sem_res.adb | 48 +- gcc/ada/sem_type.adb | 29 +- gcc/ada/sem_util.adb | 271 +++++--- gcc/ada/sem_util.ads | 2 +- gcc/ada/sinfo.ads | 4 +- gcc/ada/sprint.adb | 6 +- gcc/ada/stand.ads | 6 +- gcc/ada/treepr.adb | 165 ++--- gcc/ada/treepr.ads | 6 +- gcc/ada/urealp.adb | 4 +- 72 files changed, 2027 insertions(+), 1169 deletions(-)