This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from a335f6f4ee5 tree-optimization/97496 - avoid SLP externs in patterns new 87eb6d2c2a9 [Ada] Minor reorder subprogram declarations alphabetically new afa1ffd42cd [Ada] Support for new aspect Subprogram_Variant on recursiv [...] new e837a621857 [Ada] Code clean up new 797c14b5cd5 [Ada] Propagate predicate function to a full view of a priv [...] new f3f1debe1b7 [Ada] Ada_2020: Further code cleanup for container aggregates new bc60bb5eb9b [Ada] Remove extra validity check in case statement new be273749fa0 [Ada] Display source code pointing at locations in messages [...] new d3c2ce8e4e0 [Ada] Document Ada.Task_Initialization new 1b93e420fc1 [Ada] Fix internal error on bit-aligned component of function call new 83dcc2bd35e [Ada] Flexible AST node structure new 8281a07f0cd [Ada] Spurious discriminant check on "for of" loop new 562ccc89f50 [Ada] Fix comments as volatility properties can apply to objects new 2e55a8e5b7b [Ada] Issue with gnatbind -V switch and Ada 2012 new b03a25ff5a1 [Ada] Crash on precondition, discriminant and protected objects new 6af3576f431 [Ada] Inlining nonstatic calls to static expression functions new 66b69678563 [Ada] New warning on not fully initialized box aggregate new 854f9a8167d [Ada] gnatpp: Fix documentation of threshold switches new 04b06947cbc [Ada] Hang on cond expression as actual for anonymous acces [...] new c01c11cc9cb [Ada] Fixes for pretty command-line GNATprove output with -gnatdF new abc694ce7c9 [Ada] Crash on cond expression as actual for anonymous acce [...] new b68e5db5c26 [Ada] CUDA: build procedure calls instead of function calls new 6875e1282d3 [Ada] Make attribute Update an obsolescent feature new e3b69cc24f5 [Ada] Spurious error in current instance used as formal package new 4c5e9870f25 [Ada] Implement AI12-0280 Making 'Old more flexible new b21732c521b [Ada] Replace low-level Ekind membership tests with high-le [...] new 53642c37e2a [Ada] Refine result type of Get_Accessibility new 71400efc5ee [Ada] Add support for Unreferenced aspect on formal parameters new 3bb4836fe16 [Ada] AI12-0339: Empty function for Aggregate aspect of Ada [...] new 420021eaee5 [Ada] Prevent crashes when pretty-printing freeze nodes from gdb new 8f70460005d [Ada] Refine type for type constraining routines
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/ali-util.adb | 2 +- gcc/ada/ali.adb | 5 +- gcc/ada/aspects.adb | 1 + gcc/ada/aspects.ads | 5 + gcc/ada/atree.adb | 329 +++-- gcc/ada/atree.ads | 53 +- gcc/ada/bindgen.adb | 31 +- gcc/ada/bindo-writers.adb | 2 +- gcc/ada/contracts.adb | 89 +- gcc/ada/contracts.ads | 14 +- gcc/ada/debug.adb | 4 +- .../doc/gnat_rm/implementation_defined_aspects.rst | 8 +- gcc/ada/doc/gnat_rm/the_gnat_library.rst | 12 + .../building_executable_programs_with_gnat.rst | 23 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 8 +- gcc/ada/einfo.adb | 10 +- gcc/ada/einfo.ads | 1 + gcc/ada/errout.adb | 133 +- gcc/ada/erroutc.adb | 60 +- gcc/ada/erroutc.ads | 13 +- gcc/ada/errutil.adb | 1 + gcc/ada/exp_aggr.adb | 69 +- gcc/ada/exp_attr.adb | 75 +- gcc/ada/exp_ch3.adb | 32 +- gcc/ada/exp_ch5.adb | 30 +- gcc/ada/exp_ch6.adb | 89 +- gcc/ada/exp_dist.adb | 2 +- gcc/ada/exp_prag.adb | 470 ++++++- gcc/ada/exp_prag.ads | 11 + gcc/ada/exp_util.adb | 196 ++- gcc/ada/exp_util.ads | 19 +- gcc/ada/fmap.adb | 4 +- gcc/ada/fname-uf.adb | 2 +- gcc/ada/gnat1drv.adb | 11 +- gcc/ada/gnat_cuda.adb | 18 +- gcc/ada/gnat_rm.texi | 1426 ++++++++++---------- gcc/ada/gnat_ugn.texi | 20 +- gcc/ada/inline.adb | 2 + gcc/ada/libgnat/a-cbdlli.adb | 11 + gcc/ada/libgnat/a-cbdlli.ads | 6 +- gcc/ada/libgnat/a-cbhama.adb | 11 + gcc/ada/libgnat/a-cbhama.ads | 4 +- gcc/ada/libgnat/a-cbhase.adb | 11 + gcc/ada/libgnat/a-cbhase.ads | 4 +- gcc/ada/libgnat/a-cbmutr.ads | 4 +- gcc/ada/libgnat/a-cborma.adb | 11 + gcc/ada/libgnat/a-cborma.ads | 4 +- gcc/ada/libgnat/a-cborse.adb | 11 + gcc/ada/libgnat/a-cborse.ads | 4 +- gcc/ada/libgnat/a-cbsyqu.ads | 2 +- gcc/ada/libgnat/a-cdlili.ads | 4 +- gcc/ada/libgnat/a-cfdlli.ads | 2 +- gcc/ada/libgnat/a-cidlli.adb | 12 + gcc/ada/libgnat/a-cidlli.ads | 10 +- gcc/ada/libgnat/a-cihama.adb | 11 + gcc/ada/libgnat/a-cihama.ads | 4 +- gcc/ada/libgnat/a-cihase.adb | 11 + gcc/ada/libgnat/a-cihase.ads | 4 +- gcc/ada/libgnat/a-ciorma.ads | 5 +- gcc/ada/libgnat/a-ciorse.ads | 4 +- gcc/ada/libgnat/a-cobove.adb | 11 + gcc/ada/libgnat/a-cobove.ads | 6 +- gcc/ada/libgnat/a-cohama.adb | 11 + gcc/ada/libgnat/a-cohama.ads | 4 +- gcc/ada/libgnat/a-cohase.adb | 11 + gcc/ada/libgnat/a-cohase.ads | 4 +- gcc/ada/libgnat/a-cohata.ads | 2 +- gcc/ada/libgnat/a-coinve.adb | 11 + gcc/ada/libgnat/a-coinve.ads | 2 + gcc/ada/libgnat/a-convec.adb | 11 + gcc/ada/libgnat/a-convec.ads | 4 +- gcc/ada/libgnat/a-coorma.ads | 4 +- gcc/ada/libgnat/a-coorse.ads | 4 +- gcc/ada/libgnat/a-crbltr.ads | 6 +- gcc/ada/libgnat/a-crdlli.ads | 2 +- gcc/ada/libgnat/a-except.ads | 2 + gcc/ada/libgnat/a-ststun.ads | 2 +- gcc/ada/libgnat/g-sechas.ads | 2 + gcc/ada/namet.adb | 9 + gcc/ada/namet.ads | 4 + gcc/ada/nlists.adb | 8 +- gcc/ada/nlists.ads | 1 + gcc/ada/opt.ads | 6 + gcc/ada/osint.adb | 2 +- gcc/ada/par-ch13.adb | 5 +- gcc/ada/par-ch6.adb | 19 + gcc/ada/par-prag.adb | 1 + gcc/ada/par.adb | 8 +- gcc/ada/sem.adb | 32 + gcc/ada/sem.ads | 7 + gcc/ada/sem_aggr.adb | 49 +- gcc/ada/sem_aggr.ads | 2 +- gcc/ada/sem_attr.adb | 26 +- gcc/ada/sem_ch12.adb | 176 +++ gcc/ada/sem_ch13.adb | 29 +- gcc/ada/sem_ch3.adb | 30 +- gcc/ada/sem_ch6.adb | 33 +- gcc/ada/sem_ch8.adb | 33 +- gcc/ada/sem_elab.adb | 7 +- gcc/ada/sem_prag.adb | 289 +++- gcc/ada/sem_prag.ads | 7 + gcc/ada/sem_res.adb | 39 +- gcc/ada/sem_type.adb | 9 + gcc/ada/sem_util.adb | 929 ++++++++++++- gcc/ada/sem_util.ads | 105 +- gcc/ada/sem_warn.adb | 10 +- gcc/ada/sinfo.adb | 9 +- gcc/ada/sinfo.ads | 9 +- gcc/ada/snames.ads-tmpl | 3 + gcc/ada/sprint.adb | 6 +- gcc/ada/switch-c.adb | 7 + gcc/ada/treepr.adb | 4 +- gcc/ada/types.ads | 85 +- gcc/ada/types.h | 32 +- gcc/testsuite/gnat.dg/opt11.adb | 2 +- 115 files changed, 4089 insertions(+), 1472 deletions(-)