gcc/testsuite/gcc.target/i386/attr-returns_twice-1.c

/* { dg-do compile } */
/* { dg-options "-Wclobbered" } */

int newsetjmp(void) __attribute__((returns_twice));
void g(int);

int
main (void)
{
  register int reg asm ("esi") = 1; /* { dg-warning "might be clobbered" } */

  if (!newsetjmp ())
    {
      reg = 2;
      g (reg);
    }
  else
    {
      g (reg);
    }

  return 0;
}