This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 04ee1f788ce Revert "[PATCH v2 1/3] RISC-V: movmem for RISCV with V extension" new 324b3ffff7f ada: Small fix to Default_Initialize_Object new 20dfaae2d1b ada: Fix ghost policy in use for generic instantiation new df48963b955 ada: Update of SPARK RM legality rules on ghost code new 4dd6f75e350 ada: Small fix to printing of raise statements new 821772478bd ada: Fix crash with -gnatyB and -gnatdJ new cad2744cb38 ada: Factor out implementation of default initialization fo [...] new b2453909f68 ada: Rtsfind should not trash state used in analyzing insta [...] new d9f3a1d612e ada: Error in determining accumulator subtype for a reducti [...] new 59c4d2e5a71 ada: Fix double finalization for dependent expression of ca [...] new 3f079f2244f ada: Missing support for consistent assertion policy new 4f3567cf3b7 ada: Follow-up adjustment to earlier fix in Build_Allocate_ [...] new f5454123785 ada: Fix overlap warning suppression new 416e572edb0 ada: Spurious unreferenced warning on selected component new 33541b88069 ada: Better error message for bad general case statements new 0b7673ae722 ada: Reduce generated code duplication for streaming and Pu [...] new ba0b16a527b ada: Follow-up adjustment after fix to Default_Initialize_Object new fb48b0aa2fa ada: Replace "not Present" tests with "No". new a9714dce824 ada: Compiler crash or errors on if_expression in container [...] new ab4a519a846 ada: Fix typo in diagnostic message new 062626502fd ada: Restore default size for dynamic allocations of discri [...] new 34aba1547d2 ada: Fix crash with -gnatdJ and -gnatw.w new 996fd764020 ada: Fix crash with -gnatdJ and JSON output new 42ea46c67dd ada: Correct System.Win32.LocalFileTimeToFileTime wrapper typo new ad510c7c8b7 ada: Fix warning indicators in usage string new 08039257610 ada: Small cleanup about allocators and aggregates new faf462cfe68 ada: Fix crash with -gnatdJ and -gnatyz new f5798041ac9 ada: Fix pragma Compile_Time_Error and -gnatdJ crash new 00c7f2296fb ada: Follow up fixes for Put_Image/streaming regressions new 151d1533f2b ada: Decouple attachment from dynamic allocation for contro [...] new 13d8374188e ada: Fix pragma Warnings and -gnatD interaction new a252022d9a1 ada: Fix small inaccuracy in previous change new 26afb0040cf ada: Document more details of the implementation of finaliz [...] new 0ec8c070f3c ada: Minor typo fix in comment new 4a45c99302b ada: Fix crash with -gnatdJ and -gnatf new 8d15d848b90 ada: Fix classification of SPARK Boolean aspects
The 35 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 | 39 +- gcc/ada/contracts.adb | 2 +- gcc/ada/errout.adb | 53 ++- gcc/ada/errout.ads | 9 +- gcc/ada/erroutc.adb | 49 +- gcc/ada/erroutc.ads | 31 +- gcc/ada/exp_aggr.adb | 56 +-- gcc/ada/exp_aggr.ads | 33 +- gcc/ada/exp_attr.adb | 693 ++++++++++++++++----------- gcc/ada/exp_ch13.adb | 2 +- gcc/ada/exp_ch3.adb | 1085 +++++++++++++++++++++++------------------- gcc/ada/exp_ch3.ads | 57 ++- gcc/ada/exp_ch4.adb | 733 +++++++++------------------- gcc/ada/exp_ch6.adb | 4 +- gcc/ada/exp_ch7.adb | 399 +++------------- gcc/ada/exp_ch7.ads | 7 + gcc/ada/exp_ch9.adb | 67 +-- gcc/ada/exp_ch9.ads | 19 +- gcc/ada/exp_put_image.adb | 13 +- gcc/ada/exp_put_image.ads | 8 +- gcc/ada/exp_util.adb | 701 +++++++++++++++++++++------ gcc/ada/exp_util.ads | 26 +- gcc/ada/freeze.adb | 2 +- gcc/ada/ghost.adb | 58 ++- gcc/ada/libgnat/s-finpri.adb | 84 +++- gcc/ada/libgnat/s-finpri.ads | 26 +- gcc/ada/libgnat/s-stposu.adb | 196 +++----- gcc/ada/libgnat/s-stposu.ads | 40 +- gcc/ada/libgnat/s-win32.ads | 4 +- gcc/ada/restrict.adb | 12 +- gcc/ada/rtsfind.adb | 9 +- gcc/ada/rtsfind.ads | 4 + gcc/ada/sem_ch10.adb | 212 ++++++++- gcc/ada/sem_ch12.adb | 62 +++ gcc/ada/sem_ch12.ads | 25 + gcc/ada/sem_ch13.adb | 212 ++------- gcc/ada/sem_ch3.adb | 5 +- gcc/ada/sem_ch4.adb | 21 +- gcc/ada/sem_ch5.adb | 12 + gcc/ada/sem_ch6.adb | 14 +- gcc/ada/sem_prag.adb | 22 +- gcc/ada/sem_res.adb | 79 ++- gcc/ada/sem_util.adb | 10 +- gcc/ada/sem_warn.adb | 33 +- gcc/ada/sprint.adb | 16 +- gcc/ada/style.adb | 103 ++++ gcc/ada/style.ads | 6 +- gcc/ada/styleg.adb | 105 ---- gcc/ada/styleg.ads | 8 - gcc/ada/table.ads | 2 +- gcc/ada/usage.adb | 8 +- 51 files changed, 2877 insertions(+), 2599 deletions(-)