1 extern int ok0[]; int ok0[1]; // OK 2 extern int ok1[1]; int ok1[]; // OK but size should be 1 3 extern int ko1[1]; int ko1[2]; // KO 4 5 /* 6 * check-name: typediff-arraysize 7 * check-known-to-fail 8 * 9 * check-error-start 10 typediff-arraysize.c:3:29: error: symbol 'ko1' redeclared with different type (originally declared at typediff-arraysize.c:3) - different array sizes 11 * check-error-end 12 */ 13