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

    <tr>
        <th>Summary</th>
        <td>
            CHECK failed: "((tctx->status)) == ((ThreadStatusInvalid))"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          landell-xperi
      </td>
    </tr>
</table>

<pre>
    Clang version: 18.0.0

The following assertion is hit when using asan:
```
AddressSanitizer: CHECK failed: sanitizer_thread_registry.cpp:161 "((tctx->status)) == ((ThreadStatusInvalid))" (0xae0ee3a0, 0x0) (tid=2095999)
```
The value of the `tctx->status` field does not have any of the values in the related enum. Looks like a race condition since the the status value  passes the assertion just after the creation of the object but has changed when the assertion is actually triggered. The `QuarantinePop` function returns `nullptr` in this scenario. I have seen other but similar assertion failures (value is not in the enum range) in other parts of the related code but this is the most common that I can trigger.

Suspicion goes to the following commit: https://reviews.llvm.org/D158786
Looks like there was a local allocator used together with a local mutex. Then the allocator was changed to a global one while the same mutex is still used. I have reverted back to using the local allocator in the `GetAsanThreadContext` function and can no longer reproduce the issue.

I have not been able to create a minimal test case for this. It reproduces in a chromium derivative but I can't share the code unfortunately.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVM2O4zYTfBr60hiBovwjH3yYb7z-MkgOCXbvi5bYlrhDkQbZtD15-oCUPX_IMYBtQSa7WF1VbIzRDI5oJ1b_E6v9AhOPPuwsOk3WPlxPFMyi8_p192TRDXCmEI13onmEuq1kJYXcC_k4__4YCY7eWn8xbgCMkQIb78BEGA3DZSQHKc5rmDFuxWt5-5TXR60DxfgdnWHzN4V81tNv355-hyMaSzq_x_viTx4Dof4ZaDCRw2vVn06ieazXNQilhGqFarnn64NovkVGTlGorVBbEM1eNHuYd_woIN_L-rM7ozV63iaUylvkFUkSNSiFegJ5lQVBtWy0aPZKblfbbdn-b_1kVc5oE4E_Ao8EYi2_UFpLOBqyGrSnCM4zjHgmQPd6rykAEYwrb4EsMmkgl6YK_vD-JYI1LwQIAXuC3jttivTRuJ5KTf7Ox93YwCk7FMvCu1e_UmTAI1MoC30gLP_fePjuF_UMXcoUI_QjuoH0bO1nIBMBe05o7StwMMNAgXQFP2YB_koY0LFx9Kc_lf6T60tdIE7BxbzJJWtPHPJyadxEiD05DMZX8DxrFIkceB4pFFLRTMZi-MAjhyYFitmvuXEzS3zTMmsIIbeRTTV3sBMGjveu73r3XlM5pnAxs3aTjwy9nyafAZHhGXp0956rjxfke4on02dWQzaafQF4vzIZxXAO-Mh8ivmGqINQh0BnQ5dYWXueKh8GoQ77etVu2vWM-yEBmTzBBSMgWN-jBbT5yT5AiqSB_UClw4vh8W3TlJiuxZ2bj29Flw82sweEwfoOLXhHcBmNvSULJ5pBsiyRjbXluDefAp0pZA077F8y0DwIcu1XmjdjxFr-n_gxopuv55N3TFf-FBZ0uojtPFjvBgoQ6BS8TrfQmxgTfbLgRicHoMvRwS534Oeg5ws0GWcmtMCUbcWY_QnF8Aqe-R2_XEaEfgx-MmkCTcGckc15TkgJgVAbhjhimNmU-CR39IGTQyb7Wi30rtHbZosL2tWbWsnlql23i3EnW-xQ1auNorbutsflqpF9LdW6XWm5WdYLs1NSLeVSKtnWm2Vb9d1xXbdKN_Wq1kqvxVLShMa-pWZR1Ni1m0YtFxY7srGMfaUcXWap8sxc7Rdhl2seujREsZTWRH7P3oINW9p9ncj_0bRdpGB3n8M_GB5TV_V-EuqQWdweD6fg8zAS6lC4R6EOpbd_AgAA__8fvkdg">