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