1 #include <stdio.h>
2 #include <stdlib.h>
3 
4 int foo (int u)
5 {
6    return u*u;
7 }
8 
9 int main ()
10 {
11 int *k = malloc(5);
12 int j = foo (k[8]);  /* this call argument should be instrumented */
13 return j;
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