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

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

from 90b6d3bc84d Ada: fix documentation of pragma Unimplemented_Unit new 804e9d55d9e tree-ssa-dce: Punt on allocations with too large constant s [...] new 411008f29f7 ada: Remove workaround for RM_Size being unable to represen [...] new 11d0b5aa1a0 ada: Fix markup in user's guide new 82e9c7c9c1b ada: Fix finalization issue introduced by previous change new 950df6096f8 ada: Fix incorrect incomplete type error new 93eb5676a89 ada: Use inheritance in Gen_IL new 4b0a5e936b9 ada: Silence unused parameter warning on linux new 42c115ee820 ada: Follow-on to Use inheritance in Gen_IL new 0fe74112722 ada: Elide copy for calls as default values of nonlimited b [...] new b8a94b0ba88 ada: C++ exception hierarchies: adjust for gnat-llvm new fd52383f3f9 ada: Cleanup preanalysis of static expressions new 2a38c2330fd ada: null procedure cannot be used as compilation unit new a172d6cfa06 ada: Ada version used to compile runtime is constant new 92d50b9d647 ada: Avoid null-exclusion checks for Node_Field_Table new b4c9ba204b6 ada: Remove level attribute from Rules in the SARIF report new d47596b4bb7 ada: Fix printing boolean attributes in the SARIF report new 145314b3ef9 ada: Plug small loophole in previous change new 0216cca155e ada: Crash in prefix notation with access to class-wide object new 798873d2564 ada: Fix crash on Depends contract with homonym functions new 75e126db1e5 ada: Declare that the new argument may not be used new 6be06ae88b8 ada: Fix assertion failure on 'Old in post-condition with - [...] new 7067e6f6ff9 ada: Fix memory leak when failing to initialize newly alloc [...] new 3861ac19e8d ada: cleanup documentation for shift and rotate new e4ed78faa3e ada: Small housekeeping work in Exp_Aggr new e3a67dcc1ab ada: Correct xref of operator expression function body new f49b098e7d1 ada: Support new SPARK aspect Exit_Cases new 2d2b018dcc4 ada: Reduce footprint of C++ exception interoperation support new 06bc21f49d9 ada: Fix incorrect RM reference in s-imagef.adb new 0d736433f92 ada: Fix predicate involving array indexing rejected in gen [...] new ad8242d616d ada: Streamline runtime support of finalization collections new f345ae3e6b2 ada: Fix small thinko in previous change to two-pass aggreg [...]

The 31 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 | 23 +- gcc/ada/adaint.c | 3 +- gcc/ada/aspects.ads | 6 + gcc/ada/contracts.adb | 7 + gcc/ada/debug.adb | 5 +- gcc/ada/diagnostics-json_utils.adb | 11 + gcc/ada/diagnostics-json_utils.ads | 10 +- gcc/ada/diagnostics-sarif_emitter.adb | 10 +- .../doc/gnat_rm/implementation_defined_aspects.rst | 12 + .../doc/gnat_rm/implementation_defined_pragmas.rst | 24 +- .../building_executable_programs_with_gnat.rst | 2 +- gcc/ada/einfo-utils.adb | 1 + gcc/ada/einfo-utils.ads | 1 + gcc/ada/einfo.ads | 4 +- gcc/ada/exp_aggr.adb | 44 +- gcc/ada/exp_ch3.adb | 80 +- gcc/ada/exp_ch4.adb | 123 +- gcc/ada/exp_ch4.ads | 9 + gcc/ada/exp_ch5.adb | 150 +- gcc/ada/exp_ch6.adb | 42 +- gcc/ada/exp_prag.adb | 91 ++ gcc/ada/exp_prag.ads | 4 + gcc/ada/exp_util.adb | 9 +- gcc/ada/gen_il-fields.ads | 1 + gcc/ada/gen_il-gen-gen_entities.adb | 18 +- gcc/ada/gen_il-gen-gen_nodes.adb | 294 +--- gcc/ada/gen_il-gen.adb | 273 +++- gcc/ada/gen_il-internals.ads | 6 +- gcc/ada/gnat_rm.texi | 1712 ++++++++++---------- gcc/ada/gnat_ugn.texi | 4 +- gcc/ada/impunit.adb | 2 +- gcc/ada/inline.adb | 2 + gcc/ada/libgnat/g-cppexc.adb | 40 - gcc/ada/libgnat/g-cppstd.adb | 3 +- gcc/ada/libgnat/g-cppstd.ads | 4 +- gcc/ada/libgnat/g-cstyin.adb | 80 +- gcc/ada/libgnat/g-cstyin.ads | 2 +- gcc/ada/libgnat/s-finpri.adb | 8 +- gcc/ada/libgnat/s-finpri.ads | 23 +- gcc/ada/libgnat/s-imagef.adb | 2 +- gcc/ada/opt.ads | 2 +- gcc/ada/par-ch10.adb | 9 + gcc/ada/par-prag.adb | 1 + gcc/ada/raise-gcc.c | 40 +- gcc/ada/rtsfind.adb | 2 +- gcc/ada/sem_ch10.adb | 16 +- gcc/ada/sem_ch12.adb | 1 + gcc/ada/sem_ch13.adb | 63 +- gcc/ada/sem_ch4.adb | 39 +- gcc/ada/sem_ch6.adb | 18 +- gcc/ada/sem_ch8.adb | 9 +- gcc/ada/sem_prag.adb | 473 +++++- gcc/ada/sem_prag.ads | 7 + gcc/ada/sem_util.adb | 55 +- gcc/ada/sem_util.ads | 1 + gcc/ada/sinfo.ads | 62 +- gcc/ada/snames.ads-tmpl | 4 + gcc/lto-section-in.cc | 2 +- gcc/testsuite/c-c++-common/ubsan/vla-1.c | 2 +- gcc/testsuite/gcc.dg/pr118224.c | 31 + gcc/tree-ssa-dce.cc | 81 +- 61 files changed, 2523 insertions(+), 1540 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr118224.c