gcc/testsuite/gcc.dg/array-10.c

   1 /* Test invalid array sizes at file scope: should not cause ICEs.
   2    Bugs 25161 and 27020.  */
   3 /* Origin: Joseph Myers <joseph@codesourcery.com> */
   4 /* { dg-do compile } */
   5 /* { dg-options "" } */
   6
   7 int a;
   8
   9 int b0[a]; /* { dg-error "at file scope" } */
  10 int (*b1)[a]; /* { dg-error "at file scope" } */
  11 int (*b2())[a]; /* { dg-error "at file scope" } */
  12 struct b3 { int x[a]; }; /* { dg-error "at file scope" } */
  13 struct b4 { int (*x)[a]; }; /* { dg-error "at file scope" } */
  14 typeof (int [a]) b5; /* { dg-error "at file scope|outside of any function" } */
  15
  16 int c0[(__SIZE_TYPE__)&a]; /* { dg-error "at file scope" } */
  17 int (*c1)[(__SIZE_TYPE__)&a]; /* { dg-error "at file scope" } */
  18 int (*c2())[(__SIZE_TYPE__)&a]; /* { dg-error "at file scope" } */
  19 struct c3 { int x[(__SIZE_TYPE__)&a]; }; /* { dg-error "at file scope" } */
  20 struct c4 { int (*x)[(__SIZE_TYPE__)&a]; }; /* { dg-error "at file scope" } */
  21 typeof (int [(__SIZE_TYPE__)&a]) c5; /* { dg-error "at file scope" } */
  22
  23 int d0[1/0]; /* { dg-error "at file scope" } */
  24 /* { dg-warning "division by zero" "" { target *-*-* } 23 } */
  25 int (*d1)[1/0]; /* { dg-error "at file scope" } */
  26 /* { dg-warning "division by zero" "" { target *-*-* } 25 } */
  27 int (*d2())[1/0]; /* { dg-error "at file scope" } */
  28 /* { dg-warning "division by zero" "" { target *-*-* } 27 } */
  29 struct d3 { int x[1/0]; }; /* { dg-error "at file scope" } */
  30 /* { dg-warning "division by zero" "" { target *-*-* } 29 } */
  31 struct d4 { int (*x)[1/0]; }; /* { dg-error "at file scope" } */
  32 /* { dg-warning "division by zero" "" { target *-*-* } 31 } */
  33 typeof (int [1/0]) d5; /* { dg-error "at file scope" } */