This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 0920e64ffa5 Mention that some options are turned on by `-Ofast` in thei [...] new f18a632749b ada: Update comment about implicit inputs of Depends contract new 262d6de0a97 ada: Accept constants of access types as globals of side-ef [...] new 428f83d7b10 ada: SPARK rule changed on functions with side effects new 6fa5f50897c ada: Fix Program_Error raised during generation of data rep [...] new d4b41cc4b02 ada: Fix bug in overloaded selected_components in aspect_sp [...] new 26b2fa8d30b ada: Minor comment improvement new 15a8d0dd59d ada: Reject non-statically compatible extended return statement new d82909fed0a ada: Fix spurious error on generic state in SPARK new 41ebf2e641f ada: Fix missing flag for GNATprove new 8a116c6539b ada: Bad internal naming when using pragma Compile_Time_Error new ceaae63a4b4 ada: Aspects on multiple component declarations new d59f383a904 ada: Fix LTO type mismatches in GNAT.Sockets.Thin new ef99791719a ada: Improve pragma No_Return's pre-Ada2022 handling of functions new 711326014d0 Update copyright years. new 1955a35a46e ada: Adapt proof of runtime units new e29c2dabc36 ada: Fix crash on body postcondition new 07f61618c7b ada: Fix typo in documentation comment new fabb69655b1 ada: Remove obsolete field Postconditions_Proc new 6e0494ecf00 ada: Add Global contracts to Ada.Numerics.Generic_Elementar [...] new 5c8f6ee3663 ada: Fix bad interaction between homogeneous finalization m [...] new e8bcc47f25e ada: Fix detection of components with per-object constraints new a1e6fdc0773 ada: Reduce scope in the analysis of access attributes new 3e01dfa7262 ada: Simplify detection of the enclosing scope new 36ddd8c0988 ada: Cleanup detection of per-object constraints in inlinin [...] new e7c7bf30cdc ada: Remove redundant guard against empty list of actions new 33f560e2722 ada: Remove redundant guard against empty list of declarations new 326f6a4e740 ada: Fix grammar in comment new cf14e7c1db2 ada: Cleanup calculation of task stacks new c6b06faa3cc ada: Prevent calculation of negative stack counts new cb478e0a6f3 ada: Fix calculation of tasks in null 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/ali.ads | 4 +- gcc/ada/aspects.adb | 3 +- gcc/ada/bindgen.adb | 4 +- gcc/ada/einfo.ads | 12 -- gcc/ada/exp_aggr.ads | 2 +- gcc/ada/exp_attr.adb | 72 ++---------- gcc/ada/exp_ch3.adb | 97 +++------------- gcc/ada/exp_ch4.adb | 25 ++-- gcc/ada/exp_ch7.adb | 129 --------------------- gcc/ada/exp_ch7.ads | 9 -- gcc/ada/gen_il-fields.ads | 2 - gcc/ada/gen_il-gen-gen_entities.adb | 5 - gcc/ada/gen_il-gen-gen_nodes.adb | 1 + gcc/ada/inline.adb | 31 +++-- gcc/ada/lib.adb | 12 +- gcc/ada/lib.ads | 12 +- gcc/ada/libgnat/a-ngelfu.ads | 120 +++++++++++-------- gcc/ada/libgnat/a-strsea.adb | 2 + gcc/ada/libgnat/a-strsup.ads | 1 - gcc/ada/libgnat/g-socthi.adb | 176 ++++++++++++++++++++++++++-- gcc/ada/libgnat/g-socthi.ads | 12 +- gcc/ada/libgnat/s-aridou.adb | 9 +- gcc/ada/libgnat/s-arit32.adb | 17 ++- gcc/ada/libgnat/s-finmas.adb | 222 +++++------------------------------- gcc/ada/libgnat/s-finmas.ads | 54 +-------- gcc/ada/libgnat/s-finpri.adb | 2 +- gcc/ada/libgnat/s-finpri.ads | 2 +- gcc/ada/libgnat/s-stposu.adb | 56 +-------- gcc/ada/libgnat/s-valspe.ads | 2 - gcc/ada/par-ch12.adb | 12 +- gcc/ada/par-ch13.adb | 30 ++--- gcc/ada/par-ch3.adb | 12 +- gcc/ada/par-ch6.adb | 12 +- gcc/ada/par-ch7.adb | 2 +- gcc/ada/par-ch9.adb | 4 +- gcc/ada/par-endh.adb | 6 +- gcc/ada/par.adb | 22 ++-- gcc/ada/repinfo.adb | 6 + gcc/ada/rtsfind.ads | 2 - gcc/ada/sem_attr.adb | 32 +++--- gcc/ada/sem_ch13.adb | 15 ++- gcc/ada/sem_ch3.adb | 107 +++++------------ gcc/ada/sem_eval.adb | 4 +- gcc/ada/sem_prag.adb | 191 +++++++++++++++++++------------ gcc/ada/sem_res.adb | 11 ++ gcc/ada/sem_util.adb | 26 ++++- gcc/ada/sem_util.ads | 2 +- gcc/ada/sinfo.ads | 2 +- 48 files changed, 628 insertions(+), 965 deletions(-)