Re: GNAT bug - still in 2010?

["Timo Warns" <Timo.Warns@Informatik.Uni-Oldenburg.DE>]

It also crashes on Linux:

% gnatmake -gnatf -gnatv -gnat05 -gnatwa test.adb
gcc -c -gnatf -gnatv -gnat05 -gnatwa test.adb

GNAT GPL 2010 (20100603)
Copyright 1992-2010, Free Software Foundation, Inc.
+===========================GNAT BUG DETECTED==============================+
| GPL 2010 (20100603) (x86_64-pc-linux-gnu) Storage_Error stack overflow (or erroneous memory access)|
| Error detected at test.adb:32:4                                          |
| Please submit a bug report by email to report@adacore.com.               |
| GAP members can alternatively use GNAT Tracker:                          |
| http://www.adacore.com/ section 'send a report'.                         |
| See gnatinfo.txt for full info on procedure for submitting bugs.         |
| 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 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.                                      |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

test.adb


Compiling: test.adb (source file time stamp: 2010-10-28 07:14:41)
 35 lines: No errors
compilation abandoned
gnatmake: "test.adb" compilation error