https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126379
--- Comment #13 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:5ff1facfba558514eae0efaeb70adb91b6c32a5f commit r17-2861-g5ff1facfba558514eae0efaeb70adb91b6c32a5f 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.
