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

    <tr>
        <th>Summary</th>
        <td>
            Format checks are skipped for constexpr format strings generated by list expression
        </td>
    </tr>

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

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

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

<pre>
    ```C++
#include <cstdio>

struct Bar {
    static constexpr char value[] = {'%', 's', '%', 'd', 0};
};

int main() {
   printf(Bar::value, "abc", "def");
   return 0;
}
```

Issue https://github.com/llvm/llvm-project/issues/55805 mentioned two cases that generates format string compile-time, fixed one of it in https://github.com/llvm/llvm-project/commit/f417583f319bd60d1e32cdf9d0242e42f86101bf. 

`InitListExpression` haven't implemented yet. See https://godbolt.org/z/n5Mq7KWT6
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJylU01z3CAM_TX4wmQHg_HHwYckm8xk2p7amZ4xyGsabFzAaba_vrJ3N9lMT516ZFlClvT0gM6bY0tKdpJ7wu9WYXvCbgkXdtJuMUCJuNcxGeuJeDgHNx1TWHSidypQUp3TKD4xqWQ11X6KCV7nQPWAv7wotwCRd0TuseJ-S-EV4XLT9xQ_8d38sG7OJiPVnogLwGt703ZKdFR2IrwmvPmAaQ4Y7DGAYIm4RTnB2epz1WnUZ8dAvznNW3XMD5CWMCGA6-4n48LeNZKnGBegQ0pzXLvxR5SDTcPS7bQf0XHu5fK5mYP_ATqha9c0JOFRyppJOsKUrJ_A0PTLU60iRJoGlegBJggqodv7MOIC7oSdDsj4OFsHN8mO22i9fcVkrEB9T22idvp3TBgb7Wr0RV7JWvQibzpTMpOD4Nr0jWG84FDwvi5zlnf9jl4zgcQ8TTZ9tjE94FGAGHEiXKSDegHcqQpRjbODdVbEeoS0o1_hL-686bxLOx8O6P3Gd5Jfflafvn8rM2jzUjYlZ7KuMtMK04hGZckmB-3jiR49gH6OVAWg8dnOMzZC4q4O6Aca4xu_hnZH6hA6hTfs2RJc-x87WzZcZkMLwGVVSwWS9brLeS0qpUpVsroROWN95lQHLranC5PZljPOWc2KXBSClTtpKs2EZp2si45XihQM8Oy73dp45SkL7YahWw4Rg-sU8T2ocJbDBHCpr5Y0-NCuN_6osw1tu0H9A16lPxY">