LWG2577 {shared,unique}_lock should use std::addressof

Author: Dawn Perchik

source/threads.tex

@@ -1836,7 +1836,7 @@
 \effects Constructs an object of type \tcode{unique_lock} and calls \tcode{m.lock()}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == true}.
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == true}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{unique_lock}!constructor}%
@@ -1849,7 +1849,7 @@
 \effects Constructs an object of type \tcode{unique_lock}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == false}.
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == false}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{unique_lock}!constructor}%
@@ -1868,8 +1868,8 @@
 \effects Constructs an object of type \tcode{unique_lock} and calls \tcode{m.try_lock()}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == res}, where \tcode{res} is
-the value returned by the call to \tcode{m.try_lock()}.
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == res},
+where \tcode{res} is the value returned by the call to \tcode{m.try_lock()}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{unique_lock}!constructor}%
@@ -1885,7 +1885,7 @@
 \effects Constructs an object of type \tcode{unique_lock}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == true}.
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == true}.
 
 \pnum
 \throws Nothing.
@@ -1907,7 +1907,8 @@
 \effects Constructs an object of type \tcode{unique_lock} and calls \tcode{m.try_lock_until(abs_time)}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == res}, where \tcode{res} is
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == res},
+where \tcode{res} is
 the value returned by the call to \tcode{m.try_lock_until(abs_time)}.
 \end{itemdescr}
 
@@ -1926,7 +1927,8 @@
 \effects Constructs an object of type \tcode{unique_lock} and calls \tcode{m.try_lock_for(rel_time)}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == res}, where \tcode{res} is the value returned by the call to \tcode{m.try_lock_for(rel_time)}.
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == res},
+where \tcode{res} is the value returned by the call to \tcode{m.try_lock_for(rel_time)}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{unique_lock}!constructor}%
@@ -2264,7 +2266,7 @@
 \effects Constructs an object of type \tcode{shared_lock} and calls \tcode{m.lock_shared()}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == true}.
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == true}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{shared_lock}!constructor}%
@@ -2277,7 +2279,7 @@
 \effects Constructs an object of type \tcode{shared_lock}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == false}.
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == false}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{shared_lock}!constructor}%
@@ -2293,7 +2295,8 @@
 \effects Constructs an object of type \tcode{shared_lock} and calls \tcode{m.try_lock_shared()}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == res} where \tcode{res} is the
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == res}
+where \tcode{res} is the
 value returned by the call to \tcode{m.try_lock_shared()}.
 \end{itemdescr}
 
@@ -2310,7 +2313,7 @@
 \effects Constructs an object of type \tcode{shared_lock}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == true}.
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == true}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{shared_lock}!constructor}%
@@ -2329,7 +2332,8 @@
 \tcode{m.try_lock_shared_until(abs_time)}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == res} where \tcode{res}
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == res}
+where \tcode{res}
 is the value returned by the call to \tcode{m.try_lock_shared_until(abs_time)}.
 \end{itemdescr}
 
@@ -2349,7 +2353,8 @@
 \tcode{m.try_lock_shared_for(rel_time)}.
 
 \pnum
-\postconditions \tcode{pm == \&m} and \tcode{owns == res} where \tcode{res} is
+\postconditions \tcode{pm == addressof(m)} and \tcode{owns == res}
+where \tcode{res} is
 the value returned by the call to \tcode{m.try_lock_shared_for(rel_time)}.
 \end{itemdescr}