From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2719 invoked by alias); 6 Dec 2001 23:40:23 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 2694 invoked from network); 6 Dec 2001 23:40:17 -0000 Received: from unknown (HELO nile.gnat.com) (205.232.38.5) by sources.redhat.com with SMTP; 6 Dec 2001 23:40:17 -0000 Received: from darwin (DARWIN.GNAT.COM [205.232.38.44]) by nile.gnat.com (Postfix) with ESMTP id 5E798F286A; Thu, 6 Dec 2001 18:39:33 -0500 (EST) Date: Thu, 06 Dec 2001 15:41:00 -0000 Subject: Re: ACATS legal status cleared by FSF Content-Type: text/plain; charset=US-ASCII; format=flowed Mime-Version: 1.0 (Apple Message framework v475) Cc: guerby@acm.org, gcc@gcc.gnu.org To: Zack Weinberg From: Geert Bosch In-Reply-To: <20011206230811.GK8267@codesourcery.com> Message-Id: Content-Transfer-Encoding: 7bit X-Mailer: Apple Mail (2.475) X-SW-Source: 2001-12/txt/msg00328.txt.bz2 On Thursday, December 6, 2001, at 06:08 , Zack Weinberg wrote: > I'm 100% confident that there is value to having "make check" drive at > least some set of Ada tests. Ever since I've been a member of the > project I've been seeing patches to the back end go by with a note > "this code is only used by Ada" or "test case is in Ada" (with the > implication that writing a C testcase is impossible or at least too > much work). How much back end logic is that, that the current test > suite doesn't even touch? Yes, I'm confident it does too. That is why I am in favor of adding these tests and running them. Of all the Ada cases you're talking about, there has not even been one that was related to a B test. They are completely useless for testing the backend and almost useless for the front end. I think it is important to realize, that it is easy enough to go and add B tests later on, if you find they would have caught problems that went by unnoticed. The tests are available and can be added at any time. Paying a high upfront price to prevent this scenario that the Ada maintainers find unlikely to be a problem, seems not a good idea to me. The only thing it will do is hinder development. -Geert