fixups: cleanups suggested by timur

Author: notadragon

source/basic.tex

@@ -5634,7 +5634,7 @@
 $P$ is not valid in the context of $E$,
 then the behavior is undefined if $E$ is
 an indirection\iref{expr.unary.op} or
-an invocation of a deallocation function\iref{basic.stc.dynamic.deallocation},
+an invocation of a deallocation function\iref{basic.stc.dynamic.deallocation}\ubdef{basic.compound.invalid.pointer},
 and \impldef{invalid pointer value in the context of an evaluation} otherwise.
 \begin{footnote}
 Some implementations might define that

source/classes.tex

@@ -6035,10 +6035,10 @@
 \indextext{destruction!member access}%
 For an object with a non-trivial constructor, referring to any non-static member
 or base class of the object before the constructor begins execution results in
-undefined behavior\ubdef{class.cdtor.before.ctor.before.ctor}.
+undefined behavior\ubdef{class.cdtor.before.ctor}.
 For an object with a non-trivial destructor, referring to
 any non-static member or base class of the object after the destructor finishes
-execution results in undefined behavior\ubdef{class.cdtor.before.ctor.after.dtor}.
+execution results in undefined behavior\ubdef{class.cdtor.after.dtor}.
 \begin{example}
 \begin{codeblock}
 struct X { int i; };

source/expressions.tex

@@ -4069,7 +4069,7 @@
 If \tcode{E2} is a non-static member and
 the result of \tcode{E1} is an object whose type
 is not similar\iref{conv.qual} to the type of \tcode{E1},
-the behavior is undefined\ubdef{expr.ref.not.similar}.
+the behavior is undefined\ubdef{expr.ref.member.not.similar}.
 \begin{example}
 \begin{codeblock}
 struct A { int i; };
@@ -6734,7 +6734,7 @@
 \pnum
 For addition or subtraction, if the expressions \tcode{P} or \tcode{Q} have
 type ``pointer to \cv{}~\tcode{T}'', where \tcode{T} and the array element type
-are not similar\iref{conv.qual}, the behavior is undefined\ubdef{expr.add.polymorphic}.
+are not similar\iref{conv.qual}, the behavior is undefined\ubdef{expr.add.not.similar}.
 \begin{example}
 \begin{codeblock}
 int arr[5] = {1, 2, 3, 4, 5};

source/ub.tex

@@ -305,6 +305,28 @@
 \end{codeblock}
 \end{example}
 
+\rSec2[ub.basic.compound]{Compound types}
+
+\pnum
+\ubxref{basic.compound.invalid.pointer] \\
+Indirection or
+the invocation of a deallocation function
+with an invalid pointer value
+has undefined behavior.
+
+\pnum
+\begin{example}
+\begin{codeblock}
+void f()
+{
+    int *x = new int{5};
+    delete x;
+    int y = *x; // undefined behavior
+    delete x;   // undefined behavior
+}
+\end{codeblock}
+\end{example}
+
 
 \rSec2[ub.intro.execution]{Sequential execution}
 
@@ -660,7 +682,7 @@
 \rSec2[ub.expr.ref]{Class member access}
 
 \pnum
-\ubxref{expr.ref.not.similar} \\
+\ubxref{expr.ref.member.not.similar} \\
 If \tcode{E2} is a non-static member and the result of \tcode{E1} is an object whose type
 is not similar\iref{conv.qual} to the type of \tcode{E1}, the behavior is undefined.
 
@@ -1053,7 +1075,7 @@
 \end{example}
 
 \pnum
-\ubxref{expr.add.polymorphic} \\
+\ubxref{expr.add.not.similar} \\
 For addition or subtraction, if the expressions P or Q have type ``pointer to cv T'', where T and the array
 element type are not similar \iref{conv.rval}, the behavior is undefined.
 
@@ -1558,7 +1580,7 @@
 \rSec2[ub.class.cdtor]{Construction and destruction}
 
 \pnum
-\ubxref{class.cdtor.before.ctor.before.ctor} \\
+\ubxref{class.cdtor.before.ctor} \\
 For an object with a non-trivial constructor, referring to any non-static member or base class of the object
 before the constructor begins execution results in undefined behavior. For an object with a non-trivial
 destructor, referring to any non-static member or base class of the object after the destructor finishes execution
@@ -1608,7 +1630,7 @@
 
 
 \pnum
-\ubxref{class.cdtor.before.ctor.after.dtor} \\
+\ubxref{class.cdtor.after.dtor} \\
 For an object with a non-trivial destructor,
 referring to any non-static member or base class of the object
 after the destructor finishes execution