8 foo
= (char *)malloc (12);
9 bar
= (char *)malloc (10);
11 memcpy(foo
+1, bar
+1, 10);
14 /* { dg-output "mudflap violation 1.*" } */
15 /* { dg-output "Nearby object 1.*" } */
16 /* { dg-output "mudflap object.*malloc region.*" } */
17 /* { dg-do run { xfail *-*-* } } */