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(foo); 12 13bar[4] = 'a'; /* touch source buffer */ 14memcpy(foo, bar, 10); 15return 0; 16} 17 18/* { dg-output "mudflap violation 1.*memcpy dest.*" } */ 19/* { dg-output "Nearby object.*" } */ 20/* { dg-output "mudflap dead object.*malloc region.*alloc time.*dealloc time.*" } */ 21/* { dg-do run { xfail *-*-* } } */ 22