/* PR sanitizer/65280 */ | |
/* { dg-do run } */ | |
/* { dg-options "-fsanitize=bounds" } */ | |
int | |
main (void) | |
{ | |
int *t = (int *) __builtin_malloc (sizeof (int) * 10); | |
int (*a)[1] = (int (*)[1]) t; | |
(*a)[2] = 1; | |
} | |
/* { dg-output "index 2 out of bounds for type 'int \\\[1\\\]'" } */ |