Re: Overriding discriminants perplexes GNAT 3.14p

[Mark Johnson <mark_h_johnson@raytheon.com>]

"Dmitry A.Kazakov" wrote:
> 
> Hi!
> The following primitive code causes "GNAT bug detected" report:
> [snip example program]
> This results in a bug report (crash)  under Windows.
> 
Hmm. I'm running GNAT on Linux. I ran gnatchop on your source and it
compiles just fine for me. I suggest you submit a bug report to ACT.

> 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?
> 
Quite a bit of validation actually. My experience with a "formal
release" is a several week freeze period where their full test suite is
exercised on a variety of platforms and only critical bugs are fixed. We
brought over a couple million lines of code from VADS and Apex w/ only a
handful of compiler bugs (and far more of our own bugs...).

As a paying customer of ACT, I am pretty satisfied with both the product
and support provided. If I have some novel situation such as you do,
they provide...
 - almost immediate acknowledgment of the problem
 - a work around usually within hours
 - a version of the compiler w/ a permanent fix, usually within a day or
two - sometimes a little longer
The project has stabilized on one of the formal releases though I expect
to step up to a newer version as GPS gets through the beta process (to
get full support).

  --Mark