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

    <tr>
        <th>Summary</th>
        <td>
            [clang] Static analyzer crash with just core checkers
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:static analyzer,
            crash
      </td>
    </tr>

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

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

<pre>
    https://gcc.godbolt.org/z/aMnzcs6Eb

``` C++
// > clang -O0 -Xclang -analyzer-checker=core -Xclang -analyze ./input.cpp

enum class a { b };
char c[sizeof(a)];
struct {
 operator a() { return __builtin_bit_cast(a, c); }
} d;
void e() {
 switch (d)
  case a::b:
}
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkksFunDAQhp9muIwWwXhZ4MBhN4Rb1UMvva1sYxanXoxskyj79JWBNG0qWZgxM9_PeH7uvb5NSjVQXKBoE76E0brG3pWb8kTY_r0ZQ5g9sDNQB9TdpExvthfWhNS6G1D3AOr4t-kh_elZQNZCdt6fp2xb-AR0iWs7XjkI7Bml4dMND98zPPzc3_nEzftDuYMclfylHLBWWqf-S8AUqNPTvIRUzvPfsmpa7pHsPXKE8oICoWyB7fJy5A4lFBevH8oOQBUHqqH4zPDBLTLE0i1GOyvHg3XIgSqgeqU6FRY34fUqFm2Cnq5Ch6vkPmzEJ5QRyy6r-PZ7ZYv9H5VXq3tUn8Bdy7_pIEcEqvpYvx2i5F4hj0NgZxG3D-CXm97CpG9YX7OaJ6rJS0ZUnajKk7EhKspqqPOeFQOvsnyoaRBDMYiyLCs1yEQ3lNExz4nyI6uyPOVDWagTnU6skn1dEhwzdefapMa83qMBEu39opo8Lxk7JoYLZfxqJqJ1YMDOPvCgJX5MFoiAnuJ3x_0Yo6JNXBOBB7HcPBwzo33wnxJBB7M6dCMWLf74F4krCt90GPFl8QFXy-wO8snizFcX6zAuIpX2DtRFnX07zM6-KBmit2JfHqjbW3tt6HcAAAD__7yl71A">