]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix internal error on invalid prefix with assertions enabled
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 28 Oct 2024 10:44:47 +0000 (11:44 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 12 Nov 2024 13:05:44 +0000 (14:05 +0100)
commitbd525f07535cb1a144e39cbb5c9b33e845d19e87
treedcd1c2f6939f4dfc94aedd4ce0af7a4e930ec7d4
parent0362d7aa8fcdb63505a6b37a36fc7cc5845ba80c
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.
gcc/ada/sem_ch8.adb