gomp-20050608-branch/libmudflap/testsuite/libmudflap.c/fail28-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 be instrumented */
   8 }
   9
  10 int main ()
  11 {
  12 int *k = malloc (6);
  13 return foo (k, 8);
  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 *-*-* } } */