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

    <tr>
        <th>Summary</th>
        <td>
            [SemaStmt]:enumeration of different enum type,but setAllEnumCasesCovered() as True, is this behavior right? 
        </td>
    </tr>

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

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

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

<pre>
    ```cpp
enum E { e1a, e1b };
enum Other { e2a };

void f(E e){
switch (e) {
  case e1b: // e1b is an enumerator of E
    return;
  case e2a: // e2a is not an enumerator of E
    return;
  }
}
```

In the above case, I found that the result of  ```isAllEnumCasesCovered()``` of this ```switchStmt``` is True. I fell confused about it, is this right as expected?

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUksGOmzAQhp9muIw2MnZC4MAhuwnSqoceti9gYAiuDI7scbbbp68Mm2x66KESAuSZ-X_PN6NDMOeZqIbdM-yOmY48Ol9Pvz--max1_UcNhVif7nIBcQRxoDlOeELYPyPlGuQLUt4i7I-gnh8yvvNIfs2S-q_w-r460-MAsjwhgaxg_xkN74a7EUGW6Rjv54idDpS8QB0QZAOyWZxNQD1j8iSv2Xl0A55uNYieOPr5bn6TkfpRRuokMzv-P6nU1drS_eeG67HV1xl5JNStu9Jin6C94uDi3COPmpewpxAtJ0u8q5hwsPY0x-lFBwov7kqeepBlAnbLSRU8mvBVtSJ844m_kkzAHz7SJvmStdi5eYiB-nSryGg43cmEVcmb88ioA9KvC3VMPahmbSXra9VXqtIZ1fleFEVZFUJlY923hVRKiq0q2kKpjnS-HUhUNMj9ruiLzNRSyK3IVS5KWWzVZlcpNZQl5W3Xtbraw1bQpI3dWHudNs6fMxNCpLoUeb7LrG7JhmVPpZzpHZcgSJnW1tep5qmN5wBbYU3g8KXChu2y4G806QXK7gjqcJuycXMi2JthIE8zL-NH_rikKbWRMRD_cwiJUcL6CK-lUV-N8ytFUA1m0dt6ZL4EUId15c6Gx9huOjeBbNJVPz9PF-9-Uscgm6XBALJZAPwJAAD___bjGBs">