/* 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 *-*-* } } */