[thirdparty/gcc.git] / libmudflap / testsuite / libmudflap.c / fail28-frag.c

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int foo (int *u, int i)
{
   return u[i];  /* this dereference should be instrumented */
}

int main ()
{
int *k = malloc (6);
return foo (k, 8);
}
/* { dg-output "mudflap violation 1.*" } */
/* { dg-output "Nearby object.*" } */
/* { dg-output "mudflap object.*malloc region.*alloc" } */
/* { dg-do run { xfail *-*-* } } */
Commit	Line	Data
6de9cd9a DN	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 --* } } */