public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/13471] New: Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop
@ 2003-12-23  3:21 bauhaus at futureapps dot de
  2004-01-10 17:53 ` [Bug ada/13471] " laurent at guerby dot net
                   ` (3 more replies)
  0 siblings, 4 replies; 5+ messages in thread
From: bauhaus at futureapps dot de @ 2003-12-23  3:21 UTC (permalink / raw)
  To: gcc-bugs

When somewhere in the search path other than the Ada library
a unit called "system.ads" exists, for example an empty file,
an attempt to compile something will result massive
repetitions of the error message
"fatal error, system.ads not formatted correctly"
which is finally followed by a bug box.

(With GNAT 3.15p, the same message is given once, followed by
compilation abandoned (which I think is fine))

Procedure for reproducing:
mkdir d
cd d
touch system.ads
touch foo.ads
gcc -c foo.ads

bash-2.05a$  uname -a
Linux sonnenregen 2.4.19 #1 SMP Wed Jun 18 02:54:48 CEST 2003 i686 unknown

bash-2.05a$ gcc -c -v foo.ads
Reading specs from /opt/GCC/34/lib/gcc/i686-pc-linux-gnu/3.4/specs
Configured with: ../gcc/configure --enable-languages=c,ada --prefix=/opt/GCC/34 
--enable-checking : (reconfigured) 
Thread model: posix
gcc version 3.4 20031217 (experimental)
 /opt/GCC/34/libexec/gcc/i686-pc-linux-gnu/3.4/gnat1 -quiet -dumpbase bla.ads -m
tune=pentiumpro bla.ads -o /tmp/ccDH2VQd.s
fatal error, system.ads not formatted correctly
... [about 4400 times]
fatal error, system.ads not formatted correctly
fatal error, system.ads not formatted correctly
fatal error, system.ads not formatted correctly
+===========================GNAT BUG DETECTED==============================+
| 3.4 20031217 (experimental) (i686-pc-linux-gnu) Storage_Error stack overflow
(or erroneous memory access)|
| Error detected at system.ads:1:1                                         |
| 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 or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

-- 
           Summary: Bug Box: Storage_Error stack overflow(?), presence of
                    incorrect system.ads causes loop
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bauhaus at futureapps dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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


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

* [Bug ada/13471] Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop
  2003-12-23  3:21 [Bug ada/13471] New: Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop bauhaus at futureapps dot de
@ 2004-01-10 17:53 ` laurent at guerby dot net
  2004-01-11 11:15 ` bauhaus at futureapps dot de
                   ` (2 subsequent siblings)
  3 siblings, 0 replies; 5+ messages in thread
From: laurent at guerby dot net @ 2004-01-10 17:53 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From laurent at guerby dot net  2004-01-10 17:53 -------
system.ads (or any standard library file) should obviously not be modified
unles you know what you're doing. Still present on mainline as of
gcc version 3.4.0 20040105 (experimental).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-01-10 17:53:03
               date|                            |


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


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

* [Bug ada/13471] Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop
  2003-12-23  3:21 [Bug ada/13471] New: Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop bauhaus at futureapps dot de
  2004-01-10 17:53 ` [Bug ada/13471] " laurent at guerby dot net
@ 2004-01-11 11:15 ` bauhaus at futureapps dot de
  2004-01-23  9:53 ` cvs-commit at gcc dot gnu dot org
  2004-01-23  9:56 ` charlet at gcc dot gnu dot org
  3 siblings, 0 replies; 5+ messages in thread
From: bauhaus at futureapps dot de @ 2004-01-11 11:15 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From bauhaus at futureapps dot de  2004-01-11 11:15 -------
> system.ads (or any standard library file) should obviously not be modified
> unles you know what you're doing.

This is not about modifying what I know. It is about "accidentally"
creating a unit named System when there are problem domain reasons that
suggest the name "System" as the proper and obvious choice.

How about a Pragma Library as a safe guard?

I'd prefer if the compiler behaved as it did in 3.15p.

-- 


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


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

* [Bug ada/13471] Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop
  2003-12-23  3:21 [Bug ada/13471] New: Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop bauhaus at futureapps dot de
  2004-01-10 17:53 ` [Bug ada/13471] " laurent at guerby dot net
  2004-01-11 11:15 ` bauhaus at futureapps dot de
@ 2004-01-23  9:53 ` cvs-commit at gcc dot gnu dot org
  2004-01-23  9:56 ` charlet at gcc dot gnu dot org
  3 siblings, 0 replies; 5+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-01-23  9:53 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-23 09:53 -------
Subject: Bug 13471

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	charlet@gcc.gnu.org	2004-01-23 09:53:06

Modified files:
	gcc/ada        : targparm.adb 

Log message:
	PR ada/13471
	* targparm.adb (Get_Target_Parameters): Give clean abort error on
	unexpected end of file, along with more detailed message.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/targparm.adb.diff?cvsroot=gcc&r1=1.6&r2=1.7



-- 


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


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

* [Bug ada/13471] Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop
  2003-12-23  3:21 [Bug ada/13471] New: Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop bauhaus at futureapps dot de
                   ` (2 preceding siblings ...)
  2004-01-23  9:53 ` cvs-commit at gcc dot gnu dot org
@ 2004-01-23  9:56 ` charlet at gcc dot gnu dot org
  3 siblings, 0 replies; 5+ messages in thread
From: charlet at gcc dot gnu dot org @ 2004-01-23  9:56 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From charlet at gcc dot gnu dot org  2004-01-23 09:56 -------
Fixed in 3.5

Arno

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.5.0


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


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

end of thread, other threads:[~2004-01-23  9:56 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-12-23  3:21 [Bug ada/13471] New: Bug Box: Storage_Error stack overflow(?), presence of incorrect system.ads causes loop bauhaus at futureapps dot de
2004-01-10 17:53 ` [Bug ada/13471] " laurent at guerby dot net
2004-01-11 11:15 ` bauhaus at futureapps dot de
2004-01-23  9:53 ` cvs-commit at gcc dot gnu dot org
2004-01-23  9:56 ` charlet at gcc dot gnu dot 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).