...
DCL40-EX1: No diagnostic need be issued if a declaration that is incompatible with the definition occurs in a translation unit that does not contain any definition or uses of the function or object other than possibly additional declarations.
This code is not in compliance with MSC12-C. Detect and remove code that has no effect or MSC13-C. Detect and remove unused values, but it does not cause undefined behavior.| Code Block |
|---|
|
/* a.c: */
int x = 0; /* The definition */
/* b.c: */
extern char x; /* Incompatible declaration */
/* But no other references to x */
|
...
...
