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

    <tr>
        <th>Summary</th>
        <td>
            Experimental constexpr interpreter drops notes
        </td>
    </tr>

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

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

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

<pre>
    I noticed a new surprise that can be reproduced here: https://godbolt.org/z/KaWGbx9M5

Basically, given this code and passing -Wvla:
```
void vla(bool b) {
 static_assert(!noexcept(static_cast<int(*)[b ? throw : 42]>(0)), "");
}
```
in the current interpreter, this would issue notes about why this is a VLA, but the new interpreter doesn't emit those notes.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxsks2O2zoMhZ-G3hATOJQdxwsvksn44qLttrMsJJuJVSiSIdFJpk9fKAnQHxQgbAg8POInUqdkT565g3oPRGI0jxwjEEF9KPQiU4jdTsfg99q5s_aFCeNH9z_6IHbgETV6vmJa4hxtYpRJCw7ao2GMPMcwLlk1cWRQO5xE5gRqB9QD9acwmuBkFeIJqP8B1H_S7_-ZW_ulhvIA5e7x3etkB-3cB9ArnuyFPcpkEw5hZNR-xDlT-BO-vF-czu6P4k35jPvxEuyIOU9bE4JDA9QiNPtHFpNoscM3nRJHAdoCrX3g28BzPj2zg04C6tX6h2IH1EK9NwiqR5liuGKGrPLbgXoD2pZZkeMV85PmaEE974Tm8M9ObeZjHJYY2QtaLxznyMIx-9zRr2FxI9qUFs6T4ITahEXwOn08BDahxq-fd7nCLHI3zIP6zQzHwMkDNYJ8tlkS0tNtVYydGlvV6oK79aYt66put5ti6tqqOup6q5haUnpz5LopSTe0HXkoj7wubEclqbKh7ZrKDW1Wx4aPSq01NaUyVc1QlXzW1q2cu5zz6Is7Rrep1m1dOG3Ypfs21ocidln0YpZTgqp0Nkn6VSZWHHdvt5mjPbMX7XAIPgnf5vgnZwxzeoAVS3TdX0toZVrMaghnoD6bP38vcwzfeRCg_t5gAurvPf4MAAD__1cRAnQ">