libmudflap/testsuite/libmudflap.c/fail29-frag.c

   1 #include <stdio.h>
   2 #include <stdlib.h>
   3
   4 int foo (int u[10])
   5 {
   6    return u[8];  /* this dereference should be instrumented */
   7 }
   8
   9 int main ()
  10 {
  11 int *k = malloc (6);
  12 return foo (k);
  13 }
  14 /* { dg-output "mudflap violation 1.*" } */
  15 /* { dg-output "Nearby object.*" } */
  16 /* { dg-output "mudflap object.*malloc region.*alloc" } */
  17 /* { dg-do run { xfail *-*-* } } */