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

    <tr>
        <th>Summary</th>
        <td>
            -Oz does not eliminate loop over constexpr array
        </td>
    </tr>

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

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

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

<pre>
    ```cpp
#include <utility>

int foo()
{
    static constexpr
    std::pair<int, int> mapping[] = {
      { 0, 1 },
    };
    for (auto [k, v] : mapping) {
        if (k) {
            return v;
        }
    }
    return 0;
}
```
https://godbolt.org/z/89TjovbE4

It works with `-O1` or `-Os`.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxtUt1u8jAMfZr0xqLKT0vpRS_YAGlXu9kLpG0KGaGpkpSNPf0cygof-iLHsXXi4yMntW0vFVnSyZphIHRD6JpwofvGjK0CIl7HoI0OFyK2N_TqdR-gs5bwFeHlDShepgBw-SCDbqCxvQ_qe3CPSEvEGm2Q2iE_MhH-CvEQWzjJYdD9nuQvJN9ge9yPtBBToLGAYbjB4A7GXDxc7qwDFCjHYAEJj7HqPNGu50a8fO4AoLtYd_wvFpdTYXQ9coknMCr4R86c3EroXDKj8_yn9BDC4OOA-A5tb9vampBah0p3P7hX5cenPdfb7PE13gJ8WXf08KXDAZBr8c7QQxxATDz6NGkr0ZailEnQwahq8f4DrVUeehtAGX3SvQwKjLUD2LNy98cD6Zy8JKMz1ZM8bDfWaWNPmBhz_jsWg7OfqsGH3WnvR-UxyPOyKJJDpfIiY7mUoqCrPGM0ox3POVvSrmlFzrLEyFoZX01fINEVp5zTJaMs4yUVqeyYKlnRqbIUmVKMZFSdpDZpbBwHlbjqqqEe9x5Bo33wd1B6r_e9Un_8-DsO1lUfDgHhkqvc6qr1F3YQ3gA">