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

Also remove full stops and non-breaking spaces in \xref lines.

Fixes #1561.

Author: jensmaurer

source/diagnostics.tex

@@ -561,7 +561,7 @@
 except that a macro named \tcode{static_assert}
 is not defined.
 
-\xref ISO C~7.2.
+\xref ISO C 7.2
 
 \rSec2[assertions.assert]{The \tcode{assert} macro}
 
@@ -758,7 +758,7 @@
 \pnum
 The meaning of the macros in this header is defined by the POSIX standard.
 
-\xref ISO C~7.5.
+\xref ISO C 7.5
 
 \rSec1[syserr]{System error support}
 

source/future.tex

@@ -87,7 +87,7 @@
 The header \tcode{<cstdalign>} and the header \tcode{<stdalign.h>} shall not
 define a macro named \tcode{alignas}.
 
-\xref ISO C~7.15.
+\xref ISO C 7.15
 
 \rSec2[depr.cstdbool.syn]{Header \tcode{<cstdbool>} synopsis}
 
@@ -104,7 +104,7 @@
 The header \tcode{<cstdbool>} and the header \tcode{<stdbool.h>} shall not
 define macros named \tcode{bool}, \tcode{true}, or \tcode{false}.
 
-\xref ISO C~7.18.
+\xref ISO C 7.18
 
 \rSec2[depr.ctgmath.syn]{Header \tcode{<ctgmath>} synopsis}
 

source/iostreams.tex

@@ -433,7 +433,7 @@
 \pnum
 Concurrent access to a synchronized~(\ref{ios.members.static}) standard iostream object's formatted and unformatted input~(\ref{istream}) and output~(\ref{ostream}) functions or a standard C stream by multiple threads shall not result in a data race~(\ref{intro.multithread}). \begin{note} Users must still synchronize concurrent use of these objects and streams by multiple threads if they wish to avoid interleaved characters. \end{note}
 
-\xref~ISO C 7.21.2.
+\xref ISO C 7.21.2
 
 \rSec2[narrow.stream.objects]{Narrow stream objects}
 
@@ -15393,7 +15393,7 @@
 introduce a data race~(\ref{res.on.data.races}) with other calls to \tcode{tmpnam} with
 an argument that is a null pointer value.
 
-\xref ISO C~7.21.
+\xref ISO C 7.21
 
 \rSec2[cinttypes.syn]{Header \tcode{<cinttypes>} synopsis}
 
@@ -15561,4 +15561,4 @@
 \tcode{imaxdiv_t imaxdiv(intmax_t, intmax_t)}, respectively.
 \end{itemize}
 
-\xref ISO C~7.8.
+\xref ISO C 7.8

source/locales.tex

@@ -5294,7 +5294,7 @@
 race~(\ref{res.on.data.races}) with other calls to \tcode{setlocale} or with calls to
 the functions listed in Table~\ref{tab:setlocale.data.races}.
 
-\xref ISO C 7.11.
+\xref ISO C 7.11
 
 \begin{floattable}
 {Potential \tcode{setlocale} data races}

source/strings.tex

@@ -5887,7 +5887,7 @@
 but they have the same behavior as in the C standard library~(\ref{library.c}).
 \end{note}
 
-\xref ISO C~7.24.
+\xref ISO C 7.24
 
 \rSec2[cwchar.syn]{Header \tcode{<cwchar>} synopsis}
 

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

source/utilities.tex

@@ -700,7 +700,7 @@
 \throws Nothing.
 \end{itemdescr}
 
-\xref ISO C~7.21.6.1.
+\xref ISO C 7.21.6.1
 
 \rSec2[utility.from.chars]{Primitive numeric input conversion}
 
@@ -815,7 +815,7 @@
 \throws Nothing.
 \end{itemdescr}
 
-\xref ISO C~7.22.1.3, ISO C~7.22.1.4.
+\xref ISO C 7.22.1.3, 7.22.1.4
 
 \rSec1[intseq]{Compile-time integer sequences}
 
@@ -8319,7 +8319,7 @@
 \tcode{::operator delete()}\indexlibrary{\idxcode{delete}!\idxcode{operator}}.
 \end{itemdescr}
 
-\xref ISO C~7.22.3.
+\xref ISO C 7.22.3
 
 \rSec1[smartptr]{Smart pointers}
 
@@ -19020,7 +19020,7 @@
 \tcode{localtime} are not required to avoid data
 races~(\ref{res.on.data.races}).
 
-\xref ISO C~7.27.
+\xref ISO C 7.27
 
 \rSec1[type.index]{Class \tcode{type_index}}