[std] Use \termref throughout

Author: jensmaurer

source/algorithms.tex

@@ -10933,7 +10933,7 @@
 \pnum
 \constraints
 The expression \tcode{::new (declval<void*>()) T(declval<Args>()...)}
-is well-formed when treated as an unevaluated operand\iref{term.unevaluated.operand}.
+is well-formed when treated as an \termref{unevaluated operand}.
 
 \pnum
 \effects

source/basic.tex

@@ -437,7 +437,6 @@
 \end{itemize}
 
 \pnum
-\label{term.odr.use}%
 A variable is named by an expression
 if the expression is an \grammarterm{id-expression} that denotes it.
 A variable \tcode{x} whose name appears as a
@@ -2861,7 +2860,7 @@
 \item
 any reference to a non-volatile const object or reference
 with internal or no linkage initialized with a constant expression
-that is not an odr-use\iref{term.odr.use},
+that is not an \termref{odr-use},
 \end{itemize}
 or defines a constexpr variable initialized to a TU-local value (defined below).
 \begin{note}
@@ -6554,7 +6553,7 @@
 \pnum
 \indextext{non-initialization odr-use|see{odr-use, non-initialization}}%
 A \defnx{non-initialization odr-use}{odr-use!non-initialization}
-is an odr-use\iref{term.odr.use} not caused directly or indirectly by
+is an \termref{odr-use} not caused directly or indirectly by
 the initialization of a non-block static or thread storage duration variable.
 
 \pnum
@@ -6571,7 +6570,7 @@
 A non-block variable with static storage duration
 having initialization
 with side effects is initialized in this case,
-even if it is not itself odr-used\iref{term.odr.use,basic.stc.static}.
+even if it is not itself odr-used\iref{term.odr-use,basic.stc.static}.
 \end{footnote}
 It is \impldef{threads and program points at which deferred dynamic initialization is performed}
 in which threads and at which points in the program such deferred dynamic initialization occurs.

source/classes.tex

@@ -1030,7 +1030,7 @@
 The implementation will implicitly declare these member functions for some class
 types when the program does not explicitly declare them.
 The implementation will implicitly define them
-if they are odr-used\iref{term.odr.use} or
+if they are \termrefx{odr-used}{odr-use} or
 needed for constant evaluation\iref{expr.const}.
 \end{note}
 An implicitly-declared special member function is declared at the closing
@@ -1304,7 +1304,7 @@
 that is defaulted and not defined as deleted
 is
 \defnx{implicitly defined}{constructor!implicitly defined}
-when it is odr-used\iref{term.odr.use}
+when it is \termrefx{odr-used}{odr-use}
 to initialize an object of its class type\iref{intro.object},
 when it is needed for constant evaluation\iref{expr.const}, or
 when it is explicitly defaulted after its first declaration.
@@ -1605,12 +1605,12 @@
 that is defaulted and not defined as deleted
 is
 \term{implicitly defined}
-when it is odr-used\iref{term.odr.use},
+when it is \termrefx{odr-used}{odr-use},
 when it is needed for constant evaluation\iref{expr.const}, or
 when it is explicitly defaulted after its first declaration.
 \begin{note}
 The copy/move constructor is implicitly defined even if the implementation elided
-its odr-use\iref{term.odr.use,class.temporary}.
+its odr-use\iref{term.odr-use,class.temporary}.
 \end{note}
 If the implicitly-defined constructor would satisfy the requirements of a
 constexpr constructor\iref{dcl.constexpr}, the implicitly-defined
@@ -1908,7 +1908,7 @@
 that is defaulted and not defined as deleted
 is
 \term{implicitly defined}
-when it is odr-used\iref{term.odr.use}
+when it is \termrefx{odr-used}{odr-use}
 (e.g., when it is selected by overload resolution
 to assign to an object of its class type),
 when it is needed for constant evaluation\iref{expr.const}, or
@@ -2066,7 +2066,7 @@
 The program is ill-formed if overload resolution fails.
 Destructor selection does not constitute
 a reference to,
-or odr-use\iref{term.odr.use} of,
+or \termref{odr-use} of,
 the selected destructor,
 and in particular,
 the selected destructor may be deleted\iref{dcl.fct.def.delete}.
