1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 
foo(int * u,int i)5 int foo (int *u, int i)
6 {
7    return u[i];  /* this dereference should not be instrumented */
8 }
9 
main()10 int main ()
11 {
12   int *k = malloc (6);
13  int l = foo (k, 8);
14  int boo [8];
15  int m = boo [l % 2 + 12]; /* should not be instrumented */
16  return m & strlen (""); /* a fancy way of saying "0" */
17 }
18 /* { dg-options "-fmudflap -fmudflapir -lmudflap -Wall" } */
19