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