https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110398
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- https://gcc.gnu.org/g:0251e5582b8f841681c183477db3b5055e8fab5a commit r13-8171-g0251e5582b8f841681c183477db3b5055e8fab5a 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.
