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-19 01:55:02 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!195.25.12.36!oleane.net!oleane!nnrp.oleane.net!not-for-mail From: Thierry Lelegard Newsgroups: comp.lang.ada Subject: Re: Overriding discriminants perplexes GNAT 3.14p Date: Thu, 19 Sep 2002 10:51:03 +0200 Organization: CANAL+ TECHNOLOGIES Message-ID: <3D898FF7.557D28BF@canal-plus.fr> References: NNTP-Posting-Host: host227.canal-plus.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: s1.read.news.oleane.net 1032425464 5759 194.2.208.227 (19 Sep 2002 08:51:04 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Thu, 19 Sep 2002 08:51:04 +0000 (UTC) X-Mailer: Mozilla 4.78 [fr]C-CCK-MCD C+ (WinNT; U) X-Accept-Language: fr,en,zh-CN,zh-TW Xref: archiver1.google.com comp.lang.ada:29152 Date: 2002-09-19T10:51:03+02:00 List-Id: > 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