@@ -2141,7 +2141,7 @@
 that is defaulted and not defined as deleted
 is
 \defnx{implicitly defined}{destructor!implicitly defined}
-when it is odr-used\iref{term.odr.use}
+when it is \termrefx{odr-used}{odr-use}
 or when it is explicitly defaulted after its first declaration.
 
 \pnum
@@ -2780,7 +2780,7 @@
 \grammarterm{initializer-clause} that is an \grammarterm{assignment-expression}
 is a constant expression\iref{expr.const}.
 The member shall still be defined in a namespace scope if
-it is odr-used\iref{term.odr.use} in the program and the
+it is \termrefx{odr-used}{odr-use} in the program and the
 namespace scope definition shall not contain an \grammarterm{initializer}.
 The declaration of an inline static data member (which is a definition)
 may specify a \grammarterm{brace-or-equal-initializer}. If the
@@ -2792,7 +2792,7 @@
 \pnum
 \begin{note}
 There is exactly one definition of a static data member
-that is odr-used\iref{term.odr.use} in a valid program.
+that is \termrefx{odr-used}{odr-use} in a valid program.
 \end{note}
 
 \pnum
@@ -3381,7 +3381,7 @@
 called a \defnadj{local}{class}.
 \begin{note}
 A declaration in a local class
-cannot odr-use\iref{term.odr.use}
+cannot \termref{odr-use}
 a local entity
 from an
 enclosing scope.

source/declarations.tex

@@ -1580,8 +1580,8 @@
 \item otherwise, \tcode{decltype($E$)} is the type of $E$.
 \end{itemize}
 
-The operand of the \keyword{decltype} specifier is an unevaluated
-operand\iref{term.unevaluated.operand}.
+The operand of the \keyword{decltype} specifier is
+an \termref{unevaluated operand}.
 
 \begin{example}
 \begin{codeblock}
@@ -4124,7 +4124,7 @@
 
 \pnum
 \begin{note}
-A local variable cannot be odr-used\iref{term.odr.use}
+A local variable cannot be \termrefx{odr-used}{odr-use}
 in a default argument.
 \end{note}
 \begin{example}
@@ -4171,7 +4171,7 @@
 int f(int a, int b = a);            // error: parameter \tcode{a} used as default argument
 typedef int I;
 int g(float I, int b = I(2));       // error: parameter \tcode{I} found
-int h(int a, int b = sizeof(a));    // OK, unevaluated operand\iref{term.unevaluated.operand}
+int h(int a, int b = sizeof(a));    // OK, \termref{unevaluated operand}
 \end{codeblock}
 \end{example}
 A non-static member shall not appear in a default argument unless it appears as
@@ -6182,7 +6182,7 @@
 Implementations are
 permitted to provide additional predefined variables with names that are reserved to the
 implementation\iref{lex.name}. If a predefined variable is not
-odr-used\iref{term.odr.use}, its string value need not be present in the program image.
+\termrefx{odr-used}{odr-use}, its string value need not be present in the program image.
 \end{footnote}
 \begin{example}
 \begin{codeblock}
@@ -6341,7 +6341,7 @@
 function. It applies even for references in expressions that are not
 potentially-evaluated. For an overload set, only the
 function selected by overload resolution is referenced. The implicit
-odr-use\iref{term.odr.use} of a virtual function does not, by itself,
+\termref{odr-use} of a virtual function does not, by itself,
 constitute a reference.
 \end{note}
 

source/exceptions.tex

@@ -941,7 +941,7 @@
 \item in an expression, the function is selected by
 overload resolution\iref{over.match,over.over};
 
-\item the function is odr-used\iref{term.odr.use} or, if it appears in an
+\item the function is \termrefx{odr-used}{odr-use} or, if it appears in an
 unevaluated operand, would be odr-used if the expression were
 potentially-evaluated;
 

source/expressions.tex

@@ -1385,7 +1385,7 @@
 In the declaration of \tcode{p2},
 those constraints are required to be satisfied
 even though
-\tcode{f} is an unevaluated operand\iref{term.unevaluated.operand}.
+\tcode{f} is an \termref{unevaluated operand}.
 \end{example}
 \end{note}
 
