OSDN Git Service

2f327891bc03c606adb710de123aa6f21ef19c1a
[pf3gnuchains/gcc-fork.git] / 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" } */