9 x
= (char *) malloc (10);
10 strcpy (x
, "123456789");
12 x
[foo
] = 1; /* we just just use foo to force execution of strlen */
15 /* { dg-output "mudflap violation 1.*" } */
16 /* { dg-output "Nearby object 1.*" } */
17 /* { dg-output "mudflap object.*.malloc region.*" } */
18 /* { dg-do run { xfail *-*-* } } */