@@ -2368,7 +2368,7 @@
 
 \pnum
 An entity is \defn{captured} if it is captured explicitly or implicitly. An entity
-captured by a \grammarterm{lambda-expression} is odr-used\iref{term.odr.use} by
+captured by a \grammarterm{lambda-expression} is \termrefx{odr-used}{odr-use} by
 the \grammarterm{lambda-expression}.
 \begin{note}
 As a consequence, if a \grammarterm{lambda-expression}
@@ -2473,7 +2473,7 @@
 
 \pnum
 Every \grammarterm{id-expression} within the \grammarterm{compound-statement} of a
-\grammarterm{lambda-expression} that is an odr-use\iref{term.odr.use} of an
+\grammarterm{lambda-expression} that is an \termref{odr-use} of an
 entity captured by copy is transformed into an access to the corresponding unnamed data
 member of the closure type.
 \begin{note}
@@ -2725,7 +2725,7 @@
 A \grammarterm{requires-expression} is a prvalue of type \tcode{bool}
 whose value is described below.
 Expressions appearing within a \grammarterm{requirement-body}
-are unevaluated operands\iref{term.unevaluated.operand}.
+are \termrefx{unevaluated operands}{unevaluated.operand}.
 
 \pnum
 \begin{example}
@@ -2812,7 +2812,7 @@
 \begin{note}
 The enclosing \grammarterm{requires-expression} will evaluate to \keyword{false}
 if substitution of template arguments into the \grammarterm{expression} fails.
-The \grammarterm{expression} is an unevaluated operand\iref{term.unevaluated.operand}.
+The \grammarterm{expression} is an \termref{unevaluated operand}.
 \end{note}
 \begin{example}
 \begin{codeblock}
@@ -2987,7 +2987,7 @@
 \end{example}
 
 \pnum
-A local parameter shall only appear as an unevaluated operand\iref{term.unevaluated.operand}
+A local parameter shall only appear as an \termref{unevaluated operand}
 within the \grammarterm{constraint-expression}.
 \begin{example}
 \begin{codeblock}
@@ -3805,7 +3805,7 @@
 If the expression is a prvalue,
 the temporary materialization conversion\iref{conv.rval}
 is applied.
-The expression is an unevaluated operand\iref{term.unevaluated.operand}.
+The expression is an \termref{unevaluated operand}.
 
 \pnum
 When \keyword{typeid} is applied to a \grammarterm{type-id}, the result
@@ -4800,7 +4800,7 @@
 The \keyword{sizeof} operator yields the number of bytes
 occupied by a non-potentially-overlapping object of the type
 of its operand. The operand is either an expression,
-which is an unevaluated operand\iref{term.unevaluated.operand}, or a parenthesized
+which is an \termref{unevaluated operand}, or a parenthesized
 \grammarterm{type-id}.
 \indextext{type!incomplete}%
 The \keyword{sizeof} operator shall not be applied to an expression that
@@ -4915,7 +4915,7 @@
 \indextext{\idxcode{noexcept}}%
 \indextext{expression!\idxcode{noexcept}}%
 The \keyword{noexcept} operator determines whether the evaluation of its operand,
-which is an unevaluated operand\iref{term.unevaluated.operand}, can throw an
+which is an \termref{unevaluated operand}, can throw an
 exception\iref{except.throw}.
 
 \begin{bnf}
@@ -7039,7 +7039,7 @@
 A simple assignment whose left operand is of
 a volatile-qualified type is deprecated\iref{depr.volatile.type}
 unless the (possibly parenthesized) assignment is a discarded-value expression or
-an unevaluated operand\iref{term.unevaluated.operand}.
+an \termref{unevaluated operand}.
 
 \pnum
 The behavior of an expression of the form \tcode{E1 \placeholder{op}= E2}
@@ -7295,7 +7295,7 @@
 a reference to \keyword{this} or to a variable with
 automatic storage duration defined outside that
 \grammarterm{lambda-expression}, where
