1 /* { dg-do run } */ 2 /* { dg-options "-fsanitize=bounds-strict" } */ 3 4 struct V { int l; int a[1]; }; 5 6 int main(void)7main (void) 8 { 9 /* For strict, do instrument last array in a struct. */ 10 struct V *v = (struct V *) __builtin_malloc (sizeof (struct V) + 10); 11 v->a[1] = 1; 12 13 return 0; 14 } 15 16 /* { dg-output "index 1 out of bounds for type 'int \\\[1\\\]'" } */ 17