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

    <tr>
        <th>Summary</th>
        <td>
            -Wunreachable-code-aggressive warns about code in constexpr if
        </td>
    </tr>

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

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

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

<pre>
    https://godbolt.org/z/6xheqcvnG

This should not generate an unreachable code warning, but does.

(Non-godbolt version: Compile the following code with `--std=c++20 -Wunreachable-code-aggressive -Werror`:)

```enum E { A = 1, B = 2 };
bool foo() {
  if constexpr (A == B) {
    return false;
  } else {
    return true;
  }
}```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx9UsGSmzAM_Rpz0ZAxhhA4cEg2bW89daZnG2Rw69ipbZJtv76CZNs0s9MZg2VJfnpPsvLDz25K6RxZuWfiI63RD8rbtPFhpNMv-urXCX_0F_eJ8SPj-9v_y2QixMnPdgDnE4zoMMiEIB3MLqDsJ6ksQu8HhKsMzjjCewE1Jxg8xs0jGBPNZ-_ye2m4YIjGO6IEL_50NgSTJgTtrfVXwrmDmjQBq3mexzSw8tgzcaAlOORfHxjkS3IuxzFgjOaCFMUQfKCbq-b2HyLkXBe6-QQfgO0OsAcCh2Ihf1hNQe4jKw-3K8p7S9Q8aSCw5cbND2A0EXUx4es5AIVXoAXg8JQIEDDNwYGWNuIfZFjqAJLr3eQU5qfcuwYy3mRk2BV1zUtRFQ3Phq4c2rKVWTLJYvf_Ni0ziyCVp4Gt_TbuQY7R2Rzs89Ohicxq0_sTHay9vG35Ofhv2Cc6mhhnjGRsd4Uos6nTbTUUba2V1LJVvdRVo3vN2xbVUPMaMysVtaBjW-qacHiFFYJstj1mphNcCN4Uothxkraphqbnldw1atv0eteyiuNJGrtZeCxvOgvdSknNY6SgNTHFv0FJ2keHuJYjfDmnyYfu_F3GRA8vW2t3K_ffV_L7iQ">