1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 int main ()
5 {
6 struct foo {
7   int bar [10];
8 };
9 
10 struct foo *k = (struct foo *) malloc (2 * sizeof(int));
11 k->bar[5] = 9;
12 free (k);
13 return 0;
14 }
15 /* { dg-output "mudflap violation 1.*" } */
16 /* { dg-output "Nearby object 1.*" } */
17 /* { dg-output "mudflap object.*.malloc region.*" } */
18 /* { dg-do run { xfail *-*-* } } */
19