[Bug ada/124226] [13/14/15/16 regression] missing implicit dereference for access-to-protected used as prefix

[cvs-commit at gcc dot gnu.org]

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

--- Comment #12 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <ebotcazou@gcc.gnu.org>:

https://gcc.gnu.org/g:b70d28d47ad6b2baa35b084e02376bf9a8020042

commit r16-7690-gb70d28d47ad6b2baa35b084e02376bf9a8020042
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Wed Feb 25 14:00:21 2026 +0100

    Ada: Fix missing implicit dereference for access-to-protected used as
prefix

    ... of access-related attribute.  This is a regression present on all
active
    branches caused by a local resolution of the N_Selected_Component node.

    gcc/ada/
            PR ada/124226
            * sem_res.adb (Resolve_Implicit_Dereference): Move declaration
to...
            * sem_res.ads (Resolve_Implicit_Dereference): ...here.
            * sem_attr.adb (Resolve_Attribute) <Attribute_Access>: Also call
            Resolve_Implicit_Dereference when resolving a protected operation.

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