Bug#427107: gnat-4.1: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/="

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Package: gnat-4.1
Version: 4.1.1-22
Severity: normal

package Pak1 is
   type T1 is tagged null record;
   function  Eq(X, Y : T1) return Boolean renames "=";
   function Neq(X, Y : T1) return Boolean renames "/="; -- line 4
end Pak1;

gnatmake pak1 yields
gnatmake pak1
gcc-4.1 -c pak1.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (x86_64-pc-linux-gnu)      |
| Assert_Failure einfo.adb:846                                             |
| Error detected at pak1.ads:4:43                                          |

The token that triggers the bug box is the "renames" in line 4.

Here is a second test case that triggers the same bug box:

package Pak1 is
   type T1 is tagged null record;
   function Eq (X, Y : T1) return Boolean renames "=";

   type T2 is new T1 with null record;
   function Eq (X, Y : T2) return Boolean renames "="; -- line 6
end Pak1;

gnatmake pak1
gcc-4.1 -c pak1.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (x86_64-pc-linux-gnu)      |
| Assert_Failure einfo.adb:846                                             |
| Error detected at pak1.ads:6:43                                          |

The token that triggers this bug box is, again, the "renames" in line 6.


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

Kernel: Linux 2.6.18-3-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages gnat-4.1 depends on:
ii  gcc-4.1                     4.1.1-21     The GNU C compiler
ii  gnat-4.1-base               4.1.1-22     The GNU Compiler Collection
(gnat 
ii  libc6                       2.3.6.ds1-13 GNU C Library: Shared
libraries
ii  libc6-dev                   2.3.6.ds1-13 GNU C Library: Development
Librari
ii  libgcc1                     1:4.1.1-21   GCC support library
ii  libgnat-4.1                 4.1.1-22     Runtime library for GNU Ada
applic
ii  libgnatprj4.1               4.1.1-22     GNU Ada Project Manager
ii  libgnatvsn4.1               4.1.1-22     GNU Ada compiler version
library

gnat-4.1 recommends no packages.

-- no debconf information