This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/13460] Bug Box: Assertion_Failure when compiling a spec with "with type" (-gnatX)
- From: "bauhaus at futureapps dot de" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 22 Dec 2003 17:43:33 -0000
- Subject: [Bug ada/13460] Bug Box: Assertion_Failure when compiling a spec with "with type" (-gnatX)
- References: <20031222010002.13460.bauhaus@futureapps.de>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From bauhaus at futureapps dot de 2003-12-22 17:43 -------
(In reply to comment #4)
> Do you know if this is a regression?
IIRC, "with type" was introduced in 3.13p/JGNAT 1.[01].
The public JGNAT, or its derivative A# (for .NET) are still near
that version. I've found a short description in sinfo.ads.
strudel:~/tmp/bug> jgnat -gnatc -gnatX r-a.ads
+===========================GNAT BUG DETECTED==============================+
| 1.1p (20000717) (Java VM) Assert_Failure elists.adb:213 |
| Error detected at r-a.ads:11:9 |
| Please submit bug report by email to report@gnat.com. |
etc.
The file list will produce garbage here, too.
(When I used jgnat with -c, I'v had to reset the terminal window :)
I think chances are that there is no test for "with type"
in ACATS, as "with type" is a GNAT extension, not Ada, currently.
In addition "with type" might be replaced with something else
in Ada 200Y, afaict.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13460