This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 110. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
[Moved to DR at the October, 2015 meeting.]
According to 6.8.4 [basic.compound] paragraph 3,
The type of a pointer to void or a pointer to an object type is called an object pointer type. [Note: A pointer to void does not have a pointer-to-object type, however, because void is not an object type. —end note]
This wording excludes cv-qualified void types. There are other references in the Standard to “void type” that are apparently intended to include cv-qualified versions as well.
Proposed resolution (May, 2015):
Change 6.8 [basic.types] paragraph 5 as follows:
...Incompletely-defined object types and
the void typesare incomplete types (6.8.2 [basic.fundamental])...
Change 6.8 [basic.types] paragraph 8 as follows:
An object type is a (possibly cv-qualified) type that is not a function type, not a reference type, and not
a void type.
Change 6.8.2 [basic.fundamental] paragraph 9 as follows:
The void type has an empty set of values. Thevoid typeis an incomplete type that cannot be completed. It is used as the return type for functions that do not return a value. Any expression can be explicitly converted to type cv void (7.6.3 [expr.cast]). An expression of type void shall be used only as an expression statement (8.3 [stmt.expr]), as an operand of a comma expression (7.6.20 [expr.comma]), as a second or third operand of ?: (7.6.16 [expr.cond]), as the operand of typeid, noexcept, or decltype, as the expression in a return statement (8.7.4 [stmt.return]) for a function with the return type void, or as the operand of an explicit conversion to type cv void.
Change bullet 1.3 of 6.8.4 [basic.compound] as follows:
pointers to void or objects or functions (including static members of classes) of a given type, 22.214.171.124 [dcl.ptr];
Change 6.8.4 [basic.compound] paragraph 3 as follows:
The type of a pointer to void or a pointer to an object type is called an object pointer type. [Note:...