Running The Analysis
----------------------
+--------------------
To run the analysis, simply compile with the ``-Wthread-safety`` flag, e.g.
ASSERT_EXCLUSIVE_LOCK(...) and ASSERT_SHARED_LOCK(...)
---------------------------------------------------
+------------------------------------------------------
These are attributes on a function or method that does a run-time test to see
whether the calling thread holds the given capability. The function is assumed
.. _limitations:
Known Limitations
-==================
+=================
Lexical scope
-------------