[Bug ada/126907] [16/17 regression] infinite loop on reduction expression with -gnatVa

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126907

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <[email protected]>:

https://gcc.gnu.org/g:535a429af371c852999fc9a670f95ee65deb52cd

commit r17-3420-g535a429af371c852999fc9a670f95ee65deb52cd
Author: Eric Botcazou <[email protected]>
Date:   Wed Aug 19 15:10:00 2026 +0200

    Ada: Fix infinite loop on reduction expression with -gnatVa

    This is a regression present on the mainline and 16 branch, coming from an
    invalid tree sharing in the new implementation of the (complex) analysis of
    reduction expressions.

    gcc/ada/
            PR ada/126907
            * sem_attr.adb (Resolve_Attribute) <Attribute_Reduce>: Do not call
            Relocate_Node on nodes of the original unanalyzed tree.

    gcc/testsuite/
            * gnat.dg/reduce7.adb: New test.