| /* { 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\\\]'" } */ |