[Bug ada/110398] [12/13/14 regression] internal error on call with parameter of predicated subtype

[ebotcazou at gcc dot gnu.org]

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 <ebotcazou@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.