[expr.spaceship] Clarify treatment of pointers.

Author: jensmaurer

source/expressions.tex

@@ -5938,8 +5938,8 @@
 and applying \tcode{<=>} to the converted operands.
 
 \pnum
-If at least one of the operands is of pointer type and
-the other operand is of pointer or array type,
+If at least one of the operands is of object pointer type and
+the other operand is of object pointer or array type,
 array-to-pointer conversions\iref{conv.array},
 pointer conversions\iref{conv.ptr},
 and
@@ -5954,17 +5954,23 @@
 
 \pnum
 If the composite pointer type is an object pointer type,
-\tcode{p <=> q} is of type \tcode{std::strong_ordering}.
+\tcode{p <=> q} is of type \tcode{std::strong_ordering} and
+the result is defined in terms of the following rules:
+\begin{itemize}
+\item
 If two pointer operands \tcode{p} and \tcode{q} compare equal\iref{expr.eq},
 \tcode{p <=> q} yields \tcode{std::strong_ordering::equal};
-if \tcode{p} and \tcode{q} compare unequal,
+\item
+otherwise, if \tcode{p} and \tcode{q} compare unequal,
 \tcode{p <=> q} yields
 \tcode{std::strong_ordering::less}
 if \tcode{q} compares greater than \tcode{p}
 and
 \tcode{std::strong_ordering::greater}
-if \tcode{p} compares greater than \tcode{q}\iref{expr.rel}.
-Otherwise, the result is unspecified.
+if \tcode{p} compares greater than \tcode{q}\iref{expr.rel};
+\item
+otherwise, the result is unspecified.
+\end{itemize}
 
 \pnum
 Otherwise, the program is ill-formed.