Proposed resolution (August, 2011):
Change 7.6.1.7 [expr.dynamic.cast] paragraph 6 as follows:
Otherwise, v shall be a pointer to or an lvalue a glvalue of a polymorphic type (11.7.3 [class.virtual]).