1 /* PR sanitizer/65280 */ 2 /* { dg-do run } */ 3 /* { dg-options "-fsanitize=bounds" } */ 4 5 int main(void)6main (void) 7 { 8 int *t = (int *) __builtin_malloc (sizeof (int) * 10); 9 int (*a)[1] = (int (*)[1]) t; 10 (*a)[2] = 1; 11 } 12 13 /* { dg-output "index 2 out of bounds for type 'int \\\[1\\\]'" } */ 14