Skip to content

Commit c92319d

Browse files
Mankarsetkoeppe
authored andcommitted
[basic.stc.dynamic.safety] Update cross-reference to effects of using invalid pointer values. (#1636)
Updated the Note describing "invalid pointer values" to refer to [basic.stc] rather than [basic.stc.dynamic.deallocation]. The relevant description of "invalid pointer values" reads: "Indirection through an invalid pointer value and passing an invalid pointer value to a deallocation function have undefined behavior. Any other use of an invalid pointer value has implementation-defined behavior." Previously the reference was correct, as this text was in [basic.stc.dynamic.deallocation]/4, but the text was moved to [basic.stc]/4 by P0137R1; without updating the reference. The Note also incorrectly claims that using an invalid pointer value is always undefined, when it can be implementation defined in certain cases, but I did not fix this in this commit; as updating the reference makes this nuance sufficiently clear. This is an editorial issue as it only changes non-normative text.
1 parent 5eeec28 commit c92319d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/basic.tex

+1-1
Original file line numberDiff line numberDiff line change
@@ -3220,7 +3220,7 @@
32203220
the referenced complete object has previously been declared
32213221
reachable~(\ref{util.dynamic.safety}). \begin{note}
32223222
The effect of using an invalid pointer value (including passing it to a
3223-
deallocation function) is undefined, see~\ref{basic.stc.dynamic.deallocation}.
3223+
deallocation function) is undefined, see~\ref{basic.stc}.
32243224
This is true even if the unsafely-derived pointer value might compare equal to
32253225
some safely-derived pointer value. \end{note} It is
32263226
\impldef{whether an implementation has relaxed or strict pointer

0 commit comments

Comments
 (0)