0
|
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(foo);
|
|
12
|
|
13 bar[4] = 'a'; /* touch source buffer */
|
|
14 memcpy(foo, bar, 10);
|
|
15 return 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 *-*-* } } */
|