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
