1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Warray-bounds" } */
3 
4 typedef char one_buffer[512];
5 static one_buffer emergency_buffer[4];
6 
free_exception(void * vptr)7 void free_exception (void *vptr)
8 {
9   char *base = (char *) &emergency_buffer[0][0];
10   char *ptr = (char *) vptr;
11   if (ptr >= base && ptr < base + sizeof (emergency_buffer)) /* { dg-bogus "subscript" } */
12     {
13       /* Do something. */
14       __builtin_exit (0);
15     }
16 }
17 
18