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

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

from ae008187137 libstdc++: Fix obvious mistake in inplace_vector::assign_ra [...] new 574bdf8e215 ada: Improved support for mutably tagged types new 3d1f1416180 ada: Ensure Expression_Copy has a parent before analysis new 84468c33ffc ada: Add Unique_Component_Name function for use by CCG. new 83219c97fab ada: exp_util.adb: prevent infinite loop in case of broken code new 2bcb3683f3b ada: Capacity determination for container aggregate with co [...] new 9ffa0e4301d ada: Replace "not Present" test with "No" test new b14337e3777 ada: Fix wrong indirect access to bit-packed array in itera [...] new 7e533dbd8ce ada: Tune check for restriction No_Relative_Delay and call [...] new c543be28e2e ada: Expand continue procedure calls for GNATprove new 918adccdf1f ada: Tune recent change for bit-packed arrays to help GNATp [...] new e7291bda238 ada: Adding support to defer the addition of extra formals new 15cd3770ac1 ada: Fix unnecessary extra RE_Activation_Chain_Access with [...] new 06728901a03 ada: Fix assertion failure on aggregate with controlled component new cdbd7946acc ada: Additional condition for Capacity discriminant on boun [...] new 4de3be28bab ada: Wrong dispatch on result in presence of dependent expression new 6a3abaf005f ada: Remove obsolete code from Safe_Unchecked_Type_Conversion new 6037cf8093e ada: Fix generation of Initialize and Adjust calls new 3289f1a3744 ada: Fix crash when creating extra formals for aliased types new 45e5196e8bf ada: Add destructors extension new 69bbc3a2b3f ada: Fix minor issues in comments new beb6c12a417 ada: Only fold array attributes in SPARK when prefix is saf [...] new 585ade15412 ada: Nested use_type_clause with "all" cancels use_type_cla [...]

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/aspects.ads | 7 + gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 68 ++ gcc/ada/einfo.ads | 58 +- gcc/ada/exp_aggr.adb | 108 +- gcc/ada/exp_attr.adb | 404 ++++--- gcc/ada/exp_ch3.adb | 57 +- gcc/ada/exp_ch4.adb | 10 +- gcc/ada/exp_ch6.adb | 1265 ++++++++++++---------- gcc/ada/exp_ch6.ads | 4 + gcc/ada/exp_ch7.adb | 168 ++- gcc/ada/exp_ch9.adb | 44 +- gcc/ada/exp_ch9.ads | 9 +- gcc/ada/exp_disp.adb | 87 +- gcc/ada/exp_disp.ads | 3 - gcc/ada/exp_put_image.adb | 343 +++--- gcc/ada/exp_spark.adb | 24 + gcc/ada/exp_strm.adb | 35 +- gcc/ada/exp_util.adb | 66 +- gcc/ada/exp_util.ads | 10 - gcc/ada/freeze.adb | 48 +- gcc/ada/gen_il-fields.ads | 6 + gcc/ada/gen_il-gen-gen_entities.adb | 7 + gcc/ada/gen_il-gen-gen_nodes.adb | 9 +- gcc/ada/gen_il-internals.adb | 2 + gcc/ada/gnat_rm.texi | 138 ++- gcc/ada/libgnat/a-cbhama.adb | 2 +- gcc/ada/libgnat/a-cbhama.ads | 2 +- gcc/ada/sem_attr.adb | 42 + gcc/ada/sem_aux.adb | 88 +- gcc/ada/sem_aux.ads | 14 + gcc/ada/sem_ch13.adb | 162 ++- gcc/ada/sem_ch3.adb | 34 +- gcc/ada/sem_ch4.adb | 4 + gcc/ada/sem_ch5.adb | 9 +- gcc/ada/sem_ch6.adb | 786 +++++++++++++- gcc/ada/sem_ch6.ads | 160 +++ gcc/ada/sem_ch8.adb | 10 +- gcc/ada/sem_ch9.adb | 6 + gcc/ada/sem_disp.adb | 49 + gcc/ada/sem_res.adb | 4 +- gcc/ada/sem_util.adb | 83 +- gcc/ada/sem_util.ads | 20 +- gcc/ada/sinfo.ads | 36 +- gcc/ada/snames.ads-tmpl | 1 + 44 files changed, 3216 insertions(+), 1276 deletions(-)