This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from b4e04a78bbd [ARM] Fix prototype for vec_perm_const hook. new 96b2e170668 [Ada] Fix new CUDA kernel registration scheme new efaee961d93 [Ada] Add empty constructors to the functional containers new 55c19dda8c6 [Ada] Delete no-longer-used Convert_To_Return_False flag new 5b7630f2f26 [Ada] PR ada/105303 Fix use of Assertion_Policy in internal [...] new 1ea22318caf [Ada] Adapt proof of runtime unit s-arit32 new 3e93d2926ae [Ada] Do not freeze profiles for dispatch tables new fabf93dc1ae [Ada] Restore hiding of predefined "=" operator through cla [...] new 4609660b773 [Ada] Fix typo in comment for functional sets new 33dec214f02 [Ada] Tweaks to hardening docs new 40e01041b35 [Ada] Update proofs of double arithmetic unit after prover changes new 764169055b5 [Ada] Introduce Opt.CCG_Mode new 79b7ab68bce [Ada] Do not analyze expression functions for dispatch tables new 878ded4f9a9 [Ada] Do not freeze specifically for dispatch tables new 567bf449325 [Ada] Fix expansion of aggregate for discriminated limited [...] new ebddfe50d8b [Ada] Incorrect determination of whether an expression is p [...] new f55e8fd165c [Ada] Fix illegal Ada in s-dwalin.adb new 507ed659e01 [Ada] Incorrect unreferenced warnings on null subprograms a [...] new 6a91be29578 [Ada] Avoid creating a finalization wrapper block for functions new b341b8130f8 [Ada] Deconstruct deferred references new 8337af4f9db [Ada] Fix -gnatw.f warnings not having the right insertion [...] new f925b56959d [Ada] Fix Warn_On_Late_Primitives messages not being proper [...] new 67481ef5271 [Ada] Fix Warn_On_All_Unread_Out_Parameters not being prope [...] new 94cf3d1f78d [Ada] Add insertion character for overlay modification warnings new 9baae5692bd [Ada] Add insertion character to Ineffective_Inline_Warning [...] new 0f29dfcec26 [Ada] Remove repeated description of support for Address clauses new 263cb16b766 [Ada] Simplify construction of a path to file new 576b7778915 [Ada] Fix expansion of structural subprogram variants new 8244b803420 [Ada] Remove contract duplication in formal doubly linked lists new a4db870e1b0 [Ada] Add "option" field to GNAT's -fdiagnostics-format=jso [...] new 1b88c61e374 [Ada] Fix spurious options being inserted in -fdiagnostics- [...]
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/Makefile.rtl | 2 + gcc/ada/bindgen.adb | 110 +++-- gcc/ada/doc/gnat_rm/implementation_advice.rst | 6 - .../doc/gnat_rm/security_hardening_features.rst | 55 ++- gcc/ada/errout.adb | 12 +- gcc/ada/erroutc.adb | 35 +- gcc/ada/erroutc.ads | 4 + gcc/ada/exp_aggr.adb | 16 +- gcc/ada/exp_ch11.adb | 32 +- gcc/ada/exp_ch3.adb | 4 +- gcc/ada/exp_ch6.adb | 28 +- gcc/ada/exp_ch7.adb | 80 ++-- gcc/ada/exp_ch7.ads | 4 +- gcc/ada/exp_disp.adb | 169 +------ gcc/ada/exp_disp.ads | 10 +- gcc/ada/freeze.adb | 26 +- gcc/ada/freeze.ads | 6 - gcc/ada/frontend.adb | 2 - gcc/ada/gen_il-fields.ads | 1 - gcc/ada/gen_il-gen-gen_nodes.adb | 3 +- gcc/ada/gnat1drv.adb | 1 + gcc/ada/gnat_rm.texi | 57 ++- gcc/ada/inline.adb | 4 +- gcc/ada/lib-xref.adb | 65 --- gcc/ada/lib-xref.ads | 34 -- gcc/ada/libgnat/a-cfdlli.ads | 10 +- gcc/ada/libgnat/a-cofuma.adb | 7 + gcc/ada/libgnat/a-cofuma.ads | 8 + gcc/ada/libgnat/a-cofuse.adb | 7 + gcc/ada/libgnat/a-cofuse.ads | 6 + gcc/ada/libgnat/a-cofuve.adb | 7 + gcc/ada/libgnat/a-cofuve.ads | 6 + gcc/ada/libgnat/s-aridou.adb | 530 +++++++++++++++++---- gcc/ada/libgnat/s-arit32.adb | 2 +- gcc/ada/libgnat/s-dwalin.adb | 2 + gcc/ada/libgnat/s-gearop.adb | 74 ++- gcc/ada/libgnat/s-gearop.ads | 14 +- gcc/ada/libgnat/{g-gfmafu.ads => s-spark.ads} | 13 +- .../s-proinf.adb => libgnat/s-spcuop.adb} | 19 +- gcc/ada/libgnat/{s-retsta.ads => s-spcuop.ads} | 48 +- gcc/ada/opt.ads | 3 + gcc/ada/osint.adb | 10 +- gcc/ada/par-ch6.adb | 22 + gcc/ada/sem_attr.adb | 12 +- gcc/ada/sem_ch11.adb | 3 +- gcc/ada/sem_ch13.adb | 63 ++- gcc/ada/sem_ch5.adb | 11 +- gcc/ada/sem_ch6.adb | 34 +- gcc/ada/sem_ch7.adb | 4 +- gcc/ada/sem_disp.adb | 2 +- gcc/ada/sem_elab.adb | 2 +- gcc/ada/sem_res.adb | 16 - gcc/ada/sem_util.adb | 6 +- gcc/ada/sem_warn.adb | 9 +- gcc/ada/sinfo.ads | 7 - 55 files changed, 1017 insertions(+), 706 deletions(-) copy gcc/ada/libgnat/{g-gfmafu.ads => s-spark.ads} (89%) copy gcc/ada/{libgnarl/s-proinf.adb => libgnat/s-spcuop.adb} (82%) copy gcc/ada/libgnat/{s-retsta.ads => s-spcuop.ads} (66%)