From: Thierry Lelegard <thierry.lelegard@canal-plus.fr>
Subject: Re: Overriding discriminants perplexes GNAT 3.14p
Date: Thu, 19 Sep 2002 10:51:03 +0200
Date: 2002-09-19T10:51:03+02:00 [thread overview]
Message-ID: <3D898FF7.557D28BF@canal-plus.fr> (raw)
In-Reply-To: ama2bm$404hu$1@ID-77047.news.dfncis.de
> The following primitive code causes "GNAT bug detected" report:
Same problem using GNAT 3.15a on Solaris, OpenVMS, Linux, HP-UX and
Windows. Also seen with GNAT 5.00w on OpenVMS.
This problem definitely deserves a report.
> 1. Unconstrained type X has a discriminant
> 2. Unconstrained XX (derived from X) has two disriminants. It overrides the
> discriminant of X
> 3. Constrained XXX is derived from XX.
We had a lot of GNAT bugs using similar constructs. All of them
were fixed (we are a paying customer of ACT). But you got a new one.
> What wonders me is which sort of validation uses ACT if such bugs go
> through? People rightly criticize MS VC++, but the situation with Ada
> compilers isn't much better. I judge from my experience with GNAT and
> Object Ada. It is a permanent battle of finding work-arounds for countless
> compiler bugs. Is there any good Ada compilers since DEC gone?
Ah! DEC Ada! The best Ada compiler ever... No Ada95 version, sigh :-((
I have used it during 12 years and got less than 10 bugs. We have been
using GNAT for 4 years and we submitted 185 reports, 107 of them being bugs...
On the other hand, ACT support is very efficient. All bugs are fixed and
new version delivered within days.
-Thierry
next prev parent reply other threads:[~2002-09-19 8:51 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-09-19 2:32 Overriding discriminants perplexes GNAT 3.14p Dmitry A.Kazakov
2002-09-18 16:45 ` Stephen Leake
2002-09-19 21:34 ` Dmitry A.Kazakov
2002-09-19 15:51 ` Stephen Leake
2002-09-20 22:06 ` Dmitry A.Kazakov
2002-09-20 12:29 ` Stephen Leake
2002-09-22 8:43 ` Dmitry A.Kazakov
2002-09-22 13:32 ` Georg Bauhaus
2002-09-23 5:41 ` Dmitry A.Kazakov
2002-09-23 12:41 ` Georg Bauhaus
2002-09-24 1:38 ` Dmitry A.Kazakov
2002-09-23 15:33 ` Stephen Leake
2002-09-24 8:35 ` Dmitry A. Kazakov
2002-09-19 18:22 ` Adam Beneschan
2002-09-20 22:06 ` Dmitry A.Kazakov
2002-09-20 16:00 ` Adam Beneschan
2002-09-22 8:43 ` Dmitry A.Kazakov
2002-09-23 21:18 ` Adam Beneschan
2002-09-24 9:40 ` Dmitry A. Kazakov
2002-09-21 13:01 ` Simon Wright
2002-09-18 16:46 ` Mark Johnson
2002-09-19 21:34 ` Dmitry A.Kazakov
2002-09-19 16:17 ` Stephen Leake
2002-09-19 20:02 ` tmoran
2002-09-20 21:10 ` Dmitry A.Kazakov
2002-09-21 12:56 ` Simon Wright
2002-09-18 16:49 ` Frank J. Lhota
2002-09-19 21:34 ` Dmitry A.Kazakov
2002-09-18 17:17 ` Per Sandbergs
2002-09-19 8:51 ` Thierry Lelegard [this message]
-- strict thread matches above, loose matches on Subject: below --
2002-09-19 9:08 Grein, Christoph
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox