| #include <stdio.h> | |
| #include <stdlib.h> | |
| #include <string.h> | |
| int main () | |
| { | |
| char * x; | |
| int foo; | |
| x = (char *) malloc (10); | |
| strcpy (x, "123456789"); | |
| foo = strlen (x+10); | |
| x [foo] = 1; /* we just just use foo to force execution of strlen */ | |
| return 0; | |
| } | |
| /* { dg-output "mudflap violation 1.*" } */ | |
| /* { dg-output "Nearby object 1.*" } */ | |
| /* { dg-output "mudflap object.*.malloc region.*" } */ | |
| /* { dg-do run { xfail *-*-* } } */ |