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  */