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