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)7void 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