[language.support] Reserve \xref for references to the C standard.

Fixes #1561.

Author: jensmaurer

source/support.tex

@@ -283,6 +283,8 @@
 but not
 \tcode{(void*)0}.}
 
+\xref ISO C 7.19
+
 \rSec2[support.types.layout]{Sizes, alignments, and offsets}
 
 \pnum
@@ -317,7 +319,7 @@
 The type \tcode{size_t} is an
 \impldef{type of \tcode{size_t}}
 unsigned integer type that is large enough
-to contain the size in bytes of any object.
+to contain the size in bytes of any object~(\ref{expr.sizeof}).
 
 \pnum
 \begin{note}
@@ -331,10 +333,9 @@
 \indexlibrary{\idxcode{max_align_t}}%
 \tcode{max_align_t} is a POD type whose alignment requirement
 is at least as great as that of every scalar type, and whose alignment
-requirement is supported in every context.
+requirement is supported in every context~(\ref{basic.align}).
 
-\xref Alignment~(\ref{basic.align}), Sizeof~(\ref{expr.sizeof}), Additive
-operators~(\ref{expr.add}), Free store~(\ref{class.free}), and ISO C~7.19.
+\xref ISO C 7.19
 
 \rSec2[support.types.byteops]{\tcode{byte} type operations}
 
@@ -1594,7 +1595,7 @@
 The header defines all types and macros the same as
 the C standard library header \tcode{<stdint.h>}.
 
-\xref ISO C~7.20.
+\xref ISO C 7.20
 
 \rSec1[support.start.term]{Start and termination}
 
@@ -1799,8 +1800,7 @@
 when the functions registered with \tcode{at_quick_exit} are.
 \end{itemdescr}
 
-\xref~\ref{basic.start}, \ref{basic.start.term},
-ISO C~7.22.4.
+\xref ISO C 7.22.4
 
 \rSec1[support.dynamic]{Dynamic memory management}
 
@@ -1867,15 +1867,11 @@
 void  operator delete[](void* ptr, void*) noexcept;
 \end{codeblock}
 
-\xref~\ref{intro.memory}, \ref{basic.stc.dynamic},
-\ref{expr.new}, \ref{expr.delete}, \ref{class.free},
-\ref{memory}.
-
 \rSec2[new.delete]{Storage allocation and deallocation}
 
 \pnum
 Except where otherwise specified, the provisions of~\ref{basic.stc.dynamic}
-apply to the library versions of \tcode{operator new} and \tcode{op\-er\-a\-tor
+apply to the library versions of \tcode{operator new} and \tcode{operator
 delete}.
 If the value of an alignment argument
 passed to any of these functions
@@ -2018,7 +2014,7 @@
 The
 deallocation functions~(\ref{basic.stc.dynamic.deallocation})
 called by a
-\grammarterm{delete-expression}
+\grammarterm{delete-expression}~(\ref{expr.delete})
 to render the value of \tcode{ptr} invalid.
 
 \pnum
@@ -2823,8 +2819,6 @@
 }
 \end{codeblock}
 
-\xref~\ref{expr.dynamic.cast}, \ref{expr.typeid}.
-
 \rSec2[type.info]{Class \tcode{type_info}}
 
 \indexlibrary{\idxcode{type_info}}%
@@ -2848,7 +2842,7 @@
 \pnum
 The class
 \tcode{type_info}
-describes type information generated by the implementation.
+describes type information generated by the implementation~(\ref{expr.typeid}).
 Objects of this class effectively store a pointer to a name for the type, and
 an encoded value suitable for comparing two types for equality or collating order.
 The names, encoding rule, and collating sequence for types are all unspecified
@@ -3103,8 +3097,6 @@
 }
 \end{codeblock}
 
-\xref~\ref{except.special}.
-
 \rSec2[exception]{Class \tcode{exception}}
 
 \indexlibrary{\idxcode{exception}}%
@@ -3803,7 +3795,7 @@
 type that results when passing an argument for which there is no
 parameter, the behavior is undefined.
 
-\xref ISO C~7.16.1.1.
+\xref ISO C 7.16.1.1
 
 \rSec2[csetjmp.syn]{Header \tcode{<csetjmp>} synopsis}
 
@@ -3837,7 +3829,7 @@
 by \tcode{catch} and \tcode{throw} would invoke any non-trivial destructors for any automatic
 objects.
 
-\xref ISO C~7.13.
+\xref ISO C 7.13
 
 \rSec2[csignal.syn]{Header \tcode{<csignal>} synopsis}
 
@@ -3955,4 +3947,4 @@
 with the first argument equal to the signal number
 corresponding to the signal that caused the invocation of the handler.
 
-\xref ISO C~7.14.
+\xref ISO C 7.14