[std] Use \keyword for 'thread_local', 'static_assert', 'decltype'.

Author: jensmaurer

source/classes.tex

@@ -659,7 +659,7 @@
 
 \pnum
 A member shall not be declared with the \keyword{extern}
-\grammarterm{storage-class-specifier}. Within a class definition, a member shall not be declared with the \tcode{thread_local} \grammarterm{storage-class-specifier} unless also declared \keyword{static}.
+\grammarterm{storage-class-specifier}. Within a class definition, a member shall not be declared with the \keyword{thread_local} \grammarterm{storage-class-specifier} unless also declared \keyword{static}.
 
 \pnum
 The \grammarterm{decl-specifier-seq} may be omitted in constructor, destructor,
@@ -2682,9 +2682,9 @@
 
 \pnum
 A static data member is not part of the subobjects of a class. If a
-static data member is declared \tcode{thread_local} there is one copy of
+static data member is declared \keyword{thread_local} there is one copy of
 the member per thread. If a static data member is not declared
-\tcode{thread_local} there is one copy of the data member that is shared by all
+\keyword{thread_local} there is one copy of the data member that is shared by all
 the objects of the class.
 
 \pnum

source/compatibility.tex

@@ -641,7 +641,7 @@
 \rationale
 The deprecated support relied on a limited convention that could not be
 extended to support the general case or new language features. It has been
-superseded by direct language support with \tcode{decltype}, and by the
+superseded by direct language support with \keyword{decltype}, and by the
 \tcode{std::bind} and \tcode{std::not_fn} function templates.
 \effect
 A valid \CppXVII{} program that relies on the presence of \tcode{result_type},
@@ -789,11 +789,11 @@
 \diffref{dcl.stc}
 \indextext{\idxcode{register} storage class}%
 \change
-Removal of \tcode{register} \grammarterm{storage-class-specifier}.
+Removal of \keyword{register} \grammarterm{storage-class-specifier}.
 \rationale
 Enable repurposing of deprecated keyword in future revisions of \Cpp{}.
 \effect
-A valid \CppXIV{} declaration utilizing the \tcode{register}
+A valid \CppXIV{} declaration utilizing the \keyword{register}
 \grammarterm{storage-class-specifier} is ill-formed in this revision of \Cpp{}.
 The specifier can simply be removed to retain the original meaning.
 
@@ -1286,12 +1286,12 @@
 \keyword{char16_t},
 \keyword{char32_t},
 \keyword{constexpr},
-\tcode{decltype},
+\keyword{decltype},
 \keyword{noexcept},
 \keyword{nullptr},
-\tcode{static_assert},
+\keyword{static_assert},
 and
-\tcode{thread_local}.
+\keyword{thread_local}.
 Valid \CppIII{} code using these identifiers is invalid in this revision of \Cpp{}.
 
 \diffref{lex.icon}
@@ -2174,7 +2174,7 @@
 
 \diffref{dcl.stc}
 \change
-In \Cpp{}, \tcode{register} is not a storage class specifier.
+In \Cpp{}, \keyword{register} is not a storage class specifier.
 \rationale
 The storage class specifier had no effect in \Cpp{}.
 \effect
@@ -2712,7 +2712,7 @@
 \indexhdr{assert.h}%
 
 \pnum
-The token \tcode{static_assert} is a keyword in \Cpp{}.
+The token \keyword{static_assert} is a keyword in \Cpp{}.
 It does not appear as a macro name defined
 in \libheaderref{cassert}.
 

source/declarations.tex

@@ -174,7 +174,7 @@
 a \defn{structured binding declaration}\iref{dcl.struct.bind}.
 If the \grammarterm{decl-specifier-seq} contains
 any \grammarterm{decl-specifier} other than
-\keyword{static}, \tcode{thread_local}, \keyword{auto}\iref{dcl.spec.auto}, or
+\keyword{static}, \keyword{thread_local}, \keyword{auto}\iref{dcl.spec.auto}, or
 \grammarterm{cv-qualifier}{s},
 the program is ill-formed.
 The \grammarterm{initializer} shall be
@@ -352,8 +352,8 @@
 \end{bnf}
 
 At most one \grammarterm{storage-class-specifier} shall appear in a given
-\grammarterm{decl-specifier-seq}, except that \tcode{thread_local} may appear with \keyword{static} or
-\keyword{extern}. If \tcode{thread_local} appears in any declaration of
+\grammarterm{decl-specifier-seq}, except that \keyword{thread_local} may appear with \keyword{static} or
+\keyword{extern}. If \keyword{thread_local} appears in any declaration of
 a variable it shall be present in all declarations of that entity. If a
 \grammarterm{storage-class-specifier}
 appears in a \grammarterm{decl-specifier-seq}, there can be no
@@ -377,13 +377,13 @@
 \end{note}
 
 \pnum
-The \tcode{thread_local} specifier
+The \keyword{thread_local} specifier
 indicates that the named entity has thread storage duration\iref{basic.stc.thread}. It
 shall be applied only
 to the declaration of a variable of namespace or block scope,
 to a structured binding declaration\iref{dcl.struct.bind}, or
 to the declaration of a static data member.
-When \tcode{thread_local} is applied to a variable of block scope the
+When \keyword{thread_local} is applied to a variable of block scope the
 \grammarterm{storage-class-specifier} \keyword{static} is implied if no other
 \grammarterm{storage-class-specifier} appears in the
 \grammarterm{decl-specifier-seq}.
@@ -399,7 +399,7 @@
 \keyword{static} function parameters. A \tcode{static} specifier used in
 the declaration of a variable declares the variable to have static storage
 duration\iref{basic.stc.static}, unless accompanied by the
-\tcode{thread_local} specifier, which declares the variable to have thread
+\keyword{thread_local} specifier, which declares the variable to have thread
 storage duration\iref{basic.stc.thread}. A \keyword{static} specifier can be
 used in declarations of class members;~\ref{class.static} describes its
 effect.
@@ -1577,7 +1577,7 @@
 \item otherwise, \tcode{decltype($E$)} is the type of $E$.
 \end{itemize}
 
-The operand of the \tcode{decltype} specifier is an unevaluated
+The operand of the \keyword{decltype} specifier is an unevaluated
 operand\iref{expr.prop}.
 
 \begin{example}
@@ -1982,7 +1982,7 @@
 placeholder alone. The type deduced for \tcode{T} is
 determined as described in~\ref{dcl.type.decltype}, as though
 $E$ had
-been the operand of the \tcode{decltype}.
+been the operand of the \keyword{decltype}.
 \begin{example}
 \begin{codeblock}
 int i;
@@ -2609,7 +2609,7 @@
 \pnum
 A
 \keyword{static},
-\tcode{thread_local},
+\keyword{thread_local},
 \keyword{extern},
 \keyword{mutable},
 \keyword{friend},

source/diagnostics.tex

@@ -462,7 +462,7 @@
 \indextext{static_assert@\tcode{static_assert}!not macro}%
 The contents are the same as the C standard library header
 \libheader{assert.h},
-except that a macro named \tcode{static_assert}
+except that a macro named \keyword{static_assert}
 is not defined.
 
 \xrefc{7.2}

source/support.tex

@@ -5754,7 +5754,7 @@
 has more restricted behavior in this document.
 A \tcode{setjmp}/\tcode{longjmp} call pair has undefined
 behavior if replacing the \tcode{setjmp} and \tcode{longjmp}
-by \tcode{catch} and \tcode{throw} would invoke any non-trivial destructors for any objects
+by \keyword{catch} and \tcode{throw} would invoke any non-trivial destructors for any objects
 with automatic storage duration.
 A call to \tcode{setjmp} or \tcode{longjmp} has undefined
 behavior if invoked in a suspension context of a coroutine\iref{expr.await}.

source/templates.tex

@@ -7100,7 +7100,7 @@
 type and in template parameter declarations. The expressions include not only
 constant expressions such as those that appear in array bounds or as nontype
 template arguments but also general expressions (i.e., non-constant expressions)
-inside \tcode{sizeof}, \tcode{decltype}, and other contexts that allow non-constant
+inside \tcode{sizeof}, \keyword{decltype}, and other contexts that allow non-constant
 expressions. The substitution proceeds in lexical order and stops when
 a condition that causes deduction to fail is encountered.
 If substitution into different declarations of the same function template would