Update concepts branch to revision 131834
[official-gcc.git] / libmudflap / testsuite / libmudflap.c / fail9-frag.c
blob9bbd860a898e8e5b3efa40e5ee362b7b844d0190
1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 int main ()
6 char *foo;
7 char *bar;
8 foo = (char *)malloc (10);
9 bar = (char *)malloc (10);
11 free(foo);
13 bar[4] = 'a'; /* touch source buffer */
14 memcpy(foo, bar, 10);
15 return 0;
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 *-*-* } } */