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