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

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

from 0ac15b175aa Fix a typo in doc/generic.texi new aeef2df9376 [Ada] Allow aspect Relaxed_Initialization on protected entries new c0ceffbebdd [Ada] Style fixes in the description of Analysis-Resolution [...] new db290a9e374 [Ada] Set range checks for for 'Update on arrays in GNATpro [...] new 62226c35545 [Ada] Minor cleanup with Is_Assignable new 1948dcab167 [Ada] Spurious elaboration warnings with -gnatc and null pr [...] new 4ea624b0f99 [Ada] Remove extra checks for non-static context from resol [...] new dab6432039b [Ada] Ada2020: AI12-0198 potentially unevaluated components [...] new c78efe921c1 [Ada] Fix expansion of delta aggregates with slices new 845c49360bc [Ada] Change local object from variable to constant new 58e07eaae44 [Ada] Checking type invariants on in params of procedures, [...] new d4175ef48ba [Ada] Ensure No_Specification_Of_Aspect forbids pragmas and [...] new 31c1fdbe0d1 [Ada] Fix documentation of -gnatVa switch new 8deaec29527 [Ada] Add support for XDR streaming in the default runtime new 3a70a9811f2 [Ada] Use pragma Unsuppress in Time_IO new 572fa852f2f [Ada] Ada2020: AI12-0198 potentially unevaluated components [...] new dae09f9b557 [Ada] Handle explicit dereferences in expression functions new e378df6d39e [Ada] ACATS 4.1H - BC60005 - null exclusion matching for fo [...] new 2e724314af6 [Ada] Freeze aspect expression relocated to pragma Precondition new 451187a3e58 [Ada] Move generation of range checks for entry families to [...] new 865ec5b024b [Ada] Ada2020: AI12-0198 potentially unevaluated components [...] new 1c4b5a795ad [Ada] Simplify statically known Max_Size_In_Storage_Element [...] new 7bf53b1a612 [Ada] Hang on conditional expression as actual new 9b501e59d1d [Ada] Errors in handling of access_to_subprogram contracts new ead7594ff58 [Ada] ACATS 4.1K - C452003 new 8bda08f130c [Ada] ACATS 4.1J - B854003 - Subtype conformance check missed #2 new e082411903f [Ada] Fix typo in code to get a better error message new eada4220638 [Ada] Use Is_Generic_Subprogram where possible new a21df0b6a46 [Ada] Assert failure on invalid Variable_Indexing new e997d94b298 [Ada] Avoid crash on node extension new e1b0956a8e1 [Ada] Small adjustment in the handling of alignment for arrays

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 | 5 +- gcc/ada/checks.adb | 2 +- gcc/ada/checks.ads | 20 +- gcc/ada/contracts.adb | 12 +- .../building_executable_programs_with_gnat.rst | 10 +- gcc/ada/einfo.adb | 8 +- gcc/ada/einfo.ads | 2 +- gcc/ada/exp_aggr.adb | 2 +- gcc/ada/exp_atag.adb | 113 ------ gcc/ada/exp_atag.ads | 18 - gcc/ada/exp_ch3.adb | 11 +- gcc/ada/exp_ch4.adb | 86 +++-- gcc/ada/exp_ch6.adb | 178 +++++---- gcc/ada/exp_ch9.adb | 16 + gcc/ada/exp_intr.adb | 37 +- gcc/ada/exp_spark.adb | 86 ++++- gcc/ada/freeze.adb | 34 +- gcc/ada/gnat_ugn.texi | 10 +- gcc/ada/layout.adb | 16 + gcc/ada/libgnat/a-tags.adb | 5 - gcc/ada/libgnat/a-tags.ads | 4 + gcc/ada/libgnat/g-catiio.adb | 25 +- gcc/ada/restrict.adb | 9 +- gcc/ada/restrict.ads | 7 +- gcc/ada/rtsfind.ads | 2 + gcc/ada/sem.ads | 8 +- gcc/ada/sem_aggr.adb | 10 +- gcc/ada/sem_attr.adb | 43 +-- gcc/ada/sem_ch10.adb | 2 +- gcc/ada/sem_ch12.adb | 8 +- gcc/ada/sem_ch13.adb | 9 +- gcc/ada/sem_ch4.adb | 7 + gcc/ada/sem_ch5.adb | 4 +- gcc/ada/sem_ch6.adb | 128 +++--- gcc/ada/sem_ch8.adb | 73 ++-- gcc/ada/sem_ch9.adb | 6 +- gcc/ada/sem_elab.adb | 19 +- gcc/ada/sem_prag.adb | 7 + gcc/ada/sem_res.adb | 23 +- gcc/ada/sem_util.adb | 428 ++++++++++++--------- gcc/ada/sem_util.ads | 10 +- gcc/ada/treepr.adb | 9 + 42 files changed, 800 insertions(+), 712 deletions(-)