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