From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,7001494ace46eea7 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-09-18 09:50:53 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!hammer.uoregon.edu!skates!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: Overriding discriminants perplexes GNAT 3.14p Date: 18 Sep 2002 12:45:07 -0400 Organization: NASA Goddard Space Flight Center (skates.gsfc.nasa.gov) Message-ID: References: NNTP-Posting-Host: anarres.gsfc.nasa.gov Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: skates.gsfc.nasa.gov 1032368088 20120 128.183.220.71 (18 Sep 2002 16:54:48 GMT) X-Complaints-To: usenet@news.gsfc.nasa.gov NNTP-Posting-Date: 18 Sep 2002 16:54:48 GMT User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.lang.ada:29118 Date: 2002-09-18T16:54:48+00:00 List-Id: Dmitry A.Kazakov writes: > Hi! > > The following primitive code causes "GNAT bug detected" report: > > > > This results in a bug report (crash) under Windows. Also with GNAT 3.15a1 > What wonders me is which sort of validation uses ACT if such bugs go > through? Very thorough. > People rightly criticize MS VC++, but the situation with Ada > compilers isn't much better. Yes it is (in my experience). I've found bugs in _every_ compiler I've ever used. At least with GNAT I have a chance of getting them fixed! And they are in more and more obscure corners of the language as time goes on and more testing is done. MS VC++ bugs are in the core of the language, and they have no problem with not being standard-compliant, and they introduce new bugs with every release. > I judge from my experience with GNAT and Object Ada. GNAT is better than Object Ada > It is a permanent battle of finding work-arounds for countless Hmm. I have a record of all the bugs I've submitted. Total is 24, over 3 years. And that includes some Emacs Ada-mode bugs. Hardly "countless"! > compiler bugs. Is there any good Ada compilers since DEC gone? DEC was good. GNAT is better! And yes, I _did_ find bugs in the DEC Ada compiler. Compilers are _extremely_ complicated systems. It is _not_ possible to ensure they have no bugs. Please report your bug to report@gnat.com, following the instructions in the GNAT BUG box. Or let me know, and I'll do it. -- -- Stephe