Dear contributor,

Our automatic CI successfully passed with your patch(es). Please find some details below.

In gcc_build master-arm, after:
  | commit gcc-16-5942-g55d31324ac5c
  | Author: Denis Mazzucato <mazzucato@adacore.com>
  | Date:   Sat Dec 6 19:13:26 2025 +0100
  | 
  |     Ada: Fix spurious warning if the reducer subprogram is a procedure
  |     
  |     If the reducer is a function and the accumulator type isn't constrained,
  |     at runtime the reduction will likely raise a Constraint_Error since the
  |     reducer is repeatedly assigned to the accumulator variable (likely changing
  | ... 7 lines of the commit log omitted.

Produces Success:
  | Results changed to
  | # reset_artifacts:
  | -10
  | # true:
  | 0
  | # build_abe gcc:
  | 1
  | 
  | From
  | # reset_artifacts:
  | -10
  | # true:
  | 0
  | # build_abe gcc:
  | 1

Used configuration :
 *CI config* tcwg_gcc_build master-arm
 *configure and test flags:* none, autodetected on armv8l-unknown-linux-gnueabihf

We track this bug report under https://linaro.atlassian.net/browse/GNU-692. Please let us know if you have a fix.

If you have any questions regarding this report, please ask on linaro-toolchain@lists.linaro.org mailing list.

-----------------8<--------------------------8<--------------------------8<--------------------------

The information below contains the details of the failures, and the ways to reproduce a debug environment:

You can find the failure logs in
 * https://ci.linaro.org/job/tcwg_gcc_build--master-arm-build/4202/artifact/artifacts/
The full lists of regressions and improvements as well as configure and make commands are in
 * https://ci.linaro.org/job/tcwg_gcc_build--master-arm-build/4202/artifact/artifacts/notify/

Current build   : https://ci.linaro.org/job/tcwg_gcc_build--master-arm-build/4202/artifact/artifacts
Reference build : https://ci.linaro.org/job/tcwg_gcc_build--master-arm-build/4201/artifact/artifacts

Instruction to reproduce the build : https://gitlab.com/LinaroLtd/tcwg/ci/interesting-commits/-/raw/master/gcc/sha1/55d31324ac5c2763e9c9eb647c5ec068af24baf3/tcwg_gcc_build/master-arm/reproduction_instructions.txt

Full commit : See in git+ssh://linaroci@gcc.gnu.org/git/gcc.git