-the reference would be an odr-use\iref{term.odr.use,expr.prim.lambda};
+the reference would be an odr-use\iref{term.odr-use,expr.prim.lambda};
 \begin{example}
 \begin{codeblock}
 void g() {
@@ -7666,7 +7666,7 @@
 \end{itemize}
 \begin{note}
 A manifestly constant-evaluated expression
-is evaluated even in an unevaluated operand\iref{term.unevaluated.operand}.
+is evaluated even in an \termref{unevaluated operand}.
 \end{note}
 
 \pnum
@@ -7696,7 +7696,7 @@
 
 \item
 a subexpression of one of the above
-that is not a subexpression of a nested unevaluated operand\iref{term.unevaluated.operand}.
+that is not a subexpression of a nested \termref{unevaluated operand}.
 \end{itemize}
 
 \indextext{function!needed for constant evaluation}%

source/future.tex

@@ -1505,7 +1505,7 @@
 \pnum
 Let \tcode{TS} denote \tcode{tuple_size<T>} of the cv-unqualified type \tcode{T}.
 If the expression \tcode{TS::value} is well-formed
-when treated as an unevaluated operand\iref{term.unevaluated.operand},
+when treated as an \termref{unevaluated operand},
 then specializations of each of the two templates meet
 the \oldconcept{TransformationTrait} requirements with a base characteristic of
 \tcode{integral_constant<size_t, TS::value>}.

source/iostreams.tex

@@ -5669,7 +5669,7 @@
 \pnum
 \constraints
 The expression \tcode{is >> std::forward<T>(x)} is well-formed
-when treated as an unevaluated operand\iref{term.unevaluated.operand} and
+when treated as an \termref{unevaluated operand} and
 \tcode{Istream} is publicly and unambiguously derived from \tcode{ios_base}.
 
 \pnum

source/ranges.tex

@@ -528,7 +528,7 @@
   \tcode{ranges::begin(E)} is ill-formed.
 
 \item
-  Otherwise, if \tcode{T} is an array type\iref{term.array.type} and
+  Otherwise, if \tcode{T} is an \termref{array type} and
   \tcode{remove_all_extents_t<T>} is an incomplete type,
   \tcode{ranges::begin(E)} is ill-formed with no diagnostic required.
 
@@ -594,7 +594,7 @@
   \tcode{ranges::end(E)} is ill-formed.
 
 \item
-  Otherwise, if \tcode{T} is an array type\iref{term.array.type} and
+  Otherwise, if \tcode{T} is an \termref{array type} and
   \tcode{remove_all_extents_t<T>} is an incomplete type,
   \tcode{ranges::end(E)} is ill-formed with no diagnostic required.
 
@@ -707,7 +707,7 @@
   \tcode{ranges::rbegin(E)} is ill-formed.
 
 \item
-  Otherwise, if \tcode{T} is an array type\iref{term.array.type} and
+  Otherwise, if \tcode{T} is an \termref{array type} and
   \tcode{remove_all_extents_t<T>} is an incomplete type,
   \tcode{ranges::rbegin(E)} is ill-formed with no diagnostic required.
 
@@ -776,7 +776,7 @@
   \tcode{ranges::rend(E)} is ill-formed.
 
 \item
-  Otherwise, if \tcode{T} is an array type\iref{term.array.type} and
+  Otherwise, if \tcode{T} is an \termref{array type} and
   \tcode{remove_all_extents_t<T>} is an incomplete type,
   \tcode{ranges::rend(E)} is ill-formed with no diagnostic required.
 
@@ -1031,7 +1031,7 @@
   \tcode{ranges::data(E)} is ill-formed.
 
 \item
-  Otherwise, if \tcode{T} is an array type\iref{term.array.type} and
+  Otherwise, if \tcode{T} is an \termref{array type} and
   \tcode{remove_all_extents_t<T>} is an incomplete type,
   \tcode{ranges::data(E)} is ill-formed with no diagnostic required.
 

source/statements.tex

@@ -268,7 +268,7 @@
 \end{codeblock}
 \end{example}
 \begin{note}
-Odr-uses\iref{term.odr.use} in a discarded statement do not require
+\termrefx{Odr-uses}{odr-use} in a discarded statement do not require
 an entity to be defined.
 \end{note}
 A \keyword{case} or \keyword{default} label appearing within such an