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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bdd927ef8bb6088d
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Announcing GNAT version 3.12p for Linux and Sparc Solaris
Date: 1999/10/31
Message-ID: <7vhilv$91k$1@nnrp1.deja.com>#1/1
X-Deja-AN: 542688002
References: <231019991644109306%hopperj@macconnect.com>
 <3812878f_4@news1.prserv.net> <241019991113025768%hopperj@macconnect.com>
 <MAHS3.31$rV4.3386@typhoon.nyu.edu>
X-Http-Proxy: 1.0 x40.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Sun Oct 31 14:11:12 1999 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-10-31T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <MAHS3.31$rV4.3386@typhoon.nyu.edu>,
  kenner@lab.ultra.nyu.edu (Richard Kenner) wrote:
> (2) Debug the resulting compiler by runing ACVC and various
> other tes suites.  This will undoubtably uncover not just bugs
> in the two steps above but also bugs in other GCC changes
> (including the new optimizers) that only affect Ada code.

Or, probably more likely, only show up (so far) in Ada code.
We apply a rather strenuous set of tests to any new version of
GNAT, including the ACVC tests, and of course in the process,
any new version of GCC is rather thoroughly tested. Quite often
this testing has shown up bugs which can indeed appear in GNU C
or G++ programs, but have not shown up so far. That's not so
suprising, the main core of the GCC code generator is pretty
reliable at this stage, so code generation bugs do not show
up often in any case, and when they do, it is often in fairly
obscure cases. What can happen is that GNAT tends to use a
specific feature of GCC more aggressively than GNU C, e.g.
nested procedures, which are allowed in GNU C, but FAR more
frequently used in GNAT!

Robert Dewar
Ada Core Technologies


Sent via Deja.com http://www.deja.com/
Before you buy.