[Bug ada/120104] [15/16 regression] assertion failure on Finalizable aspect with abstract primitive

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

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|16.0                        |15.2
           Keywords|                            |ice-checking
            Summary|assertion failure on        |[15/16 regression]
                   |Finalizable aspect with     |assertion failure on
                   |abstract primitive          |Finalizable aspect with
                   |                            |abstract primitive

--- Comment #2 from Sam James <sjames at gcc dot gnu.org> ---
I get an assertion failure w/ 11 ("Assert_Failure failed precondition from
einfo-entities.ads:3296"), 12..14 are fine, then 15/16 have it too.

(All of my GCCs are built w/ --enable-checking=yes,extra,rtl.)