[Bug ada/13460] New: Bug Box: Assertion_Failure when compiling a spec with "with type" (-gnatX)

["bauhaus at futureapps dot de" <gcc-bugzilla at gcc dot gnu dot org>]

-- bash-2.05a$ gcc -v -c -gnatX r-a.ads
-- Reading specs from /opt/GCC/34/lib/gcc/i686-pc-linux-gnu/3.4/specs
-- Configured with: ../gcc/configure --enable-languages=c,ada
--prefix=/opt/GCC/34 --enable-checking
-- Thread model: posix
-- gcc version 3.4 20031127 (experimental)
--  /opt/GCC/34/libexec/gcc/i686-pc-linux-gnu/3.4/gnat1 -quiet -dumpbase r-a.ads
-gnatX -mtune=pentiumpro r-a.ads -o /tmp/ccEdf0uF.s
-- +===========================GNAT BUG DETECTED==============================+
-- | 3.4 20031127 (experimental) (i686-pc-linux-gnu) Assert_Failure elists.adb:167|
-- | Error detected at r-a.ads:9:4                                            |
-- | Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
-- | Include the entire contents of this bug box in the report.               |
-- | Include the exact gcc or gnatmake command that you entered.              |
-- | Also include sources listed below in gnatchop format                     |
-- | (concatenated together with no headers between files).                   |
-- +==========================================================================+
-- 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.

-- r-a.ads
-- r.ads
-- g.boxq@púq@lib/gcc/i686-pc-linux-gnu/3.4/adainclude/a-stream.ads
-- list may be incomplete
-- compilation abandoned
-- bash-2.05a$  uname -a
-- Linux sonnenregen 2.4.19 #1 SMP Wed Jun 18 02:54:48 CEST 2003 i686 unknown

-- (Using 3.15p on Wintel, or using the Mac port for OS X 10.2, or
-- using a recent MingW distribution, I get to see similar bug boxes,
-- and different "garbage" where the above file list has
-- "g.boxq@púq@li...". For example I had got ^@^@^@^@[more] in one
-- case.)




package R is

   type Root is tagged null record;

end R;


with type R.B.Derived is tagged;

package R.A is

   type Derived is new Root with null record;

   procedure something (d: Derived; other: access R.B.Derived'Class);

   type Cross is new R.B.Derived with null record;

   procedure someting (d: Cross; other: access Root'Class);

end R.A;




with type R.A.Derived is tagged;


package R.B is

   type Derived is new Root with null record;

   procedure something (d: Derived; other: access R.A.Derived'Class);

end R.B;

-- 
           Summary: Bug Box: Assertion_Failure when compiling a spec with
                    "with type" (-gnatX)
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bauhaus at futureapps dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13460