Skip to content

Commit 25bb0a2

Browse files
jwakelytkoeppe
authored andcommitted
[util.smartptr.shared.obs], [util.smartptr.shared.create] use nullptr for null pointer constant
1 parent e9434db commit 25bb0a2

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

source/memory.tex

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3619,7 +3619,7 @@
36193619
\begin{itemdescr}
36203620
\pnum
36213621
\expects
3622-
\tcode{get() != 0}.
3622+
\tcode{get() != nullptr}.
36233623

36243624
\pnum
36253625
\returns
@@ -3642,7 +3642,7 @@
36423642
\begin{itemdescr}
36433643
\pnum
36443644
\expects
3645-
\tcode{get() != 0}.
3645+
\tcode{get() != nullptr}.
36463646

36473647
\pnum
36483648
\returns
@@ -3665,7 +3665,7 @@
36653665
\begin{itemdescr}
36663666
\pnum
36673667
\expects
3668-
\tcode{get() != 0 \&\& i >= 0}.
3668+
\tcode{get() != nullptr \&\& i >= 0}.
36693669
If \tcode{T} is \tcode{U[N]}, \tcode{i < N}.
36703670

36713671
\pnum
@@ -3731,7 +3731,7 @@
37313731
\begin{itemdescr}
37323732
\pnum
37333733
\returns
3734-
\tcode{get() != 0}.
3734+
\tcode{get() != nullptr}.
37353735
\end{itemdescr}
37363736

37373737
\indexlibrarymember{owner_before}{shared_ptr}%
@@ -3797,7 +3797,7 @@
37973797

37983798
\pnum
37993799
\ensures
3800-
\tcode{r.get() != 0 \&\& r.use_count() == 1},
3800+
\tcode{r.get() != nullptr \&\& r.use_count() == 1},
38013801
where \tcode{r} is the return value.
38023802

38033803
\pnum

0 commit comments

Comments
 (0)