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

    <tr>
        <th>Summary</th>
        <td>
            clang-tidy 20 crashes in RegionStoreManager
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang-tidy
      </td>
    </tr>

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

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

<pre>
    The best I could minimize is this, repro crashes on line 7 (`*m_ptr = '\0'`):

```cpp
class A
{
public:
    A()
    : m_ptr(m_buf)
    {
 *m_ptr = '\0';
    }

private:
    char m_buf[64] = {0};
 char * m_ptr;
};

A a;
```

[crash.log](https://github.com/user-attachments/files/21140523/crash.log)

Reproduces in godbolt as well (with trunk clang-tidy): https://godbolt.org/z/PMaToWrWG

Using 20.1.7 compiled with assertions, I get following assertion error with the same stack:

```
clang-tidy: /export/home/nikita.akatiev/llvm-project/llvm/include/llvm/Support/Casting.h:566: decltype(auto) llvm::cast(const From&) [with To = clang::ento::nonloc::CompoundVal; From = clang::ento::SVal]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
```

I've also ran a git-bisect, which led me to this commit 820403c4e04db1f4adc8528bec33d393a5be3856. Somewhat surprisingly, `clang --analyze` doesn't seem to crash on this code.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx8VMFupDgQ_ZrqSyktt2kDfeBAd5ZVDqNdTbI7x5ExBXhjbGSbZHu-fmXoJKMZzUpIGKreq2fXc8kQ9GCJKhBnEPc7ucTR-ers2ofwh220p13rumv1NBK2FCI-oHKL6XDSVk_6G6EOGEcdgF_Q0-wdKi_DSAGdRaMtYYHAS8gZ8Hr6OkePkN0j8ALEhaVXipwgq4GtT862R80zsFoZGQKugeIMrJ6X1mi1ZSMi1ombn25fkNW41gBeTl_bpf8utMLxVyKy83ve_SZk9vpFRvoopUbpcWMV5_wI4n4jKc4sgTaGNQn4m4z153sUWF2jvK3f9nnbtjiv57Y3bgBxD7wcY5xDqs4b4M2g47i0e-Um4M0SyN_JGKUaJ7IxAG96bSi9-eFwZIJnwJsPvvUQgNWfU3-6RVFAbXFwXetMRBnwlYxJXXrVccToF_uMykg73EXdXbfu4A96NvDe-QF48w148-cn-eS--C-_b7X-CtoOyNn-sC9QuWnWhjpcC8gQyEft7GqaBxwoYu-Mca8J8h5F8t75DRJHwiAnwhClev7ZLJtT3gRnqc8N_Ts7H4E3o5sIeGP1s45yL59l1PQCvDHmZbqbvfuHVLx9Am-0VWbp6OPH4zLfiC4yRG2H_QhZLfI81elImXidCXgpl-iAn3CFZTVktZIhAi-VsyFi41Pv8pQB4rzu6smtDlqVbwiy0W0r66xxaltf3DS7xXZ_SwPZeWX6NfAxZYn7JK5-P0rImQ4SssuTg-w34GVKSkqSoByB81Vrdnm6bvEUlH5Ykr_Q9aht6qGMujWE24YPwDnwAnuZWrv_2dMPwIsXQmmCQy8tShx0vGt1WM_7gq-jViMmW0yE0a1jJFll0hFLzo4sU0dix6499EfZqVLwsiWVZV12yqRoKStFvsdHN9HrKCOGxc9eJ9uZa6JPMyQdEN7dSSvN9RtBzrBzFCzwImIgmlLZ9Z6kaXWr39F-11VZd8pOckfVoRCcifyUs91YtUrIkvV9x1XflqyUQp1OShailVyI7LDTFWdcsIKdDoyfONtToQQVfd-1Qpyo6OHIaJLa7JNN0vXZ6RAWqg7HIi_znZEtmbBOY86_v4M8TWdfrZ5tlyHAkRkdYvjgiToaqj4wyNn7LNYWP9OgnX2MztMnaeVAfrd4U_3PmLn5_4drsspNo-am-KXi_wUAAP__TOvoxg">