[Bug ada/113037] assertion failure on illegal use of aspect Type_Invariant

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113037

--- 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:0362d7aa8fcdb63505a6b37a36fc7cc5845ba80c

commit r15-5154-g0362d7aa8fcdb63505a6b37a36fc7cc5845ba80c
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Mon Oct 28 11:58:55 2024 +0100

    ada: Fix assertion failure on illegal use of aspect Type_Invariant

    The illegal use is on a type derived from a formal private type, e.g.:

    generic

      type T is private;

    package G is

      type D is new T with Type_Invariant => True;

    end G;

    gcc/ada/ChangeLog:

            PR ada/113037
            * sem_prag.adb (Analyze_Pragma) <Pragma_Invariant>: Reject types
            that are derived from formal private types.