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