1 #include <stdio.h>
2 #include <stdlib.h>
3 
4 int foo (int u[10])
5 {
6    return u[8];  /* this dereference should be instrumented */
7 }
8 
9 int main ()
10 {
11 int *k = malloc (6);
12 return foo (k);
13 }
14 /* { dg-output "mudflap violation 1.*" } */
15 /* { dg-output "Nearby object.*" } */
16 /* { dg-output "mudflap object.*malloc region.*alloc" } */
17 /* { dg-do run { xfail *-*-* } } */
18