The attached code triggers a gnat bug:
+===========================GNAT BUG DETECTED==============================+
| 4.3.1 (i686-pc-linux-gnu) Program_Error exp_disp.adb:6331 explicit raise |
| Error detected at test.adb:20:9 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| 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 gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==========================================================================+
Other information:
'gnatgcc -v' produces:
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with:
/var/tmp/portage/dev-lang/gnat-gcc-4.3.1/work/gcc-4.3.1/configure --prefix=/usr
--bindir=/usr/i686-pc-linux-gnu/gnat-gcc-bin/4.3
--includedir=/usr/lib/gnat-gcc/i686-pc-linux-gnu/4.3/include
--libdir=/usr/lib/gnat-gcc/i686-pc-linux-gnu/4.3
--libexecdir=/usr/libexec/gnat-gcc/i686-pc-linux-gnu/4.3
--datadir=/usr/share/gnat-gcc-data/i686-pc-linux-gnu/4.3
--mandir=/usr/share/gnat-gcc-data/i686-pc-linux-gnu/4.3/man
--infodir=/usr/share/gnat-gcc-data/i686-pc-linux-gnu/4.3/info
--program-prefix=gnat --enable-languages=c,ada --with-gcc
--enable-threads=posix --enable-shared --with-system-zlib
--host=i686-pc-linux-gnu --build=i686-pc-linux-gnu --enable-nls
--without-included-gettext --with-system-zlib --disable-checking
--disable-werror --disable-libunwind-exceptions --enable-libada
Thread model: posix
gcc version 4.3.1
Used simplest command to compile: gnatgcc -c test.adb
--
Summary: Extension based on instantiatized generic
Product: gcc
Version: 4.3.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: nivertius at gmail dot com
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=37252
