This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gnu_native_check_binutils/master-arm in repository toolchain/ci/gcc.
from da5f0cc2f51 sourcebuild.texi: Document toplevel directories adds 794737976b9 Darwin: Fix empty g++ command lines [PR105599]. adds 58a40e76eba libcpp: Ignore CPP_PADDING tokens in _cpp_parse_expr [PR105732] adds 05f220c205b Daily bump. adds 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- [...] new c8929840407 x86: correct bmi2_umul<mode><dwi>3_1's MEM_P() uses
The 1 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/ChangeLog | 14 + gcc/DATESTAMP | 2 +- 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/darwin.h | 17 +- gcc/config/i386/i386.md | 2 +- gcc/testsuite/ChangeLog | 5 + gcc/testsuite/c-c++-common/cpp/va-opt-10.c | 18 + gcc/testsuite/gcc.target/riscv/fmax.c | 1 + gcc/testsuite/gcc.target/riscv/fmaxf.c | 1 + gcc/testsuite/gcc.target/riscv/fmin.c | 1 + gcc/testsuite/gcc.target/riscv/fminf.c | 1 + gcc/testsuite/gcc.target/riscv/pr105666.c | 1 + gcc/testsuite/gcc.target/riscv/smax-ieee.c | 1 + gcc/testsuite/gcc.target/riscv/smax.c | 1 + gcc/testsuite/gcc.target/riscv/smaxf-ieee.c | 1 + gcc/testsuite/gcc.target/riscv/smaxf.c | 1 + gcc/testsuite/gcc.target/riscv/smin-ieee.c | 1 + gcc/testsuite/gcc.target/riscv/smin.c | 1 + gcc/testsuite/gcc.target/riscv/sminf-ieee.c | 1 + gcc/testsuite/gcc.target/riscv/sminf.c | 1 + libcpp/ChangeLog | 6 + libcpp/expr.cc | 4 + 77 files changed, 1182 insertions(+), 683 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 create mode 100644 gcc/testsuite/c-c++-common/cpp/va-opt-10.c