(forwarded from the Debian bug tracking system)
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.
--
Summary: Bug box, Assert_Failure at einfo.adb:846, renaming
predefined "=" and "/="
Product: gcc
Version: 4.1.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic at ludovic-brenta dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
