[Bug ada/88610] New: ICE with new ACATS test c452003

[simon at pushface dot org]

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

            Bug ID: 88610
           Summary: ICE with new ACATS test c452003
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: simon at pushface dot org
  Target Milestone: ---
              Host: x86_64-apple-darwin15
            Target: x86_64-apple-darwin15
             Build: x86_64-apple-darwin15

Created attachment 45290
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45290&action=edit
Demonstrator - to be gnatchopped

This test is new in ACATS 4.1K. It "checks that memberships of general 
access-to-object types work as defined when applied to anonymous 
access-to-tagged types".

With GCC 8.2.0 & GNAT CE 2018 the compilation gets stuck with no output.

GNAT CE 2018 on Debian is the same.

$ gnatmake c452003_root-child.adb
gcc -c c452003_root-child.adb
+===========================GNAT BUG DETECTED==============================+
| 9.0.0 20181103 (experimental) (x86_64-apple-darwin15) Assert_Failure
exp_util.adb:6824|
| Error detected at c452003_root-child.adb:32:14                           |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ .              |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact command that you entered.                              |
| Also include sources listed below.                                       |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

c452003_root-child.adb
c452003_root-child.ads
c452003_root.ads

compilation abandoned