[Bug ada/126379] bogus error for 'Value invoked on function call with In Out parameter and -gnatVa

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.