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