[Bug ada/126482] bogus error for 'Unrestricted_Access of overloaded subprogram

cvs-commit at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Jul 30 16:33:42 GMT 2026


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

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

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

commit r16-9467-gb015cc22bf492af22a912199a1ea93879bbfc5a7
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Thu Jul 30 18:29:51 2026 +0200

    Ada: Fix bogus error for 'Unrestricted_Access of overloaded subprogram

    This plugs an old loophole in Analyze_Attribute for the handling of the
    GNAT specific Unrestricted_Access attribute.

    gcc/ada/
            PR ada/126482
            * sem_attr.adb (Analyze_Attribute): Treat Unrestricted_Access like
            [Unchecked_]Access when it comes to the overloading of the prefix.


More information about the Gcc-bugs mailing list