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

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

from 7f5c0f328ec Use vec::reserve before vec_safe_grow_cleared is called new 1e29b5465e4 [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types new df81923f6d8 [Ada] Add range check for GNATprove on 'Pos to Long_Integer [...] new faa163f737c [Ada] AI12-0382: Loosen type-invariant overriding requireme [...] new 79926e5a904 [Ada] Warnings on overloays involving generic In_Parameters new c893f4a5e0e [Ada] x86-lynx178elf: use a-numaux.ads instead of a-numaux_ [...] new 2c3bc159a8c [Ada] Remove obsolete special case in Switch_View new 36f0cf4e603 [Ada] Ada2020: AI12-0027 Access values and unaliased component new 84ae33e7f55 [Ada] Spurious error in generic dispatching constructor new 26ac7446f60 [Ada] AI12-0194: Language-defined aspects and entry bodies new 4a08c95cf06 [Ada] Use membership tests in front-end new 7f365be815e [Ada] Remove disabled code new 21717db17a8 [Ada] Unbounded string overriding control new 2d4fe203592 [Ada] Ada2020: wording of 'Image messages new 7b6fbc9ff3d [Ada] AI12-0377 View conversions and out parameters revisited new 6c1bfc9e60e [Ada] AI12-0383 Renaming values new f35bd40944e [Ada] Refactor pragma argument getters new 116e8b669ed [Ada] Bug in Enum_Subtype'Image in Ada 2020 mode new 19796dddf05 [Ada] Wrong accessibility on 'Access of formal in call new cb030dd7350 [Ada] Switch Ada_Version_Runtime to Ada 2020 new 04c4a5101bb [Ada] Assert failure on incorrect code new abd4c42269b [Ada] Ada2020: AI12-0027 Access values and unaliased component new fd5966e8e04 [Ada] Revert "Revamp dump and aux output names"

The 22 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 | 1 - gcc/ada/aspects.adb | 14 +- gcc/ada/atree.adb | 495 ------------------- gcc/ada/atree.ads | 329 ------------- gcc/ada/checks.adb | 61 ++- gcc/ada/contracts.adb | 141 +++--- gcc/ada/einfo.adb | 763 ++++++++++++++-------------- gcc/ada/errout.adb | 28 +- gcc/ada/errout.ads | 15 +- gcc/ada/exp_aggr.adb | 70 +-- gcc/ada/exp_attr.adb | 19 +- gcc/ada/exp_cg.adb | 2 +- gcc/ada/exp_ch11.adb | 6 +- gcc/ada/exp_ch2.adb | 19 +- gcc/ada/exp_ch3.adb | 32 +- gcc/ada/exp_ch4.adb | 94 ++-- gcc/ada/exp_ch5.adb | 32 +- gcc/ada/exp_ch6.adb | 216 ++++---- gcc/ada/exp_ch7.adb | 78 ++- gcc/ada/exp_ch8.adb | 2 +- gcc/ada/exp_ch9.adb | 85 ++-- gcc/ada/exp_dbug.adb | 14 +- gcc/ada/exp_disp.adb | 20 +- gcc/ada/exp_imgv.adb | 2 +- gcc/ada/exp_intr.adb | 36 +- gcc/ada/exp_pakd.adb | 2 +- gcc/ada/exp_prag.adb | 116 ++--- gcc/ada/exp_put_image.adb | 14 +- gcc/ada/exp_smem.adb | 4 +- gcc/ada/exp_spark.adb | 12 +- gcc/ada/exp_tss.adb | 12 +- gcc/ada/exp_unst.adb | 29 +- gcc/ada/exp_util.adb | 112 ++--- gcc/ada/freeze.adb | 80 ++- gcc/ada/ghost.adb | 83 ++-- gcc/ada/gnat1drv.adb | 11 +- gcc/ada/inline.adb | 59 ++- gcc/ada/lib-writ.adb | 6 +- gcc/ada/lib-xref-spark_specific.adb | 10 +- gcc/ada/lib-xref.adb | 44 +- gcc/ada/libgnarl/s-taprop__linux.adb | 4 +- gcc/ada/libgnat/a-convec.adb | 26 + gcc/ada/libgnat/a-convec.ads | 6 +- gcc/ada/libgnat/a-nbnbin.adb | 2 - gcc/ada/libgnat/a-nbnbin.ads | 2 - gcc/ada/libgnat/a-nbnbin__gmp.adb | 2 - gcc/ada/libgnat/a-nbnbre.adb | 2 - gcc/ada/libgnat/a-nbnbre.ads | 2 - gcc/ada/libgnat/a-stobbu.adb | 2 - gcc/ada/libgnat/a-stobbu.ads | 2 - gcc/ada/libgnat/a-stobfi.adb | 2 - gcc/ada/libgnat/a-stobfi.ads | 2 - gcc/ada/libgnat/a-stoubu.adb | 2 - gcc/ada/libgnat/a-stoubu.ads | 2 - gcc/ada/libgnat/a-stoufi.adb | 2 - gcc/ada/libgnat/a-stoufi.ads | 2 - gcc/ada/libgnat/a-stoufo.adb | 2 - gcc/ada/libgnat/a-stoufo.ads | 2 - gcc/ada/libgnat/a-stouut.adb | 3 +- gcc/ada/libgnat/a-stouut.ads | 2 - gcc/ada/libgnat/a-strsto.ads | 1 - gcc/ada/libgnat/a-strunb.adb | 83 +++- gcc/ada/libgnat/a-strunb__shared.adb | 105 +++- gcc/ada/libgnat/a-ststbo.adb | 1 - gcc/ada/libgnat/a-ststbo.ads | 1 - gcc/ada/libgnat/a-ststun.adb | 2 +- gcc/ada/libgnat/a-ststun.ads | 2 +- gcc/ada/libgnat/a-stteou.ads | 3 +- gcc/ada/libgnat/s-aoinar.ads | 2 - gcc/ada/libgnat/s-aomoar.ads | 2 - gcc/ada/libgnat/s-atopex.ads | 3 - gcc/ada/libgnat/s-putaim.adb | 1 - gcc/ada/libgnat/s-putaim.ads | 2 +- gcc/ada/libgnat/s-putima.adb | 4 +- gcc/ada/libgnat/s-putima.ads | 4 +- gcc/ada/libgnat/s-rannum.adb | 11 + gcc/ada/libgnat/s-rannum.ads | 7 +- gcc/ada/namet.adb | 224 --------- gcc/ada/namet.ads | 124 ----- gcc/ada/nlists.adb | 2 +- gcc/ada/opt.ads | 2 +- gcc/ada/par-ch10.adb | 45 +- gcc/ada/par-ch2.adb | 5 +- gcc/ada/par-ch3.adb | 7 +- gcc/ada/par-ch4.adb | 2 +- gcc/ada/par-ch5.adb | 6 +- gcc/ada/par-ch6.adb | 6 +- gcc/ada/par-prag.adb | 2 +- gcc/ada/par-util.adb | 2 +- gcc/ada/par_sco.adb | 14 +- gcc/ada/pprint.adb | 13 +- gcc/ada/repinfo.adb | 24 +- gcc/ada/restrict.adb | 24 +- gcc/ada/rtsfind.adb | 6 +- gcc/ada/scil_ll.adb | 7 +- gcc/ada/sem.adb | 19 +- gcc/ada/sem_aggr.adb | 50 +- gcc/ada/sem_attr.adb | 188 ++++--- gcc/ada/sem_aux.adb | 23 +- gcc/ada/sem_cat.adb | 16 +- gcc/ada/sem_ch10.adb | 152 +++--- gcc/ada/sem_ch11.adb | 12 +- gcc/ada/sem_ch12.adb | 211 ++++---- gcc/ada/sem_ch13.adb | 133 +++-- gcc/ada/sem_ch3.adb | 239 +++++---- gcc/ada/sem_ch4.adb | 138 +++--- gcc/ada/sem_ch5.adb | 35 +- gcc/ada/sem_ch6.adb | 205 ++++---- gcc/ada/sem_ch7.adb | 28 +- gcc/ada/sem_ch8.adb | 108 ++-- gcc/ada/sem_ch9.adb | 16 +- gcc/ada/sem_dim.adb | 61 ++- gcc/ada/sem_disp.adb | 20 +- gcc/ada/sem_dist.adb | 9 +- gcc/ada/sem_elab.adb | 305 ++++++------ gcc/ada/sem_elim.adb | 2 +- gcc/ada/sem_eval.adb | 54 +- gcc/ada/sem_intr.adb | 45 +- gcc/ada/sem_mech.adb | 4 +- gcc/ada/sem_prag.adb | 616 +++++++++++------------ gcc/ada/sem_res.adb | 318 ++++++------ gcc/ada/sem_scil.adb | 12 +- gcc/ada/sem_type.adb | 51 +- gcc/ada/sem_util.adb | 927 +++++++++++++++++------------------ gcc/ada/sem_util.ads | 10 + gcc/ada/sem_warn.adb | 68 +-- gcc/ada/sinfo.adb | 234 --------- gcc/ada/sinfo.ads | 130 ----- gcc/ada/sprint.adb | 10 +- gcc/ada/styleg.adb | 6 +- gcc/ada/switch.adb | 5 +- gcc/ada/tbuild.adb | 4 +- gcc/ada/treepr.adb | 2 +- 133 files changed, 3423 insertions(+), 5031 deletions(-)