Bug#497620: Bug box on legal code, raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:398

["David Starner" <prosfilaes@gmail.com>]

Package: gnat-4.3
Version: 4.3.1-2
Severity: normal

I found a GNAT bug box when recompiling my code. It worked in previous
versions; I'm not sure exactly what, but whatever was current in
Debian a year ago compiled the program this bug was simplified from
fine.

***************
~/Code/Dragon_Chess/new-main/gnat-bug-new $ gcc-4.3 -c -O2 -gnatN
board_strings.adb
board_strings.adb:4:32: warning: formal parameter "BS" is not referenced
+===========================GNAT BUG DETECTED==============================+
| 4.3.1 (x86_64-pc-linux-gnu) in change_address_1, at emit-rtl.c:1845      |
| Error detected around
/usr/lib/gcc/x86_64-linux-gnu/4.3.1/adainclude/a-strbou.ads:542|
| 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-4.3 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.

board_strings.adb
board_strings.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:398
**********************

running with the following code

**********************
with Ada.Strings.Bounded; use Ada.Strings.Bounded;

package Board_Strings is

   package Board_Layer_Strings is new Generic_Bounded_Length (72);
   type Board_String is array (1 .. 3) of
     Board_Layer_Strings.Bounded_String;
   procedure Board_To_Strings (BS : out Board_String);
end Board_Strings;
package body Board_Strings is
   use Board_Layer_Strings;

   procedure Board_To_Strings (BS : out Board_String)
   is
   begin
      null;
   end Board_To_Strings;

end Board_Strings;

**************************************

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.25-2-amd64 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
(ignored: LC_ALL set to en_US.UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages gnat-4.3 depends on:
ii  gcc-4.3                   4.3.1-9        The GNU C compiler
ii  gnat-4.3-base             4.3.1-2        The GNU Compiler Collection (gnat
ii  libc6                     2.7-13         GNU C Library: Shared libraries
ii  libc6-dev                 2.7-13         GNU C Library: Development Librari
ii  libgcc1                   1:4.3.1-9      GCC support library
ii  libgmp3c2                 2:4.2.2+dfsg-3 Multiprecision arithmetic library
ii  libgnat-4.3               4.3.1-2        Runtime library for GNU Ada applic
ii  libgnatprj4.3             4.3.1-2        GNU Ada Project Manager
ii  libgnatvsn4.3             4.3.1-2        GNU Ada compiler version library
ii  libmpfr1ldbl              2.3.1.dfsg.1-2 multiple precision floating-point

gnat-4.3 recommends no packages.

Versions of packages gnat-4.3 suggests:
ii  ada-reference-manual       20021112web-3 The standard describing the Ada 95
ii  gnat-4.3-doc               4.3.0.nf1-1   documentation for the GNU Ada 95 C

-- no debconf information