From: Richard Guenther <rguenth@tat.physik.uni-tuebingen.de>
To: Zack Weinberg <zack@codesourcery.com>
Cc: Laurent GUERBY <laurent@guerby.net>,
Florian Weimer <fw@deneb.enyo.de>,
gcc@gcc.gnu.org
Subject: Re: Ada policy
Date: Mon, 30 Aug 2004 20:55:00 -0000 [thread overview]
Message-ID: <4133920A.80204@tat.physik.uni-tuebingen.de> (raw)
In-Reply-To: <87657074by.fsf@codesourcery.com>
Zack Weinberg wrote:
> Laurent GUERBY <laurent@guerby.net> writes:
>
>
>>On Mon, 2004-08-30 at 21:28, Florian Weimer wrote:
>>
>>>I understand that Ada is already in much better shape than we
>>>expected it to be before the tree-ssa merge (and that's certainly
>>>good news!), but I really doubt we should make a release criterion
>>>the quality of a component that has received very little testing by
>>>the general GCC community.
>>
>>I'm just talking about bootstrap, passing ACATS and no known
>>regression on two targets, not "quality" in general (whatever that
>>means).
>>
>>The scenario I want to avoid is that we first reach 100% ACATS pass on
>>the two targets (looks likely), then later a patch goes in that
>>introduces 20 ACATS regressions on those two targets and the patch is
>>not fixed or reverted following the usual rules for other components.
>
>
> The last time this came up, I posted a list of requirements which I
> consider non-negotiable prerequisites for the community at large being
> required to test Ada when they are not specifically working on it.
> This list received no commentary whatsoever, and no progress has been
> made toward meeting any of the requirements except the separate libada
> (which seems to have stalled).
>
> http://gcc.gnu.org/ml/gcc/2004-02/msg00859.html
Maybe testing rules could be relaxed if we had a GENERIC/GIMPLE
front-end to fed it testcases which cannot be constructed using C code.
That way testing of frontends different from C could be omitted, if
not modifying them.
Richard.
next prev parent reply other threads:[~2004-08-30 20:46 UTC|newest]
Thread overview: 109+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-08-30 10:44 GCC 3.5 Status (2004-08-29) Richard Kenner
2004-08-30 11:27 ` Laurent GUERBY
2004-08-30 13:05 ` Jakub Jelinek
2004-08-30 18:28 ` Laurent GUERBY
2004-08-30 20:04 ` Jakub Jelinek
2004-08-30 20:25 ` Laurent GUERBY
2004-08-31 5:27 ` Eric Botcazou
2004-08-31 9:42 ` Arnaud Charlet
2004-08-30 20:14 ` Florian Weimer
2004-08-30 20:34 ` Ada policy (was: GCC 3.5 Status (2004-08-29)) Laurent GUERBY
2004-08-30 20:53 ` Ada policy Zack Weinberg
2004-08-30 20:55 ` Richard Guenther [this message]
2004-08-30 21:04 ` Richard Henderson
2004-08-30 21:24 ` Diego Novillo
2004-08-30 22:25 ` Robert Dewar
2004-08-31 1:13 ` Zack Weinberg
2004-08-31 2:37 ` Robert Dewar
2004-08-31 2:54 ` Zack Weinberg
2004-08-31 3:00 ` Robert Dewar
2004-08-31 3:28 ` Zack Weinberg
2004-08-31 3:41 ` Robert Dewar
2004-08-31 4:22 ` Zack Weinberg
2004-08-31 12:55 ` Robert Dewar
2004-08-31 15:02 ` Gabriel Dos Reis
2004-08-31 15:36 ` Robert Dewar
2004-08-31 13:06 ` Robert Dewar
2004-08-31 15:10 ` Gabriel Dos Reis
2004-08-31 18:10 ` Laurent GUERBY
2004-08-31 18:30 ` Zack Weinberg
2004-08-31 18:55 ` Robert Dewar
2004-09-01 17:12 ` Kai Henningsen
2004-09-01 17:32 ` Robert Dewar
2004-08-31 18:59 ` Robert Dewar
2004-08-31 20:05 ` Scott Robert Ladd
2004-08-31 20:26 ` Robert Dewar
2004-08-31 20:53 ` Scott Robert Ladd
2004-08-31 20:56 ` Joseph S. Myers
2004-08-31 21:11 ` Florian Weimer
2004-08-31 21:50 ` Robert Dewar
2004-08-31 19:02 ` Robert Dewar
2004-08-31 19:28 ` Laurent GUERBY
2004-08-31 19:36 ` Robert Dewar
2004-08-31 18:42 ` Robert Dewar
2004-08-31 13:10 ` Florian Weimer
2004-08-31 13:47 ` Robert Dewar
2004-08-30 21:05 ` Joseph S. Myers
2004-08-31 22:02 ` Geoffrey Keating
2004-08-31 22:11 ` Florian Weimer
2004-08-31 22:14 ` Robert Dewar
2004-08-31 0:13 ` Florian Weimer
2004-08-30 21:41 Richard Kenner
2004-08-30 21:53 ` Joseph S. Myers
2004-08-30 22:28 ` Florian Weimer
2004-08-30 22:30 ` Joseph S. Myers
2004-08-30 23:01 ` Florian Weimer
2004-08-31 18:45 ` Laurent GUERBY
2004-08-30 22:43 ` Robert Dewar
2004-08-30 23:01 ` Florian Weimer
2004-08-31 0:11 ` Robert Dewar
2004-08-31 0:14 ` Florian Weimer
2004-08-30 22:34 ` Robert Dewar
2004-08-30 22:31 ` Robert Dewar
2004-08-30 22:48 ` Joseph S. Myers
2004-08-30 22:52 ` Mike Stump
2004-08-30 23:00 ` Robert Dewar
2004-08-30 22:55 ` Robert Dewar
2004-08-30 22:52 ` Mike Stump
2004-08-30 22:56 ` Robert Dewar
2004-08-30 22:01 Richard Kenner
2004-08-30 22:02 ` Laurent GUERBY
2004-08-30 22:18 Richard Kenner
2004-08-30 22:38 ` Robert Dewar
2004-08-30 23:06 Richard Kenner
2004-08-31 2:59 ` Mike Stump
2004-08-31 3:10 ` Robert Dewar
2004-08-31 8:16 ` Per Bothner
2004-08-31 13:22 ` Robert Dewar
2004-08-31 1:25 Richard Kenner
2004-08-31 1:57 ` Zack Weinberg
2004-08-31 3:22 Richard Kenner
2004-08-31 3:29 ` Zack Weinberg
2004-08-31 4:05 ` Robert Dewar
2004-08-31 4:05 ` Robert Dewar
2004-08-31 4:38 ` Zack Weinberg
2004-08-31 5:01 ` Matt Austern
2004-08-31 13:08 ` Robert Dewar
2004-08-31 3:31 Richard Kenner
2004-08-31 4:07 ` Zack Weinberg
2004-08-31 22:06 ` Kai Henningsen
2004-08-31 22:19 ` Robert Dewar
2004-08-31 23:15 ` Florian Weimer
2004-09-01 1:23 ` Robert Dewar
2004-09-01 12:36 ` Florian Weimer
2004-09-01 12:51 ` Robert Dewar
2004-09-02 13:42 ` Florian Weimer
2004-09-03 7:54 ` Robert Dewar
2004-09-09 21:00 ` Florian Weimer
2004-09-09 21:15 ` Robert Dewar
2004-08-31 3:34 Richard Kenner
2004-08-31 12:53 Richard Kenner
2004-09-01 18:19 Robert Dewar
2004-09-01 18:51 ` Joe Buck
2004-09-01 20:21 ` Robert Dewar
2004-09-01 20:44 ` Joe Buck
2004-09-01 20:52 ` Robert Dewar
2004-09-01 20:53 ` Robert Dewar
2004-09-01 20:48 Richard Kenner
2004-09-11 10:43 Ada Policy Nathanael Nerode
2004-09-11 14:29 Richard Kenner
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4133920A.80204@tat.physik.uni-tuebingen.de \
--to=rguenth@tat.physik.uni-tuebingen.de \
--cc=fw@deneb.enyo.de \
--cc=gcc@gcc.gnu.org \
--cc=laurent@guerby.net \
--cc=zack@codesourcery.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).