This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gcc_check/master-aarch64 in repository toolchain/ci/gcc.
from 7915f655134 RISC-V/testsuite: constraint some of tests to hard_float adds b4e04a78bbd [ARM] Fix prototype for vec_perm_const hook. adds 96b2e170668 [Ada] Fix new CUDA kernel registration scheme adds efaee961d93 [Ada] Add empty constructors to the functional containers adds 55c19dda8c6 [Ada] Delete no-longer-used Convert_To_Return_False flag adds 5b7630f2f26 [Ada] PR ada/105303 Fix use of Assertion_Policy in internal [...] adds 1ea22318caf [Ada] Adapt proof of runtime unit s-arit32 adds 3e93d2926ae [Ada] Do not freeze profiles for dispatch tables adds fabf93dc1ae [Ada] Restore hiding of predefined "=" operator through cla [...] adds 4609660b773 [Ada] Fix typo in comment for functional sets adds 33dec214f02 [Ada] Tweaks to hardening docs adds 40e01041b35 [Ada] Update proofs of double arithmetic unit after prover changes adds 764169055b5 [Ada] Introduce Opt.CCG_Mode adds 79b7ab68bce [Ada] Do not analyze expression functions for dispatch tables adds 878ded4f9a9 [Ada] Do not freeze specifically for dispatch tables adds 567bf449325 [Ada] Fix expansion of aggregate for discriminated limited [...] adds ebddfe50d8b [Ada] Incorrect determination of whether an expression is p [...] adds f55e8fd165c [Ada] Fix illegal Ada in s-dwalin.adb adds 507ed659e01 [Ada] Incorrect unreferenced warnings on null subprograms a [...] adds 6a91be29578 [Ada] Avoid creating a finalization wrapper block for functions adds b341b8130f8 [Ada] Deconstruct deferred references adds 8337af4f9db [Ada] Fix -gnatw.f warnings not having the right insertion [...] adds f925b56959d [Ada] Fix Warn_On_Late_Primitives messages not being proper [...] adds 67481ef5271 [Ada] Fix Warn_On_All_Unread_Out_Parameters not being prope [...] adds 94cf3d1f78d [Ada] Add insertion character for overlay modification warnings adds 9baae5692bd [Ada] Add insertion character to Ineffective_Inline_Warning [...] adds 0f29dfcec26 [Ada] Remove repeated description of support for Address clauses adds 263cb16b766 [Ada] Simplify construction of a path to file adds 576b7778915 [Ada] Fix expansion of structural subprogram variants adds 8244b803420 [Ada] Remove contract duplication in formal doubly linked lists adds a4db870e1b0 [Ada] Add "option" field to GNAT's -fdiagnostics-format=jso [...] adds 1b88c61e374 [Ada] Fix spurious options being inserted in -fdiagnostics- [...] adds c8929840407 x86: correct bmi2_umul<mode><dwi>3_1's MEM_P() uses
No new revisions were added by this update.
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/s-spark.ads | 36 ++ gcc/ada/libgnat/s-spcuop.adb | 42 ++ gcc/ada/libgnat/s-spcuop.ads | 59 +++ 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 - gcc/config/arm/arm.cc | 4 +- gcc/config/i386/i386.md | 2 +- 57 files changed, 1115 insertions(+), 671 deletions(-) create mode 100644 gcc/ada/libgnat/s-spark.ads create mode 100644 gcc/ada/libgnat/s-spcuop.adb create mode 100644 gcc/ada/libgnat/s-spcuop.ads