This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Bugzilla
- From: dewar at gnat dot com (Robert Dewar)
- To: gdr at integrable-solutions dot net, neroden at twcny dot rr dot com
- Cc: dberlin at dberlin dot org, gcc at gcc dot gnu dot org
- Date: Tue, 25 Feb 2003 07:10:26 -0500 (EST)
- Subject: Re: Bugzilla
> Note that main compilers use "valid/invalid" in their diagnostics.
> The suggestions thus mirrors practice.
These terms are always tricky. In Ada legal/illegal are technical terms which
mean precisely that syntactic and static semantic rules are/are not followed.
Valid (at least for programs) is not a techical term, and presumably would be
interpreted to include the rejection of erroneous programs (undefined behavior
in C) or programs with bounded errors (no analog in C).
I am not objecting to the terms, just suggesting that somewhere they be precisely
defined, and there may be language by language variations.