https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110398
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- https://gcc.gnu.org/g:a3626f49d64c8b81aadae61ae4fad7d4d0f9d6b8 commit r14-6711-ga3626f49d64c8b81aadae61ae4fad7d4d0f9d6b8 Author: Eric Botcazou <ebotca...@adacore.com> Date: Thu Sep 28 15:53:36 2023 +0200 ada: Fix internal error on call with parameter of predicated subtype The problem is that the predicated subtype does not inherit all the required attributes of a string subtype with a static predicate. gcc/ada/ * sem_ch3.adb (Analyze_Subtype_Declaration): Remove a short-circuit for subtypes without aspects when it comes to predicates. * sem_util.adb (Inherit_Predicate_Flags): Deal with private subtypes whose full view is an Itype.
