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