[Bug ada/112979] internal error on invalid prefix with assertions enabled

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Marc Poulhi?s <d...@gcc.gnu.org>:

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

commit r15-5155-gbd525f07535cb1a144e39cbb5c9b33e845d19e87
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Mon Oct 28 11:44:47 2024 +0100

    ada: Fix internal error on invalid prefix with assertions enabled

    This happens for example with:

    package Q3 is
      type Types is (One, Two);
    end Q3;

    with Q3;

    package P3 is
      Kind : Q3.Types := Q3.Types.One;
    end P3;

    and prevents the error from being given.

    gcc/ada/ChangeLog:

            PR ada/112979
            * sem_ch8.adb (Find_Selected_Component): Try to recognize the
            object operation notation only if the selector is a subprogram.