libmudflap/testsuite/libmudflap.c/fail25-frag.c

   1 #include <stdio.h>
   2 #include <stdlib.h>
   3 #include <string.h>
   4 int main ()
   5 {
   6 char *foo;
   7 char *bar;
   8 __mf_set_options ("-check-initialization");
   9 foo = (char *)malloc (10);
  10 bar = (char *)malloc (10);
  11 /* bar[2] = 'z'; */ /* don't touch memcpy source */
  12 memcpy(foo+1, bar+1, 9);
  13 return 0;
  14 }
  15 /* { dg-output "mudflap violation 1.*check.read.*memcpy source.*" } */
  16 /* { dg-output "Nearby object.*" } */
  17 /* { dg-output "mudflap object.*malloc region.*alloc time.*" } */
  18 /* { dg-do run { xfail *-*-* } } */