Bug 52121 - compiler assertion on precondition
Summary: compiler assertion on precondition
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: ada (show other bugs)
Version: 4.6.2
: P3 normal
Target Milestone: 4.8.0
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-02-04 06:49 UTC by David Brown
Modified: 2015-12-06 14:48 UTC (History)
2 users (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed:

Attachments
bug sources in gnatchop format (2.13 KB, text/plain)
2012-02-04 06:49 UTC, David Brown 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description David Brown 2012-02-04 06:49:14 UTC 
% gnatchop -gnat12 gnata.gnatchop
% 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).                   |
+==========================================================================+

Source is attached
% apt-cache show gnat-4.6
Package: gnat-4.6
Version: 4.6.2-3
(Debian Testing, amd64)
Comment 1 David Brown 2012-02-04 06:49:59 UTC 
Created attachment 26571 [details]
bug sources in gnatchop format
Comment 2 Nicolas Boulenguez 2013-10-31 00:49:42 UTC 
4.6.4 crashes with the same message.
4.8.2 compiles silently.
Comment 3 Eric Botcazou 2015-12-06 14:48:58 UTC 
.