Mercurial > hg > CbC > CbC_gcc
annotate libmudflap/testsuite/libmudflap.c/fail17-frag.c @ 0:a06113de4d67
first commit
| author | kent <kent@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 17 Jul 2009 14:47:48 +0900 |
| parents | |
| children |
| rev | line source |
|---|---|
| 0 | 1 #include <stdio.h> |
| 2 #include <stdlib.h> | |
| 3 #include <string.h> | |
| 4 int main () | |
| 5 { | |
| 6 | |
| 7 char * x; | |
| 8 int foo; | |
| 9 x = (char *) malloc (10); | |
| 10 strcpy (x, "123456789"); | |
| 11 foo = strlen (x+10); | |
| 12 x [foo] = 1; /* we just just use foo to force execution of strlen */ | |
| 13 return 0; | |
| 14 } | |
| 15 /* { dg-output "mudflap violation 1.*" } */ | |
| 16 /* { dg-output "Nearby object 1.*" } */ | |
| 17 /* { dg-output "mudflap object.*.malloc region.*" } */ | |
| 18 /* { dg-do run { xfail *-*-* } } */ |