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