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

/* PR libmudflap/40778 */

char p[32];
static int j;

__attribute__((noinline))
static void foo (int i)
{
  if (j++ == 0)
    p[i + 4] = 12;
  else
    p[i - 4] = 13;
}

int
main ()
{
  foo (30);
  foo (30);
  foo (30);
  return 0;
}

/* { dg-output "mudflap violation 1.*" } */
/* { dg-output "Nearby object 1.*" } */
/* { dg-output "mudflap object.*name.*p" } */
/* { dg-do run { xfail *-*-* } } */
Commit	Line	Data
58b3ebf2 JJ	1	/* PR libmudflap/40778 */
	2
	3	char p[32];
	4	static int j;
	5
	6	__attribute__((noinline))
	7	static void foo (int i)
	8	{
	9	if (j++ == 0)
	10	p[i + 4] = 12;
	11	else
	12	p[i - 4] = 13;
	13	}
	14
	15	int
	16	main ()
	17	{
	18	foo (30);
	19	foo (30);
	20	foo (30);
	21	return 0;
	22	}
	23
	24	/* { dg-output "mudflap violation 1." } /
	25	/* { dg-output "Nearby object 1." } /
	26	/* { dg-output "mudflap object.name.p" } */
	27	/* { dg-do run { xfail --* } } */