This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from e9cad1e5829 aarch64: Don't return invalid GIMPLE assign statements new 1d73dfb5e6f [Ada] Refine type for checking number of pragma arguments new 730814edc8b [Ada] Fix CodePeer warnings in GNAT sources new 6faa271f09f [Ada] Fix internal error on untagged record type with equal [...] new 94425248c76 [Ada] Add cross-references between Integer_Type_For and Sma [...] new 7a03001cd2d [Ada] Fix if expression returning slice new b872d3fe67b [Ada] Fix automatic proof on System.Arith_32 new 05e91ac1f89 [Ada] Plug legality loophole for equality operator of untag [...] new d03a7f8c247 [Ada] Fix crash on frontend inlining of functions with sing [...] new 4709037646e [Ada] Fix proof of runtime unit System.Arith_64 new 8e3030ea9ae [Ada] Fix incorrect handling of Ghost aspect new 4621bae835b [Ada] Clarify hardening command-line options that require e [...] new a714ca803cb [Ada] Handle bodies-to-inline just like generic templates new 6beeff028f4 [Ada] Fix for visibility of aspect expressions inside gener [...] new 9f857be34d9 [Ada] Add support for defaulted Storage_Model_Type aspect a [...] new d60f61f6a42 [Ada] Fix for bootstrap problem with calling function Syste [...] new 84d3047b14b [Ada] Extend No_Dependence restriction to code generation ( [...] new 6071ef0bed2 [Ada] Fix wrong access check with access-to-unconstrained-array new 2b8c12348da [Ada] Fix internal error on instance of Ada.Task_Attributes at -O new d927cb527cb [Ada] Fix internal error on comparison with access function [...] new 589163e18a2 [Ada] Do not generate DW_TAG_typedef for constrained array types new 45808a572ba [Ada] Generate debug info entry for user-defined access subtype new 298bbf3c9be [Ada] Use actual types instead of formal types consistently [...] new 36ed32caf87 [Ada] Adjust name of stack checking function new 258814a99e7 [Ada] Also deal with private actual types in latest change new 0888e1fea16 [Ada] Undo questionable renaming in earlier change new 351659f8dc8 [Ada] Revert recent change in debug info for vector array types new 1f3f64b9e77 [Ada] Extend No_Dependence restriction to code generation new 0c5730a64d9 [Ada] Small housekeeping work in gigi
The 28 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 | 2 +- .../doc/gnat_rm/security_hardening_features.rst | 17 +- gcc/ada/exp_ch4.adb | 20 +- gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_util.adb | 11 +- gcc/ada/exp_util.ads | 10 +- gcc/ada/gcc-interface/decl.cc | 175 +++++++---- gcc/ada/gcc-interface/trans.cc | 86 ++++-- gcc/ada/gcc-interface/utils.cc | 45 ++- gcc/ada/gcc-interface/utils2.cc | 23 +- gcc/ada/gnat_rm.texi | 17 +- gcc/ada/inline.adb | 13 +- gcc/ada/libgnat/a-ztenau.adb | 2 - gcc/ada/libgnat/g-spipat.adb | 128 +------- gcc/ada/libgnat/s-aridou.adb | 96 +++++- gcc/ada/libgnat/s-arit32.adb | 3 +- gcc/ada/par-prag.adb | 4 +- gcc/ada/sem_attr.adb | 4 +- gcc/ada/sem_ch12.adb | 2 +- gcc/ada/sem_ch13.adb | 327 ++++++++++++--------- gcc/ada/sem_ch6.adb | 222 ++++++++++---- gcc/ada/sem_prag.adb | 10 + gcc/ada/sem_util.adb | 37 ++- gcc/ada/sem_util.ads | 15 +- gcc/ada/snames.ads-tmpl | 4 + 25 files changed, 798 insertions(+), 477 deletions(-)