https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117569
--- Comment #2 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:0d736433f9261fb9705f860a2e41cc407ecd972c commit r15-6594-g0d736433f9261fb9705f860a2e41cc407ecd972c Author: Eric Botcazou <ebotca...@adacore.com> Date: Thu Dec 12 23:08:30 2024 +0100 ada: Fix predicate involving array indexing rejected in generic package The indexing is rejected with the message: error: reference to current instance of type does not denote a type when it is applied to a prefix which is the current instance of the type to which the predicate is applied. There is already a specific handling of component selection for this case present in Find_Selected_Component, so this adds an equivalent specific handling of indexing for this case to Analyze_Indexed_Component_Form. gcc/ada/ChangeLog: PR ada/117569 * sem_ch4.adb (Analyze_Indexed_Component_Form): Do not rewrite the node as a type conversion if it is the current instance of a type in a generic unit. * sem_ch8.adb (Find_Selected_Component): Restrict the special case of the current instance of a type to a generic unit.
