diff --git a/source/basic.tex b/source/basic.tex index d1f0ad04b7..434f5fed0b 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -3220,7 +3220,7 @@ the referenced complete object has previously been declared reachable~(\ref{util.dynamic.safety}). \begin{note} The effect of using an invalid pointer value (including passing it to a -deallocation function) is undefined, see~\ref{basic.stc.dynamic.deallocation}. +deallocation function) is undefined, see~\ref{basic.stc}. This is true even if the unsafely-derived pointer value might compare equal to some safely-derived pointer value. \end{note} It is \impldef{whether an implementation has relaxed or strict pointer