https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126907
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:1f32d57ce4ecabe3fdd5a98d726ecacb20349d11 commit r16-9559-g1f32d57ce4ecabe3fdd5a98d726ecacb20349d11 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.
