1 void foo(void)2 foo(void) { 3 extern char buf[128]; 4 5 { 6 extern char buf[]; 7 if (sizeof buf == 128) { 8 puts("OK"); 9 } else { 10 puts("BUG"); 11 } 12 } 13 } 14 15 char buf[128]; 16 17 int main()18 main() { 19 foo(); 20 } 21 22