public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/22251] New: Bug box in Ada compiler: Assert_Failure sinfo.adb:2479, Error detected at test.adb:12:16
@ 2005-06-30 14:27 jlh at gmx dot ch
  2005-06-30 14:31 ` [Bug ada/22251] " pinskia at gcc dot gnu dot org
                   ` (2 more replies)
  0 siblings, 3 replies; 5+ messages in thread
From: jlh at gmx dot ch @ 2005-06-30 14:27 UTC (permalink / raw)
  To: gcc-bugs

I got a bug box from the Ada compiler.  Below is a reduced test case.

Output of 'gcc -v':
Reading specs from /usr/lib/gcc/i686-pc-linux-gnu/3.4.4/specs
Configured with: ../gcc-3.4.4/configure --prefix=/usr --enable-languages=ada,c,
c++,f77,f95,java,objc,obj-c++,treelang --with-gnu-ld --with-gnu-as --enable-
threads --with-arch=athlon : (reconfigured) ../gcc-3.4.4/configure --prefix=/usr 
--enable-languages=ada,c,c++,f77,java,objc,treelang --with-gnu-ld --with-gnu-as 
--enable-threads --with-arch=athlon
Thread model: posix
gcc version 3.4.4

The message GCC prints is:

-------- SNIP --------
+===========================GNAT BUG DETECTED===================+
| 3.4.4 (i686-pc-linux-gnu) Assert_Failure sinfo.adb:2479       |
| Error detected at test.adb:12:16                              |
| 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.

test.adb
test.ads

compilation abandoned
-------- SNIP --------

I also got the same bug box with GCC 3.4.4 on Cygwin/WinNT.  It's identical to 
above's, with the first line being:
| 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125) (i686-pc-cygwin)     |

The command invoked is
$ gcc -c test.adb

And the test files are:

-------- begin file: test.ads --------
package Test is
   type Object is limited private;
private
   protected type Safe_Object is
   end Safe_Object;
   type Object is record
      Safe : Safe_Object;
   end record;
end Test;
-------- end file: test.ads --------

-------- begin file: test.adb --------
package body Test is
   protected body Safe_Object is
      procedure Destroy is
      begin
         null;
      end Destroy;
   end Safe_Object;
   procedure Destroy (This : in out Object) is
   begin
      This.Safe.Destroy;
   end Destroy;
end Test;
-------- end file: test.adb --------

-- 
           Summary: Bug box in Ada compiler: Assert_Failure sinfo.adb:2479,
                    Error detected at test.adb:12:16
           Product: gcc
           Version: 3.4.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jlh at gmx dot ch
                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=22251


^ permalink raw reply	[flat|nested] 5+ messages in thread
[parent not found: <bug-22251-10911@http.gcc.gnu.org/bugzilla/>]
end of thread, other threads:[~2007-05-04 10:32 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-06-30 14:27 [Bug ada/22251] New: Bug box in Ada compiler: Assert_Failure sinfo.adb:2479, Error detected at test.adb:12:16 jlh at gmx dot ch
2005-06-30 14:31 ` [Bug ada/22251] " pinskia at gcc dot gnu dot org
2005-09-06 12:22 ` charlet at gcc dot gnu dot org
2005-09-06 12:31 ` charlet at gcc dot gnu dot org
     [not found] <bug-22251-10911@http.gcc.gnu.org/bugzilla/>
2007-05-04 10:32 ` charlet at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).