1#include <stdio.h> 2#include <stdlib.h> 3#include <string.h> 4 5char zoo [10]; 6 7int main () 8{ 9int i = strlen ("012345") + strlen ("6789") + strlen ("01"); /* 11 */ 10zoo[i] = 'a'; 11return 0; 12} 13/* { dg-output "mudflap violation 1.*" } */ 14/* { dg-output "Nearby object.*" } */ 15/* { dg-output "mudflap object.*zoo.*static.*" } */ 16/* { dg-do run { xfail *-*-* } } */ 17