1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 int main ()
5 {
6 int i = 10;
7 int *x = (int *) malloc (i * sizeof (int));
8 
9 while (i--)
10 {
11   ++x;
12   *x = 0;
13 }
14 return 0;
15 }
16 /* { dg-output "mudflap violation 1.*" } */
17 /* { dg-output "Nearby object 1.*" } */
18 /* { dg-output "mudflap object.*malloc region.*" } */
19 /* { dg-do run { xfail *-*-* } } */
20