Bugzilla

[Robert Dewar]

> 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.