ref: 676fafd99e52b851ed18c606b8c2072bf38b4e84 dir: /tests/cc/error/0025-bad-init.c/
char s2[2] = "foo"; int main() { return 0; }