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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]