[Moved to DR at the October, 2012 meeting.]

Proposed resolution (August, 2011):

Change 6.8.2 [basic.fundamental] paragraph 9 as follows:

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.

The list of acceptable uses of an expression of type void in 6.8.2 [basic.fundamental] paragraph 9 does not, but should, include an operand of the noexcept operator.