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

    <tr>
        <th>Summary</th>
        <td>
            [feature request] setjmp sanitizer
        </td>
    </tr>

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

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

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

<pre>
    It is UB to read local variables after a call to `setjmp` returns, if those variables have been modified between `setjmp` and `longjmp`, unless they're marked as volatile. We'd like to see a sanitizer that detects this, as part of `-fsanitize=undefined`.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxUkUFv2zAMhX-NfCEa2FRsJwcd1mUBdh6GnWmLjtXKUibS6bpfPzjt0O0k4In8-PAeiYRLYnamfTTtqaJV51zct5zCl19YDdm_uq8KQeD7I2iGwuQh5pEi3KgEGiIL0KRcgGCkGLch09XC-rRcTVdDYV1LEoOfIUygcxb-Z3WmG8PAnGDJPkyBPQysL5vwH4WS34SY0-VN2XhriiwCOvOrwb4wLFSe2QMJ3HIkDZF38IMN9h5ieObNmzADgVAKGn5zAZ1JwbPyqBsp3I2SwJWKQp62ow_T33FjT2vyPIXE3nT1rvLO-qM9UsWu6bE_YGv7pprdoUO0iH5oEQ81-j113dDgoWs6a6fmWAWHNe6bum7Q4tE2O-KmrSfGEdvRHtvW7GteKMRdjLdll8ulCiIru6ap-25fRRo4yr01xMQvcP81iFuJxW1LD8N6EbOvYxCVD4wGjfe6JyZdC0PhnyuLmvYEb3l_pFOtJbpZ9SrGfjJ4Nni-BJ3XYTfmxeB5g74_D9eSn3hUg-e7FTF4fvd6c_gnAAD__8SbyE0">