Skip to content

Commit

Permalink
[basic.stc.dynamic.safety] Update cross-reference to effects of using…
Browse files Browse the repository at this point in the history
… 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.
  • Loading branch information
Mankarse authored and tkoeppe committed Jun 18, 2017
1 parent 5eeec28 commit c92319d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion source/basic.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit c92319d

Please sign in to comment.