extern int ok0[];	int ok0[1];	// OK
extern int ok1[1];	int ok1[];	// OK but size should be 1
extern int ko1[1];	int ko1[2];	// KO

/*
 * check-name: typediff-arraysize
 * check-known-to-fail
 *
 * check-error-start
typediff-arraysize.c:3:29: error: symbol 'ko1' redeclared with different type (originally declared at typediff-arraysize.c:3) - different array sizes
 * check-error-end
 */