1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Wall" } */
3 
4 extern void function(void * x);
5 
6 struct A {
7     long x;
8     char d[0];
9 };
10 
11 
test(A * a)12 void test(A * a) {
13     function((char *)a - 4); /* { dg-bogus "below array bounds" } */
14 }
15 
16