2018-11-28 Richard Biener <rguenther@suse.de>
[official-gcc.git] / gcc / testsuite / gcc.dg / array-10.c
blobc1c73ff62b9b306c05aa0b2d073d4a67c6e5fe15
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 "" } */
7 int a;
9 int b0[a]; /* { dg-error "5:at file scope" } */
10 int (*b1)[a]; /* { dg-error "7:at file scope" } */
11 int (*b2())[a]; /* { dg-error "at file scope" } */
12 struct b3 { int x[a]; }; /* { dg-error "17:at file scope" } */
13 struct b4 { int (*x)[a]; }; /* { dg-error "19:at file scope" } */
14 typeof (int [a]) b5; /* { dg-error "at file scope|outside of any function" } */
16 int c0[(__UINTPTR_TYPE__)&a]; /* { dg-error "5:at file scope" } */
17 int (*c1)[(__UINTPTR_TYPE__)&a]; /* { dg-error "7:at file scope" } */
18 int (*c2())[(__UINTPTR_TYPE__)&a]; /* { dg-error "7:at file scope" } */
19 struct c3 { int x[(__UINTPTR_TYPE__)&a]; }; /* { dg-error "17:at file scope" } */
20 struct c4 { int (*x)[(__UINTPTR_TYPE__)&a]; }; /* { dg-error "19:at file scope" } */
21 typeof (int [(__UINTPTR_TYPE__)&a]) c5; /* { dg-error "37:at file scope" } */
23 int d0[1/0]; /* { dg-error "5:at file scope" } */
24 /* { dg-warning "9:division by zero" "" { target *-*-* } .-1 } */
25 int (*d1)[1/0]; /* { dg-error "7:at file scope" } */
26 /* { dg-warning "12:division by zero" "" { target *-*-* } .-1 } */
27 int (*d2())[1/0]; /* { dg-error "7:at file scope" } */
28 /* { dg-warning "14:division by zero" "" { target *-*-* } .-1 } */
29 struct d3 { int x[1/0]; }; /* { dg-error "17:at file scope" } */
30 /* { dg-warning "20:division by zero" "" { target *-*-* } .-1 } */
31 struct d4 { int (*x)[1/0]; }; /* { dg-error "19:at file scope" } */
32 /* { dg-warning "23:division by zero" "" { target *-*-* } .-1 } */
33 typeof (int [1/0]) d5; /* { dg-error "20:at file scope" } */