<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/57035>57035</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [libcxx] Thread-safety analysis: shared_timed_mutex is not annotated
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          jcelerier
      </td>
    </tr>
</table>

<pre>
    It would be good to be able to assert the threading semantics with it, too
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxFkE1vwyAMhn9NuKBGBErTHjjsQ5V2333iw02oSKiws7b_fiRSNWSZ17KxH-xyeJov4ve8pMAd8CHnwCmv0roEq7SIUIjTWKOxgA1xHjjCZGeKHvk90sgjNfKjFmcGpjschDiKk5AsGBVO6mQZRUpgGv2eovOPR6M_-ffWa4f2AvTkdrbpiREb9cZxtAXCD8Wp-mkhePCIfM5Uq6q3BIEtJZmR6LY-aOS52lA5Ftf6PNUgpd_XtbuVfAVfAc8RcQGsQvdCaTaacPFiH5xVoLtOBQGg_cX1HpR2cDx6lqyDhCt4RWbRSCHl-jfZKS1EC50S0NdzAm-7XjZ7UfcSU7sObnMZWDEbg1sGrMkUkfA_WTcbhxng1d8uNOZirh4SlAiFbcBmo_0DEGONGw">