Mercurial > hg > CbC > CbC_gcc
view libmudflap/testsuite/libmudflap.c/fail25-frag.c @ 44:a14cd9f25ac4
merge.
author | kent <kent@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 Jan 2010 17:27:45 +0900 |
parents | a06113de4d67 |
children |
line wrap: on
line source
#include <stdio.h> #include <stdlib.h> #include <string.h> int main () { char *foo; char *bar; __mf_set_options ("-check-initialization"); foo = (char *)malloc (10); bar = (char *)malloc (10); /* bar[2] = 'z'; */ /* don't touch memcpy source */ memcpy(foo+1, bar+1, 9); return 0; } /* { dg-output "mudflap violation 1.*check.read.*memcpy source.*" } */ /* { dg-output "Nearby object.*" } */ /* { dg-output "mudflap object.*malloc region.*alloc time.*" } */ /* { dg-do run { xfail *-*-* } } */