1#include <stdio.h> 2#include <stdlib.h> 3#include <string.h> 4int main () 5{ 6 7char * x; 8int foo; 9x = (char *) malloc (10); 10strcpy (x, "123456789"); 11foo = strlen (x+10); 12x [foo] = 1; /* we just just use foo to force execution of strlen */ 13return 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 *-*-* } } */ 19