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
