Package: gnat
Version: 3.15p-12
Severity: normal
-- gnat bug on legal program; from gcc bug 19002
package Test_138 is
type T1 is record
i: integer;
end record;
package pak1 is
type T2 is tagged private;
private
type T2 is tagged null record;
end pak1;
generic
package pak2 is
function f(x: pak1.T2) return integer;
function f(x: T1) return integer;
j: integer := f((i => 2));
end pak2;
package new_pak2 is new pak2;
end Test_138;
+===========================GNAT BUG DETECTED==============================+
| 3.15p (20020523) (i686-pc-linux-gnu) Storage_Error stack overflow (or
erroneous memory access)|
| Error detected at Test_138.ada:19:24 [Test_138.ada:22:4] |
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041212 (experimental) (i686-pc-linux-gnu) Assert_Failure
sinfo.adb:2474|
| Error detected at Test_138.ada:19:24 [Test_138.ada:22:4] |
+===========================GNAT BUG DETECTED==============================+
| 3.15p (Debian 3.15p-13) (i486-pc-linux-gnu) Assert_Failure sinfo.adb:2365|
| Error detected at test_138.ads:17:24 [test_138.ads:22:4] |
-- System Information:
Debian Release: 3.1
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.27-2-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Versions of packages gnat depends on:
ii binutils 2.15-5 The GNU assembler, linker and bina
ii libc6 2.3.2.ds1-20 GNU C Library: Shared libraries an
ii libc6-dev 2.3.2.ds1-20 GNU C Library: Development Librari
ii libgnat-3.15p-1 3.15p-12 The GNU Ada 95 compiler runtime li
-- no debconf information
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
