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