In 3.15p, we have: +===========================GNAT BUG DETECTED==============================+ | 3.15p (20020523) (i686-pc-linux-gnu) Storage_Error stack overflow (or erroneous memory access)| | Error detected at sets.adb:1:1 [things.ads:5:4] | | Please submit bug report by email to report@gnat.com. | | Use a subject line meaningful to you and us to track the bug. | | (include your customer number #nnn in the subject line). | | Include the entire contents of this bug box in the report. | | Include the exact gcc or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | | (use plain ASCII or MIME attachment, or FTP to your customer directory). | | See README.GNATPRO for full info on procedure for submitting bugs. | +==========================================================================+ Please include these source files with error report analysis.ads Similar Problem occurs in 3.3.2: +===========================GNAT BUG DETECTED==============================+ | 3.3.2 20030908 (Debian prerelease) (i486-pc-linux-gnu) Assert_Failure sem_elab.adb:1410| | Error detected at sets.adb:1:1 [things.ads:5:4] | | Please submit a bug report; see http://gcc.gnu.org/bugs.html. | | Include the entire contents of this bug box in the report. | | Include the exact gcc-3.3 or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | concatenated together with no headers between files. | +==========================================================================+ Please include these source files with error report analysis.ads list may be incomplete compilation abandoned gnatmake: "analysis.ads" compilation error
Created attachment 4775 [details] tar file with ada source to reproduce bug 12318 * contains a directory "bug-12318" with the ada sources * it seems to me that you have to split the input into several files - if I put all ada source in a single package, the stuff can be compiled.
Oops, the command to produce the error: go to the sources and type gnatmake analysis
Subject: Bug 12318 CVSROOT: /cvs/gcc Module name: gcc Changes by: charlet@gcc.gnu.org 2003-10-22 09:28:09 Modified files: gcc/ada : ChangeLog exp_ch3.adb exp_prag.adb g-regpat.adb g-regpat.ads sem_ch12.adb sem_ch3.adb sem_elab.adb sem_util.adb Added files: gcc/ada : gnat_wrapper.adb Log message: 2003-10-22 Arnaud Charlet <charlet@act-europe.fr> * gnat_wrapper.adb: New file. 2003/10/22 Jerome Roussel <roussel@act-europe.fr> * g-regpat.ads, g-regpat.adb (Match): new function, to know if a string match a pre compiled regular expression (the corresponding version of the function working on a raw regular expression) Fix typos in various comments Update copyright notice in spec 2003/10/21 Gary Dismukes <dismukes@gnat.com> * exp_ch3.adb: (Component_Needs_Simple_Initialization): Return False when the type is a packed bit array. Revise spec comments to document this case. * exp_prag.adb: (Expand_Pragma_Import): Set any expression on the imported object to empty to avoid initializing imported objects (in particular this covers the case of zero-initialization of bit arrays). Update copyright notice. 2003/10/21 Ed Schonberg <schonberg@gnat.com> * sem_ch12.adb: (Load_Parent_Of_Generic): If parent is compilation unit, stop search, a subunit is missing. (Instantiate_Subprogram_Body): If body of function is missing, set type of return expression explicitly in dummy body, to prevent cascaded errors when a subunit is missing. Fixes PR 5677. * sem_ch3.adb: (Access_Subprogram_Declaration): Verify that return type is valid. Fixes PR 8693. * sem_elab.adb: (Check_Elab_Calls): Do not apply elaboration checks if the main unit is generic. Fixes PR 12318. * sem_util.adb: (Corresponding_Discriminant): If the scope of the discriminant is a private type without discriminant, use its full view. Fixes PR 8247. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/gnat_wrapper.adb.diff?cvsroot=gcc&r1=NONE&r2=1.1 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&r1=1.353&r2=1.354 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/exp_ch3.adb.diff?cvsroot=gcc&r1=1.8&r2=1.9 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/exp_prag.adb.diff?cvsroot=gcc&r1=1.6&r2=1.7 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/g-regpat.adb.diff?cvsroot=gcc&r1=1.7&r2=1.8 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/g-regpat.ads.diff?cvsroot=gcc&r1=1.4&r2=1.5 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_ch12.adb.diff?cvsroot=gcc&r1=1.21&r2=1.22 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_ch3.adb.diff?cvsroot=gcc&r1=1.18&r2=1.19 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_elab.adb.diff?cvsroot=gcc&r1=1.9&r2=1.10 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_util.adb.diff?cvsroot=gcc&r1=1.13&r2=1.14
Closing PR.