Proposed resolution (August, 2011):
Change 9.3.4.6 [dcl.fct] paragraph 4 as follows:
...If the parameter-declaration-clause is empty, the function takes no arguments.The parameter list (void)A parameter list consisting of a single unnamed parameter of non-dependent type void is equivalent tothean empty parameter list. Except for this special case, a parameter shall not have type cv voidshall not be a parameter type (though types derived from void, such as void*, can). If the parameter-declaration-clause terminates...
This resolution also resolves issue 332.