------- Comment #1 from laurent at guerby dot net 2006-07-11 11:03 -------
Confirmed on 4.0, 4.1 releases and HEAD.
gcc -c -gnatN test.ads
+===========================GNAT BUG DETECTED==============================+
| 4.0.3 (x86_64-unknown-linux-gnu) Program_Error sinput.adb:404 explicit raise|
| Error detected at a.adb:2:1 [test.ads:5:1] |
+===========================GNAT BUG DETECTED==============================+
| 4.1.1 (x86_64-unknown-linux-gnu) Program_Error sinput.adb:404 explicit raise|
| Error detected at a.adb:2:1 [test.ads:5:1] |
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060627 (experimental) (x86_64-unknown-linux-gnu) Program_Error
sinput.adb:404 explicit raise|
| Error detected at a.adb:2:1 [test.ads:5:1] |
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2006-07-11 11:03:48
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28305
