libmudflap/testsuite/libmudflap.c/pass46-frag.c

   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 not be instrumented */
   8 }
   9
  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" } */