public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/52121] New: [Ada] Compiler assertion on precondition
@ 2012-02-04  6:49 gcc at davidb dot org
  2012-02-04  6:50 ` [Bug ada/52121] " gcc at davidb dot org
  2013-10-31  0:49 ` nicolas.boulenguez at free dot fr
  0 siblings, 2 replies; 3+ messages in thread
From: gcc at davidb dot org @ 2012-02-04  6:49 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52121

             Bug #: 52121
           Summary: [Ada] Compiler assertion on precondition
    Classification: Unclassified
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gcc@davidb.org


% 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)


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug ada/52121] [Ada] Compiler assertion on precondition
  2012-02-04  6:49 [Bug ada/52121] New: [Ada] Compiler assertion on precondition gcc at davidb dot org
@ 2012-02-04  6:50 ` gcc at davidb dot org
  2013-10-31  0:49 ` nicolas.boulenguez at free dot fr
  1 sibling, 0 replies; 3+ messages in thread
From: gcc at davidb dot org @ 2012-02-04  6:50 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52121

--- Comment #1 from David Brown <gcc at davidb dot org> 2012-02-04 06:49:59 UTC ---
Created attachment 26571
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26571
bug sources in gnatchop format


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug ada/52121] [Ada] Compiler assertion on precondition
  2012-02-04  6:49 [Bug ada/52121] New: [Ada] Compiler assertion on precondition gcc at davidb dot org
  2012-02-04  6:50 ` [Bug ada/52121] " gcc at davidb dot org
@ 2013-10-31  0:49 ` nicolas.boulenguez at free dot fr
  1 sibling, 0 replies; 3+ messages in thread
From: nicolas.boulenguez at free dot fr @ 2013-10-31  0:49 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52121

nicolas.boulenguez at free dot fr changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nicolas.boulenguez at free dot fr

--- Comment #2 from nicolas.boulenguez at free dot fr ---
4.6.4 crashes with the same message.
4.8.2 compiles silently.


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2013-10-31  0:49 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-02-04  6:49 [Bug ada/52121] New: [Ada] Compiler assertion on precondition gcc at davidb dot org
2012-02-04  6:50 ` [Bug ada/52121] " gcc at davidb dot org
2013-10-31  0:49 ` nicolas.boulenguez at free dot fr

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).