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

    <tr>
        <th>Summary</th>
        <td>
            [clang] Accepts-invalid (?) in discarded statement with return type deduction
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          efriedma-quic
      </td>
    </tr>
</table>

<pre>
    Consider:

```
auto f() {
    if constexpr (false) return;
    return 3;
}
```

Missing error on the first return statement.

I think this violates [stmt.return]p2?  Or maybe it's an oversight in the wording.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxcktGumzAMhp8m3FhFwZCWXnDRswppF9OeISQGvEHSJaZn5-0n2h4daZKVKJF_x_6_2Jx5CkSdMm_KXAu7yRxTR2Ni8qs9_NnYFUP0H923GDJ7Sqq-KP2Io36FvthNIowKW4VnUKc3pS8AADyCiyEL_b0lUNiOdsm0pySSLQVVfyY-z1A_b9Tp-l99pS8_OGcOE1BKMUEMIDPByCnLpzqLFVopSPlUfAeZOfze1wx3josVyqDMW5ZVylcL5npDVfcAPxOs9mMgYFF4ymADxDulzNMswM_n3mPyHKay8F3tz_XZFtRVJ1O3eGz0sZi7trGtHluk0Va-Hsz5OFjjKtMSGe3IFdyhRqNPeEbUWjel8-eqNc7rqj6ONTaq0bRaXsplua9lTFPBOW_UVabCBovFDrTkBy1Et9gwKcQdXOp2wWHYpqwavXCW_FVCWJYH4qfCXOHiHN0kHzjc7cJ-h6PqfkfDATxnZ5Mn_2UpvLPMn0bLx43Ak9-ccAzFlpZuFrnl_Wtgr7CfWOZtKF1cFfZ7F6_tcEvxFzlR2D-mygr712D3Dv8FAAD___rZzUE">