[ifndr] Fix cross-references

Author: jensmaurer

source/ifndr.tex

@@ -317,8 +317,8 @@
 \pnum
 \ifndrxref{temp.pre.reach.def} \\
 A definition of a function template, member function of a class template, variable template, or static data
-member of a class template shall be reachable from the end of every definition domain (6.3) in which it is
-implicitly instantiated (13.9.2) unless the corresponding specialization is explicitly instantiated (13.9.3) in
+member of a class template shall be reachable from the end of every definition domain\iref{basic.def.odr} in which it is
+implicitly instantiated\iref{temp.inst} unless the corresponding specialization is explicitly instantiated\iref{temp.explicit} in
 some translation unit; no diagnostic is required.
 
 \pnum
@@ -342,7 +342,7 @@
 
 \pnum
 \ifndrxref{temp.arg.template.sat.constraints} \\
-Any partial specializations (13.7.6) associated with the primary template are considered when a specialization
+Any partial specializations\iref{temp.spec.partial} associated with the primary template are considered when a specialization
 based on the template template-parameter is instantiated. If a specialization is not reachable from the point of
 instantiation, and it would have been selected had it been reachable, the program is ill-formed, no diagnostic
 required.
@@ -460,8 +460,8 @@
 \pnum
 \ifndrxref{temp.names.sat.constraints} \\
 When the template-name of a simple-template-id names a constrained non-function template or a constrained
-template template-parameter, and all template-arguments in the simple-template-id are non-dependent (13.8.3.5),
-the associated constraints (13.5.3) of the constrained template shall be satisfied (13.5.2).
+template template-parameter, and all template-arguments in the simple-template-id are non-dependent\iref{temp.dep.temp},
+the associated constraints\iref{temp.constr.decl} of the constrained template shall be satisfied\iref{temp.constr.constr}.
 
 \pnum
 \begin{example}
@@ -506,7 +506,7 @@
 \ifndrxref{temp.res.general.default.but.not.found} \\
 If the validity or meaning of the program would be changed by considering a default argument or default
 template argument introduced in a declaration that is reachable from the point of instantiation of a
-specialization (13.8.4.1) but is not found by lookup for the specialization, the program is ill-formed, no
+specialization\iref{temp.point} but is not found by lookup for the specialization, the program is ill-formed, no
 diagnostic required.
 
 \pnum
@@ -557,7 +557,7 @@
 \ifndrxref{temp.explicit.decl.implicit.inst} \\
 An entity that is the subject of
 an explicit instantiation declaration and that is also used in a way that would otherwise cause an implicit
-instantiation (13.9.2) in the translation unit shall be the subject of an explicit instantiation definition
+instantiation\iref{temp.inst} in the translation unit shall be the subject of an explicit instantiation definition
 somewhere in the program; otherwise the program is ill-formed, no diagnostic required.
 
 \pnum

source/ub.tex

@@ -1262,7 +1262,7 @@
 };
 
 void g() {
-  Y y = {{1, 2}};       // OK, \tcode{y.x} is active union member\iref{11.4}
+  Y y = {{1, 2}};       // OK, \tcode{y.x} is active union member\iref{class.mem}
   int n = y.x.a;
   y.k = 4;              // OK, ends lifetime of \tcode{y.x}, \tcode{y.k} is active member of union
   y.x.b = n;            // undefined behavior: \tcode{y.x.b} modified outside its lifetime,
@@ -1709,7 +1709,7 @@
 
 \pnum
 \ubxref{cpp.line.pptoken.not.match} \\
-When using the \grammarterm{pp-token} variant of the \tcode{\#line} directive, if the directive resulting after all replacements does not match
+When using the \grammarterm{pp-tokens} variant of the \tcode{\#line} directive, if the directive resulting after all replacements does not match
 one of the two previous forms, the behavior is undefined.
 
 \pnum