Package: gnat-4.6
Version: 4.6.2-3
Severity: normal
Tags: upstream
Dear Maintainer,
Bug also reported in upstream at:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120
attachment available there
Compiling with
gcc-4.6 -c -gnat12 heap_sieve.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:1072 |
| Error detected at heap_sieve.adb:83:30 |
| 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.6 or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+================================================= =========================+
Kernel: Linux 3.1.0-1-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages gnat-4.6 depends on:
ii gcc-4.6 4.6.2-12
ii gnat-4.6-base 4.6.2-3
ii libc6 2.13-24
ii libc6-dev 2.13-24
ii libgcc1 1:4.6.2-12
ii libgmp10 2:5.0.2+dfsg-2
ii libgnat-4.6 4.6.2-3
ii libgnatprj4.6 4.6.2-3
ii libgnatvsn4.6 4.6.2-3
ii libmpc2 0.9-4
ii libmpfr4 3.1.0-3
ii multiarch-support 2.13-24
ii zlib1g 1:1.2.3.4.dfsg-3
--
To UNSUBSCRIBE, email to debian-gcc-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20120204070401.12983.61560.reportbug@a64">http://lists.debian.org/20120204070401.12983.61560.reportbug@a64