https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126379
--- Comment #14 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:bcda9a5a1d995c1a0fe1fb64bfd4dddd44224ba5 commit r16-9484-gbcda9a5a1d995c1a0fe1fb64bfd4dddd44224ba5 Author: Eric Botcazou <[email protected]> Date: Fri Jul 31 20:18:15 2026 +0200 Ada: Fix bogus error for 'Value invoked on function call and -gnatVa This happens when the function takes an In Out or Out parameter, so only in Ada 2012 and later. The mechanism used to implement the validity check for the call, required by -gnatVa, inserts the copy-out statement incorrectly. gcc/ada/ PR ada/126379 * exp_ch6.adb (Insert_Post_Call_Actions): Also deal with attribute references as parent node. gcc/testsuite/ * gnat.dg/validity_check3.adb: New test.
