1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 
5 char zoo [10];
6 
7 int main ()
8 {
9 int i = strlen ("012345") + strlen ("6789") + strlen ("01"); /* 11 */
10 zoo[i] = 'a';
11 return 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