CWG3008 Missing Annex C entry for void object declarations

Author: eisenwave

source/compatibility.tex

@@ -3192,6 +3192,24 @@
 
 \rSec2[diff.dcl]{\ref{dcl}: declarations}
 
+\diffref{dcl.pre}
+\change
+In \Cpp{}, no declaration of a variable can have \cv{} \tcode{void} type.
+In C, this is allowed, unless the declaration is a definition.
+\begin{example}
+\begin{codeblock}
+extern void x;  // valid C, invalid in \Cpp{}
+\end{codeblock}
+\end{example}
+\rationale
+Stricter type checking in \Cpp{}.
+\effect
+Deletion of semantically well-defined feature.
+\difficulty
+Syntactic transformation.
+\howwide
+Seldom.
+
 \diffref{dcl.stc}
 \change
 In \Cpp{}, the \keyword{static} or \keyword{extern} specifiers can only be applied to names of objects or functions.\\