2004-05-13 08:41:07 +02:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
|
|
|
|
int foo (int *u, int i)
|
|
|
|
{
|
|
|
|
return u[i]; /* this dereference should not be instrumented */
|
|
|
|
}
|
|
|
|
|
|
|
|
int main ()
|
|
|
|
{
|
|
|
|
int *k = malloc (6);
|
|
|
|
int l = foo (k, 8);
|
|
|
|
int boo [8];
|
|
|
|
int m = boo [l % 2 + 12]; /* should not be instrumented */
|
|
|
|
return m & strlen (""); /* a fancy way of saying "0" */
|
|
|
|
}
|
2010-05-16 12:03:01 +02:00
|
|
|
/* { dg-options "-fmudflap -fmudflapir -lmudflap" } */
|