CWG2365 Confusing specification for dynamic_cast

Author: Dawn Perchik

source/expressions.tex

@@ -3366,15 +3366,13 @@
 the result is
 \tcode{v} (converted if necessary).
 
-\pnum
-If the value of \tcode{v} is a null pointer value in the pointer case,
-the result is the null pointer value of type \tcode{T}.
-
 \pnum
 If \tcode{T} is ``pointer to \cvqual{cv1} \tcode{B}'' and \tcode{v} has
 type ``pointer to \cvqual{cv2} \tcode{D}'' such that \tcode{B} is a base
 class of \tcode{D}, the result is a pointer to the unique \tcode{B}
-subobject of the \tcode{D} object pointed to by \tcode{v}. Similarly, if
+subobject of the \tcode{D} object pointed to by \tcode{v}, or
+a null pointer value if \tcode{v} is a null pointer value.
+Similarly, if
 \tcode{T} is ``reference to \cvqual{cv1} \tcode{B}'' and \tcode{v} has
 type \cvqual{cv2} \tcode{D} such that \tcode{B} is a base class of
 \tcode{D}, the result is the unique \tcode{B} subobject of the \tcode{D}
@@ -3400,6 +3398,9 @@
 Otherwise, \tcode{v} shall be a pointer to or a glvalue of a polymorphic
 type\iref{class.virtual}.
 
+\pnum
+If \tcode{v} is a null pointer value, the result is a null pointer value.
+
 \pnum
 If \tcode{T} is ``pointer to \cv{} \tcode{void}'', then the result
 is a pointer to the most derived object pointed to by \tcode{v}.