Bug#658567: gnat: Compiler assertion on precondition
Package: gnat-4.6
Version: 4.6.2-3
Severity: normal
Tags: upstream
Dear Maintainer,
Reported in upstream gcc:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52121
sources available on the GCC bts
% gcc-4.6 -c -gnat12 -gnata heap_sieve.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (x86_64-pc-linux-gnu) GCC error: |
| in gnat_to_gnu_entity, at ada/gcc-interface/decl.c:353 |
| Error detected at heap.ads:18:22 [heap_sieve.ads:39:4] |
| 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). |
+==========================================================================+
-- System Information:
Debian Release: wheezy/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
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
gnat-4.6 recommends no packages.
Versions of packages gnat-4.6 suggests:
pn ada-reference-manual-html 1:2005.2-1
pn ada-reference-manual-info <none>
pn ada-reference-manual-pdf <none>
pn ada-reference-manual-text 1:2005.2-1
pn gnat-4.6-doc <none>
pn gnat-4.6-sjlj <none>
-- no debconf information
Reply to: