[ub] Added all missing ubdefs to bring UB annex in line with P3100R2 list (#7888)

Author: timuraudio

source/basic.tex

@@ -3680,7 +3680,7 @@
 and produce a pointer value that points to that object,
 if that value would result in the program having defined behavior.
 If no such pointer value would give the program defined behavior,
-the behavior of the program is undefined.
+the behavior of the program is undefined\ubdef{intro.object.implicit.pointer}.
 If multiple such pointer values would give the program defined behavior,
 it is unspecified which such pointer value is produced.
 
@@ -3924,27 +3924,27 @@
 if the pointer were of type \tcode{\keyword{void}*} is
 well-defined. Indirection through such a pointer is permitted but the resulting lvalue may only be used in
 limited ways, as described below. The
-program has undefined behavior\ubdef{lifetime.outside.pointer} if:
+program has undefined behavior if:
 \begin{itemize}
 \item
-  the pointer is used as the operand of a \grammarterm{delete-expression},
+  the pointer is used as the operand of a \grammarterm{delete-expression}\ubdef{lifetime.outside.pointer.delete},
 \item
   the pointer is used to access a non-static data member or call a
-  non-static member function of the object, or
+  non-static member function of the object\ubdef{lifetime.outside.pointer.member}, or
 \item
   the pointer is implicitly converted\iref{conv.ptr} to a pointer
-  to a virtual base class, or
+  to a virtual base class\ubdef{lifetime.outside.pointer.virtual}, or
 \item
   the pointer is used as the operand of a
-  \keyword{static_cast}\iref{expr.static.cast}, except when the conversion
+  \keyword{static_cast}\iref{expr.static.cast}\ubdef{lifetime.outside.pointer.static.cast}, except when the conversion
   is to pointer to \cv{}~\keyword{void}, or to pointer to \cv{}~\keyword{void}
   and subsequently to pointer to
   \cv{}~\keyword{char},
   \cv{}~\tcode{\keyword{unsigned} \keyword{char}}, or
   \cv{}~\tcode{std::byte}\iref{cstddef.syn}, or
 \item
   the pointer is used as the operand of a
-  \keyword{dynamic_cast}\iref{expr.dynamic.cast}.
+  \keyword{dynamic_cast}\iref{expr.dynamic.cast}\ubdef{lifetime.outside.pointer.dynamic.cast}.
 \end{itemize}
 \begin{example}
 \begin{codeblock}
@@ -3987,14 +3987,14 @@
 a glvalue refers to
 allocated storage\iref{basic.stc.dynamic.allocation}, and using the
 properties of the glvalue that do not depend on its value is
-well-defined. The program has undefined behavior\ubdef{lifetime.outside.glvalue} if:
+well-defined. The program has undefined behavior if:
 \begin{itemize}
-\item the glvalue is used to access the object, or
-\item the glvalue is used to call a non-static member function of the object, or
-\item the glvalue is bound to a reference to a virtual base class\iref{dcl.init.ref}, or
+\item the glvalue is used to access the object\ubdef{lifetime.outside.glvalue.access}, or
+\item the glvalue is used to call a non-static member function of the object\ubdef{lifetime.outside.glvalue.member}, or
+\item the glvalue is bound to a reference to a virtual base class\iref{dcl.init.ref}\ubdef{lifetime.outside.glvalue.virtual}, or
 \item the glvalue is used as the operand of a
 \keyword{dynamic_cast}\iref{expr.dynamic.cast} or as the operand of
-\keyword{typeid}.
+\keyword{typeid}\ubdef{lifetime.outside.glvalue.dynamic.cast}.
 \end{itemize}
 
 \begin{note}

source/classes.tex

@@ -6191,15 +6191,15 @@
 indirectly derive from
 \tcode{B}
 shall have started and the destruction of these classes shall not have
-completed, otherwise the conversion results in undefined behavior.
+completed, otherwise the conversion results in undefined behavior\ubdef{class.cdtor.convert.pointer}.
 To form a pointer to (or access the value of) a direct non-static member of
 an object
 \tcode{obj},
 the construction of
 \tcode{obj}
 shall have started and its destruction shall not have completed,
 otherwise the computation of the pointer value (or accessing the member
-value) results in undefined behavior\ubdef{class.cdtor.convert.or.form.pointer}.
+value) results in undefined behavior\ubdef{class.cdtor.form.pointer}.
 \begin{example}
 \begin{codeblock}
 struct A { };

source/expressions.tex

@@ -1018,7 +1018,7 @@
 \end{note}
 If the value being converted is
 outside the range of values that can be represented, the behavior is undefined.
-% \ubdef{conv.fpint.int.not.represented}
+\ubdef{conv.fpint.int.not.represented}
 If the
 source type is \keyword{bool}, the value \keyword{false} is converted to zero and the value
 \keyword{true} is converted to one.
@@ -4486,14 +4486,14 @@
 that is
 within its lifetime or
 within its period of construction or destruction\iref{class.cdtor},
-the behavior is undefined.
+the behavior is undefined.\ubdef{expr.dynamic.cast.pointer.lifetime}
 If \tcode{v} is a glvalue of type \tcode{U} and
 \tcode{v} does not refer to an object
 whose type is similar to \tcode{U} and
 that is
 within its lifetime or
 within its period of construction or destruction,
-the behavior is undefined.\ubdef{expr.dynamic.cast.lifetime}
+the behavior is undefined.\ubdef{expr.dynamic.cast.glvalue.lifetime}
 
 \pnum
 If \tcode{T} is ``pointer to \cv{} \keyword{void}'', then the result
@@ -6427,7 +6427,7 @@
 element of the array created by that \grammarterm{new-expression}.
 Zero-length arrays do not have a first element.
 \end{footnote}
-If not, the behavior is undefined.
+If not, the behavior is undefined\ubdef{expr.delete.array.mismatch}.
 \begin{note}
 This means that the syntax of the \grammarterm{delete-expression} must
 match the type of the object allocated by \keyword{new}, not the syntax of the

source/ifndr.tex

@@ -39,7 +39,7 @@
 \pnum
 \ifndrxref{basic.def.odr.exact.one.def} \\
 Every program shall contain exactly one definition of every non-inline function or variable that is odr-used in
-that program outside of a discarded statement \iref{stmt.if}; no diagnostic required.
+that program outside of a discarded statement\iref{stmt.if}; no diagnostic required.
 
 \pnum
 \begin{example}
@@ -59,7 +59,7 @@
 \pnum
 \ifndrxref{basic.def.odr.unnamed.enum.same.type} \\
 If, at any point in the program, there is more than one reachable unnamed enumeration definition in the same scope that have
-the same first enumerator name and do not have typedef names for linkage purposes \iref{dcl.enum}, those unnamed enumeration
+the same first enumerator name and do not have typedef names for linkage purposes\iref{dcl.enum}, those unnamed enumeration
 types shall be the same; no diagnostic required.