public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug ada/52120] New: [Ada] Compiler assertion in iterator @ 2012-02-04 6:45 gcc at davidb dot org 2012-02-12 23:11 ` [Bug ada/52120] " nicolas.boulenguez at free dot fr ` (2 more replies) 0 siblings, 3 replies; 4+ messages in thread From: gcc at davidb dot org @ 2012-02-04 6:45 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120 Bug #: 52120 Summary: [Ada] Compiler assertion in iterator 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 Created attachment 26570 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26570 bug sources in gnatchop format 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). | +==========================================================================+ Code is attached. Seems to be provoked by the for Step of ... construct. The commented out code after it works as a workaround. apt-cache show gnat-4.6 Package: gnat-4.6 Version: 4.6.2-3 (Debian Testing, amd64) ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/52120] [Ada] Compiler assertion in iterator 2012-02-04 6:45 [Bug ada/52120] New: [Ada] Compiler assertion in iterator gcc at davidb dot org @ 2012-02-12 23:11 ` nicolas.boulenguez at free dot fr 2013-10-31 0:31 ` nicolas.boulenguez at free dot fr 2015-01-03 5:41 ` aoliva at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: nicolas.boulenguez at free dot fr @ 2012-02-12 23:11 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120 nicolas.boulenguez at free dot fr changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |nicolas.boulenguez at free | |dot fr --- Comment #1 from nicolas.boulenguez at free dot fr 2012-02-12 23:11:32 UTC --- I had the same arch/gnat/cargs/failure with a shorter example. with Ada.Containers.Vectors; procedure Proc is package Vect is new Ada.Containers.Vectors (Positive, Integer); type Reco is record V : Vect.Vector; end record; R : Reco; begin for E of R.V loop null; end loop; end Proc; ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/52120] [Ada] Compiler assertion in iterator 2012-02-04 6:45 [Bug ada/52120] New: [Ada] Compiler assertion in iterator gcc at davidb dot org 2012-02-12 23:11 ` [Bug ada/52120] " nicolas.boulenguez at free dot fr @ 2013-10-31 0:31 ` nicolas.boulenguez at free dot fr 2015-01-03 5:41 ` aoliva at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: nicolas.boulenguez at free dot fr @ 2013-10-31 0:31 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120 --- Comment #2 from nicolas.boulenguez at free dot fr --- 4.8.2-1 produces the expected output for the last trigger gcc-4.8 -c proc.adb proc.adb:9:10: iterator is an Ada 2012 feature gnatmake: "proc.adb" compilation error ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/52120] [Ada] Compiler assertion in iterator 2012-02-04 6:45 [Bug ada/52120] New: [Ada] Compiler assertion in iterator gcc at davidb dot org 2012-02-12 23:11 ` [Bug ada/52120] " nicolas.boulenguez at free dot fr 2013-10-31 0:31 ` nicolas.boulenguez at free dot fr @ 2015-01-03 5:41 ` aoliva at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: aoliva at gcc dot gnu.org @ 2015-01-03 5:41 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120 Alexandre Oliva <aoliva at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED CC| |aoliva at gcc dot gnu.org Resolution|--- |FIXED --- Comment #3 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- This problem is fixed in GCC 4.8 and newer. heap_sieve.adb compiles successfully with the given command line in 4.8, 4.9 and trunk, whereas proc.adb compiles successfully in 4.9 and trunk, but it requires explicit -gnat12 in 4.8. ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2015-01-03 5:41 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2012-02-04 6:45 [Bug ada/52120] New: [Ada] Compiler assertion in iterator gcc at davidb dot org 2012-02-12 23:11 ` [Bug ada/52120] " nicolas.boulenguez at free dot fr 2013-10-31 0:31 ` nicolas.boulenguez at free dot fr 2015-01-03 5:41 ` aoliva at gcc dot gnu.org
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).