Defect Report #103

Submission Date: 03 Dec 93
Submittor: WG14
Source: Ron Guilmette
ANSI/ISO C Defect report #rfg10:
According to subclause 6.5:
If an identifier for an object is declared with no linkage, the type for the object shall be complete by the end of its declarator, or by the end of its init-declarator if it has an initializer.
Note that this rule appears in a Semantics section, so it would seem that comforming implementations are permitted but not strictly required to produce diagnostics for violations of this rule.
Anyway, my interpretation of the above rule is that conforming implementations are permitted (and even encouraged it would seem) to issue diagnostics for code such as the following, in which formal parameters for functions (which, by definition, have no linkage) are declared to have incomplete types:
typedef int AT[];

void example1 (int arg[]); /*
diagnostic permitted/encouraged? */
void example2 (AT arg); /*
diagnostic permitted/encouraged? */

I believe that subclause 6.5 needs to be reworded so as to clarify that code such as that shown above is perfectly valid, and that conforming implementations should not reject such code out of hand.
The types of the parameters are rewritten, as in subclause 6.7.1 via subclause No incomplete object types are involved.
Previous Defect Report < - > Next Defect Report