We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 43ee8ad commit 8d43245Copy full SHA for 8d43245
source/threads.tex
@@ -1560,7 +1560,7 @@
1560
The behavior of a program is undefined if:
1561
\begin{itemize}
1562
\item it destroys a \tcode{shared_timed_mutex} object owned by any thread,
1563
-\item a thread attempts to recursively gain any ownership of a \tcode{shared_timed_mutex}.
+\item a thread attempts to recursively gain any ownership of a \tcode{shared_timed_mutex}, or
1564
\item a thread terminates while possessing any ownership of a \tcode{shared_timed_mutex}.
1565
\end{itemize}
1566
0 commit comments