/* { dg-do run } */ | |
/* { dg-options "-fsanitize=bounds-strict" } */ | |
struct V { int l; int a[1]; }; | |
int | |
main (void) | |
{ | |
/* For strict, do instrument last array in a struct. */ | |
struct V *v = (struct V *) __builtin_malloc (sizeof (struct V) + 10); | |
v->a[1] = 1; | |
return 0; | |
} | |
/* { dg-output "index 1 out of bounds for type 'int \\\[1\\\]'" } */ |