Skip to content

Commit 24a4674

Browse files
authored
Merge 2021-10 LWG Motion 12
P1675R2 rethrow_exception must be allowed to copy
2 parents 166762c + 9c96aa4 commit 24a4674

File tree

1 file changed

+15
-2
lines changed

1 file changed

+15
-2
lines changed

source/support.tex

Lines changed: 15 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3863,8 +3863,21 @@
38633863
\tcode{p} is not a null pointer.
38643864

38653865
\pnum
3866-
\throws
3867-
The exception object to which \tcode{p} refers.
3866+
\effects
3867+
Let $u$ be the exception object to which \tcode{p} refers, or
3868+
a copy of that exception object.
3869+
It is unspecified whether a copy is made, and
3870+
memory for the copy is allocated in an unspecified way.
3871+
\begin{itemize}
3872+
\item
3873+
If allocating memory to form $u$ fails,
3874+
throws an instance of \tcode{bad_alloc};
3875+
\item
3876+
otherwise, if copying the exception to which \tcode{p} refers
3877+
to form $u$ throws an exception, throws that exception;
3878+
\item
3879+
otherwise, throws $u$.
3880+
\end{itemize}
38683881
\end{itemdescr}
38693882

38703883
\indexlibraryglobal{make_exception_ptr}%

0 commit comments

Comments
 (0)